Inventory rows TA

6-demicubic honeycomb TA00MDEXQ3

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#UU3J, 6-demicubic honeycomb (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#043C, 6-demicubic honeycomb (definition)

History

2026-11-02: add by m2/dev

group object TA04SX2MDV

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

Mentions

wikidata: Wikidata Q765994, group object (unknown). Also EoM Group_object, nLab group object
wikipedia: Wikipedia Group object, Group object (definition). Also Wikidata Q765994

History

2026-10-26: add by m2/dev

TA093H3J33 TA093H3J33

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-115 (exercise). In E9HS8K3A52, exercise, section 4.8.3

History

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

Properties TA0AETT8PQ

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

Mentions

wikipedia: Wikipedia Lehmer mean#L1AG, Properties (statement)

History

2026-11-02: add by m2/dev

Rates under $\Hyp$ TA0BCZKPSF

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

Mentions

arxiv: arXiv 2609.38220#LMM6, Rates under $\Hyp$ (statement). In 1AC4S19925/e1, lemma 5.11

History

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

Properties TA0GED8765

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

Mentions

wikipedia: Wikipedia Augmented truncated tetrahedron#7JPA, Properties (statement)

History

2026-11-02: add by m2/dev

TA0KHMCZD6 TA0KHMCZD6

URI	`m2://inv/TA0KHMCZD6`
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.26675#TSPI (statement)

History

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

TA0MM85E6R TA0MM85E6R

URI	`m2://inv/TA0MM85E6R`
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.27168#MKOL (statement)

History

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

Free Boolean algebra TA0SM1FPBM

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#GJE0, Free Boolean algebra (definition)

History

2026-11-02: add by m2/dev

Trace perturbation bounds TA0TTHZ15Q

URI	`m2://inv/TA0TTHZ15Q`
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#9WF5, Trace perturbation bounds (statement). In BAQVK6N0RD/e1, lemma 15

History

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

Common $h^{k+1}$ rate for variant B TA0YA1KWM2

URI	`m2://inv/TA0YA1KWM2`
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.21991#3312, Common $h^{k+1}$ rate for variant B (statement). In KRBDK9J44X/e1, theorem 4.6

History

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

White Horse Dialogue TA1CKQ62CF

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

Mentions

wikipedia: Wikipedia White Horse Dialogue, White Horse Dialogue (definition). Also Wikidata Q3498031

History

2026-11-02: add by m2/dev

TA1DJ0DSW1 TA1DJ0DSW1

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

Mentions

arxiv: arXiv 2609.32300#GISG (statement). In VNE8N0D2FB/e1, theorem 4.19

History

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

Argumentation scheme TA1E1YM43Y

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

Mentions

wikipedia: Wikipedia Argumentation scheme, Argumentation scheme (definition). Also Wikidata Q96372340

History

2026-11-02: add by m2/dev

TA1JFRXAXQ TA1JFRXAXQ

URI	`m2://inv/TA1JFRXAXQ`
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.32651#IQRH (statement). In WFJXSE3VDT/e1, corollary 5.6

History

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

Examples TA1RPMBRXX

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

Mentions

wikipedia: Wikipedia Delta method#RHTE, Examples (example)

History

2026-11-02: add by m2/dev

Reflection theorem TA243X3JZZ

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

Mentions

wikipedia: Wikipedia List of theorems#U02V, Reflection theorem (statement)

History

2026-11-02: add by m2/dev

Examples TA27FFJB2N

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

Mentions

wikipedia: Wikipedia Hyperplane section#BMLL, Examples (example)

History

2026-11-02: add by m2/dev

Sylvester–Gallai theorem TA2FHNAYAG

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

Mentions

wikipedia: Wikipedia List of theorems#0L6W, Sylvester–Gallai theorem (statement)

History

2026-11-02: add by m2/dev

Hermite–Lindemann Theorem TA2HCETAVG

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

Mentions

wikidata: Wikidata Q3526988, Hermite–Lindemann Theorem (statement). Also MathWorld Hermite-LindemannTheorem

History

2026-10-26: add by m2/dev

Uyanto, Stanislaus S. TA2PTAX5RQ

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

Mentions

wikipedia: Wikipedia List of statisticians#SM80, Uyanto, Stanislaus S. (unknown)

History

2026-11-02: add by m2/dev

TA2R8W5633 TA2R8W5633

URI	`m2://inv/TA2R8W5633`
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.18101#ZS43 (statement). In XXN6KKXPYF/e1, lemma 9.3

History

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

ANOVA–simultaneous component analysis TA2RH1RF5Q

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

Mentions

wikipedia: Wikipedia ANOVA–simultaneous component analysis, ANOVA–simultaneous component analysis (definition). Also Wikidata Q4653008

History

2026-11-02: add by m2/dev

TA2S520HF9 TA2S520HF9

URI	`m2://inv/TA2S520HF9`
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.11309#03O6 (statement). In TTEAQA1XXR/e1, theorem

History

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

TA3A75FESZ TA3A75FESZ

URI	`m2://inv/TA3A75FESZ`
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 math/0301148#ZGAV (statement). In 5RE15848Z0/e1, theorem 3.9

History

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

Applications TA3CDF4DZJ

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

Mentions

wikipedia: Wikipedia Newton–Euler equations#P46W, Applications (example)

History

2026-11-02: add by m2/dev

TA3GBBH1EA TA3GBBH1EA

URI	`m2://inv/TA3GBBH1EA`
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.39726#HT0Q (statement). In 4CTC8A57SD/e1, lemma 6.2

History

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

open TA3K4EDQX6

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#EZUA, open (definition)

History

2026-11-02: add by m2/dev

TA3N6BV12K TA3N6BV12K

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-14 (example). In E9HS8K3A52, example, section 7.3.1

History

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

Cartan–Kuranishi prolongation theorem TA3PJB0Z3G

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

Mentions

mathlib_1000: mathlib_1000 Q5047051, Cartan–Kuranishi prolongation theorem (statement). Also Wikidata Q5047051
thousand_plus: thousand_plus Q5047051, Cartan–Kuranishi prolongation theorem (statement). Also Wikidata Q5047051, Wikipedia Cartan–Kuranishi prolongation theorem
wikipedia: Wikipedia Cartan–Kuranishi prolongation theorem, Cartan–Kuranishi prolongation theorem (statement). Also Wikidata Q5047051

History

2026-10-26: add by m2/dev

Properties TA474MTK62

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

Mentions

wikipedia: Wikipedia Dissipative operator#0BRJ, Properties (statement)

History

2026-11-02: add by m2/dev

Kleene's recursion theorem TA49M062MG

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#34BT, Kleene's recursion theorem (statement)

History

2026-11-02: add by m2/dev

R.2 family TA4S95ZW62

URI	`m2://inv/TA4S95ZW62`
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.25543#UZCG, R.2 family (statement)

History

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

Theorem TA53ST7YQC

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

Mentions

wikipedia: Wikipedia Noether normalization lemma#P8Y9, Theorem (statement)

History

2026-11-02: add by m2/dev

matrix representation of a linear map TA58CNAVXR

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

Mentions

mathlib_overview: mathlib_overview Linear algebra > Matrices > matrix representation of a linear map, matrix representation of a linear map (unknown). Also Mathlib LinearMap.toMatrix
mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > matrix representation of a linear map, matrix representation of a linear map (unknown). Also Mathlib LinearMap.toMatrix

History

2026-10-26: add by m2/dev

Rind et al. controversy TA5FQ0GMRK

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

Mentions

wikipedia: Wikipedia Rind et al. controversy, Rind et al. controversy (definition). Also Wikidata Q2742869

History

2026-11-02: add by m2/dev

Applications TA5VANTA1J

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

Mentions

wikipedia: Wikipedia Definite matrix#6A7G, Applications (example)

History

2026-11-02: add by m2/dev

Formal definition TA5ZCJQT9K

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

Mentions

wikipedia: Wikipedia Uncertain database#05VZ, Formal definition (definition)

History

2026-11-02: add by m2/dev

Erich L. Lehmann TA6HV8RF3Z

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#HV8O, Erich L. Lehmann (topic)

History

2026-11-02: add by m2/dev

Effective sample size TA6MGECY2R

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

Mentions

arxiv: arXiv 2610.18935#D4Q7, Effective sample size (statement). In HPEEJY1S3S/e1, theorem 13

History

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

TA6N6SDF66 TA6N6SDF66

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

Mentions

arxiv: arXiv 2609.34946#G11O (statement). In Y27BAB2BB4/e1, proposition 2.1

History

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

Robert Jeffrey Zimmer TA6VGVYJHC

URI	`m2://inv/TA6VGVYJHC`
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#Z297, Robert Jeffrey Zimmer (topic)

History

2026-11-02: add by m2/dev

TA6X5BJ5GR TA6X5BJ5GR

URI	`m2://inv/TA6X5BJ5GR`
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.10230#49S2 (statement). In YS75517SF7/e1, theorem 1.1

History

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

TA72GY2252 TA72GY2252

URI	`m2://inv/TA72GY2252`
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 2609.28011#MEPD (statement)

History

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

Fritz Ursell TA76W2ABMA

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

Mentions

wikipedia: Wikipedia Fritz Ursell, Fritz Ursell (topic). Also Wikidata Q5505033

History

2026-11-02: add by m2/dev

TA772RTACS TA772RTACS

URI	`m2://inv/TA772RTACS`
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.17349#FN7M (statement). In FCCV2ZABPM/e1, corollary 2

History

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

Incidence coloring TA7HHSBPHQ

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

Mentions

wikipedia: Wikipedia Incidence coloring, Incidence coloring (definition). Also Wikidata Q25303994

History

2026-11-02: add by m2/dev

TA7JYSZ0ZD TA7JYSZ0ZD

URI	`m2://inv/TA7JYSZ0ZD`
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.09278#T6ZV (statement). In XREKHJHAT7/e1, lemma 3.6

History

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

TA7KK28GT2 TA7KK28GT2

URI	`m2://inv/TA7KK28GT2`
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#HNND (statement). In CY1FE8W1ZW/e1, lemma 0.70

History

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

percentile TA7VJEJD3D

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#3RV5, percentile (definition)

History

2026-11-02: add by m2/dev

Arthur Sard TA80ADXHY7

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

Mentions

wikipedia: Wikipedia Arthur Sard, Arthur Sard (topic). Also Wikidata Q711331

History

2026-11-02: add by m2/dev

TA841KKKV7 TA841KKKV7

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-78 (exercise). In E9HS8K3A52, exercise, section 4.5.4

History

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

TA85CG53S4 TA85CG53S4

URI	`m2://inv/TA85CG53S4`
Kind	statement
Layer	research
MSC	14-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.38556#8RKP (statement). In GC2H0HS7ZM/e1, theorem 1.1

History

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

Definition TA8AW37ZT9

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

Mentions

wikipedia: Wikipedia Jacobsthal sum#ZCY3, Definition (definition)

History

2026-11-02: add by m2/dev

Limit point TA8CBFGYY4

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

Mentions

wikipedia: Wikipedia List of general topology topics#DE5Q, Limit point (definition)

History

2026-11-02: add by m2/dev

TA8G58X3AX TA8G58X3AX

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

Mentions

arxiv: arXiv 2609.27484#G3EL (statement)

History

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

TA8SXVS8YA TA8SXVS8YA

URI	`m2://inv/TA8SXVS8YA`
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.14839#PSHQ (statement). In CYB41667NA/e1, lemma 3.1

History

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

TA9DTT9AEV TA9DTT9AEV

URI	`m2://inv/TA9DTT9AEV`
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.06895#UG6Z (statement). In PBB3PSDP0S/e1, lemma 4

History

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

corresponding angles TA9GYGP6PJ

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

Mentions

wikidata: Wikidata Q841990, corresponding angles (definition). Also ProofWiki Definition:Transversal_(Geometry)/Corresponding_Angles

History

2026-10-26: add by m2/dev

Definition (Disperser) TA9J8XZW4D

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

Mentions

wikipedia: Wikipedia Disperser#TWHT, Definition (Disperser) (definition)

History

2026-11-02: add by m2/dev

TA9JZ7HDWE TA9JZ7HDWE

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

Mentions

arxiv: arXiv 2610.06724#VBTH (statement). In W5XG3PGVF1/e1, proposition 1.24

History

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

Darboux's theorem TA9V8XFQ58

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

Mentions

wikipedia: Wikipedia List of theorems#XT8Y, Darboux's theorem (statement)

History

2026-11-02: add by m2/dev

TA9W035MBW TA9W035MBW

URI	`m2://inv/TA9W035MBW`
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.21403#OB0S (statement)

History

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

Combination of first and second laws TA9ZT0M8VK

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

Mentions

wikipedia: Wikipedia First law of thermodynamics#HLRP, Combination of first and second laws (statement)

History

2026-11-02: add by m2/dev

Channel surface TAA351NAVK

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

Mentions

wikipedia: Wikipedia Channel surface, Channel surface (definition). Also Wikidata Q5072515

History

2026-11-02: add by m2/dev

TAA3BHEJ85 TAA3BHEJ85

URI	`m2://inv/TAA3BHEJ85`
Kind	statement
Layer	research
MSC	17-XX, 18-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 2304.07398#RQ3H (statement). In JS5FKV1S9T/e1, theorem C.1

History

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

depth TAA6JJYQ4M

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

Mentions

wikidata: Wikidata Q930412, depth (definition). Also MathWorld Depth, ProofWiki Definition:Linear_Measure/Depth

History

2026-10-26: add by m2/dev

TAA79Y75G2 TAA79Y75G2

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

Mentions

arxiv: arXiv 2609.38975#JUD1 (definition). In D2247CRPPE/e1, definition 11

History

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

TAA7MMC2FH TAA7MMC2FH

URI	`m2://inv/TAA7MMC2FH`
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.00103#HXTS (statement). In S7RDXJWP1A/e1, lemma 4.8

History

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

TAA8APGMF8 TAA8APGMF8

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

Mentions

arxiv: arXiv 2609.31269#VVDE (definition). In ZPT9XCCAPQ/e1, definition 1.4.2

History

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

Harrison G. Gough TAA8EK309Y

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

Mentions

wikipedia: Wikipedia Harrison G. Gough, Harrison G. Gough (topic). Also Wikidata Q20273522

History

2026-11-02: add by m2/dev

TAA9V2SJF8 TAA9V2SJF8

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

Mentions

arxiv: arXiv 2610.14985#K8G1 (example). In DGXJW3SCBR/e1, example 55

History

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

Examples TAAB92NGN8

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

Mentions

wikipedia: Wikipedia Chowla–Selberg formula#WOJT, Examples (example)

History

2026-11-02: add by m2/dev

TAAMGTYQEE TAAMGTYQEE

URI	`m2://inv/TAAMGTYQEE`
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.14741#B5E5 (statement). In RK1VPWWX9E/e1, lemma 3.8

History

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

Example TAANT0EQN5

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

Mentions

wikipedia: Wikipedia Empirical process#99MH, Example (example)

History

2026-11-02: add by m2/dev

Twenty-four contacts TAAT9W18GT

URI	`m2://inv/TAAT9W18GT`
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.25120#70WW, Twenty-four contacts (statement)

History

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

TAAY8NYD2W TAAY8NYD2W

URI	`m2://inv/TAAY8NYD2W`
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 2607.28337#N4WT (statement). In 7ZJFWBTBKM/e1, lemma 3.1.2

History

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

Osgood curve TAAZ7ETTCB

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

Mentions

wikipedia: Wikipedia List of curves topics#4TCK, Osgood curve (definition)

History

2026-11-02: add by m2/dev

Nyquist frequency TAB1RKQ5GH

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

Mentions

wikidata: Wikidata Q1501757, Nyquist frequency (unknown). Also MathWorld NyquistFrequency

History

2026-10-26: add by m2/dev

Lee-Ann Hayek TAB6YQ4TQ0

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

Mentions

wikipedia: Wikipedia Lee-Ann Hayek, Lee-Ann Hayek (topic). Also Wikidata Q42301699

History

2026-11-02: add by m2/dev

TAB9QAQ92D TAB9QAQ92D

URI	`m2://inv/TAB9QAQ92D`
Kind	statement
Layer	research
MSC	20-XX, 22-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.14045#JKKJ (statement). In KZ71GXT2B0/e1, lemma 6.9

History

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

Point-wise estimate TABE5ZEBVP

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

Mentions

arxiv: arXiv 2609.32387#Y7IL, Point-wise estimate (statement). In 294BQKZEDQ/e1, lemma 2.3

History

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

Transfer and attainment TABGD8ZVAB

URI	`m2://inv/TABGD8ZVAB`
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#GP6J, Transfer and attainment (statement). In A20E8FZS21/e1, proposition 9.7

History

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

Supervised learning TABH90MP17

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

Mentions

wikipedia: Wikipedia List of algorithms#AGRN, Supervised learning (definition)

History

2026-11-02: add by m2/dev

Giacomo Albanese TABKB63GH3

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

Mentions

wikipedia: Wikipedia Giacomo Albanese, Giacomo Albanese (topic). Also Wikidata Q1522060

History

2026-11-02: add by m2/dev

Preconditioned conjugate gradient method TABQ10RMST

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

Mentions

wikipedia: Wikipedia Conjugate gradient method#MBIA, Preconditioned conjugate gradient method (unknown)

History

2026-11-02: add by m2/dev

TABTF1ZND4 TABTF1ZND4

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

Mentions

arxiv: arXiv 2610.22074#YVXI (statement). In F3BKXXPR3K/e1, lemma 4.27

History

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

Seiberg duality TABTWSNSJP

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

Mentions

wikidata: Wikidata Q7446564, Seiberg duality (unknown). Also nLab Seiberg duality

History

2026-10-26: add by m2/dev

Algorithms TABVYYZR2T

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

Mentions

wikipedia: Wikipedia Step detection#2PSN, Algorithms (definition)

History

2026-11-02: add by m2/dev

Aoibhinn Ní Shúilleabháin TAC37DE59R

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

Mentions

wikipedia: Wikipedia Aoibhinn Ní Shúilleabháin, Aoibhinn Ní Shúilleabháin (topic). Also Wikidata Q4778625

History

2026-11-02: add by m2/dev

Bobbie Hunter TAC3GHQPWP

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

Mentions

wikipedia: Wikipedia Bobbie Hunter, Bobbie Hunter (topic). Also Wikidata Q96479216

History

2026-11-02: add by m2/dev

Effective global extrema TACADAY5PC

URI	`m2://inv/TACADAY5PC`
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.33421#8UVT, Effective global extrema (statement). In YMVA1SJ640/e1, proposition 4.2

History

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

Graeffe's method TACC0Y3SW7

URI	`m2://inv/TACC0Y3SW7`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Graeffe's method RHPQG175AH

Mentions

wikidata: Wikidata Q5592179, Graeffe's method (unknown). Also MathWorld GraeffesMethod
wikipedia: Wikipedia Graeffe's method, Graeffe's method (definition). Also Wikidata Q5592179

History

2026-10-26: add by m2/dev

Submodular flow TACENHJ684

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

Mentions

wikipedia: Wikipedia Submodular flow, Submodular flow (definition). Also Wikidata Q115803365

History

2026-11-02: add by m2/dev

Edge tessellation TACFEC8F91

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

Mentions

wikipedia: Wikipedia Edge tessellation, Edge tessellation (object). Also Wikidata Q28455997

History

2026-11-02: add by m2/dev

Sadleirian Professor of Pure Mathematics TACP7C50DN

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

Mentions

wikipedia: Wikipedia Sadleirian Professor of Pure Mathematics, Sadleirian Professor of Pure Mathematics (definition). Also Wikidata Q2947691

History

2026-11-02: add by m2/dev

A rank-one cut determines the torsion image TACPB6X9FN

URI	`m2://inv/TACPB6X9FN`
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#9EN8, A rank-one cut determines the torsion image (statement)

History

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

Kleitman–Wang algorithms TACSGD11PJ

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

Mentions

wikipedia: Wikipedia Kleitman–Wang algorithms, Kleitman–Wang algorithms (definition). Also Wikidata Q18343454

History

2026-11-02: add by m2/dev

TACXHWFCNR TACXHWFCNR

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

Mentions

arxiv: arXiv 2610.01888#WO3E (statement). In A89G9GMPC9/e1, lemma 2.5

History

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

TACXZW6BYX TACXZW6BYX

URI	`m2://inv/TACXZW6BYX`
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.29748#1KMS (statement)

History

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

TAD0BJCE89 TAD0BJCE89

URI	`m2://inv/TAD0BJCE89`
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.37265#BKRE (statement). In BKYAWEC5XH/e1, proposition 5.6

History

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

Statement TADHF281H2

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

Mentions

wikipedia: Wikipedia Descartes's theorem#0SYD, Statement (statement)

History

2026-11-02: add by m2/dev

RQ decomposition TADJCKSJJ0

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

Mentions

wikipedia: Wikipedia QR decomposition#SJ4K, RQ decomposition (unknown)

History

2026-11-02: add by m2/dev

Evenness of polar rank TADMKSRX7Q

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

Mentions

arxiv: arXiv 2610.15815#0YYO, Evenness of polar rank (statement). In 9C75CTY5C3/e1, proposition 5.6

History

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

Indices of deprivation 2004 TADQX5VPY6

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

Mentions

wikipedia: Wikipedia Deprivation index#BJ77, Indices of deprivation 2004 (unknown)

History

2026-11-02: add by m2/dev

Brieskorn manifold TADR14252W

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

Mentions

wikipedia: Wikipedia Brieskorn manifold, Brieskorn manifold (definition). Also Wikidata Q4967112

History

2026-11-02: add by m2/dev

TADTCCP7BZ TADTCCP7BZ

URI	`m2://inv/TADTCCP7BZ`
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.22557#GB6W (statement)

History

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

TADTNTBZQ4 TADTNTBZQ4

URI	`m2://inv/TADTNTBZQ4`
Kind	example
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 2508.03972#559H (example). In 2JD3KNKJ1P/e1, example 4.10

History

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

TAE3DQ07M1 TAE3DQ07M1

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

Mentions

arxiv: arXiv 2111.14699#GKVH (statement). In ES1CVGG59Y/e1, proposition 4.4

History

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

Julian Stanley TAEAV7THHM

URI	`m2://inv/TAEAV7THHM`
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#6GSK, Julian Stanley (unknown)

History

2026-11-02: add by m2/dev

Douglas' theorem and the Helmholtz conditions TAETJMVCDN

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

Mentions

wikipedia: Wikipedia Inverse problem for Lagrangian mechanics#P5P9, Douglas' theorem and the Helmholtz conditions (statement)

History

2026-11-02: add by m2/dev

Examples TAF15CSRBB

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

Mentions

wikipedia: Wikipedia Invariant differential operator#Y3QE, Examples (example)

History

2026-11-02: add by m2/dev

Alias method TAF4RTK6G6

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

Mentions

wikipedia: Wikipedia Alias method, Alias method (definition). Also Wikidata Q4725606

History

2026-11-02: add by m2/dev

Functional correlation TAF53FDZXN

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

Mentions

wikipedia: Wikipedia Functional correlation, Functional correlation (definition). Also Wikidata Q55612145

History

2026-11-02: add by m2/dev

Compound of ten triangular prisms TAF77KXMYF

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

Mentions

wikipedia: Wikipedia Compound of ten triangular prisms, Compound of ten triangular prisms (definition). Also Wikidata Q12350726

History

2026-11-02: add by m2/dev

TAF9FWNPF1 TAF9FWNPF1

URI	`m2://inv/TAF9FWNPF1`
Kind	statement
Layer	research
MSC	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 2409.01237#GAZQ (statement). In M9VHCG48HB/e1, corollary 2

History

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

Tardos, Éva TAFF3W07H8

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#OJCM, Tardos, Éva (topic)

History

2026-11-02: add by m2/dev

Exact initial sampling without a size cutoff TAGPPSY9AA

URI	`m2://inv/TAGPPSY9AA`
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.18698#Z449, Exact initial sampling without a size cutoff (statement). In AVDZGC7976/e1, proposition 7.4

History

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

TAH2K3V4R6 TAH2K3V4R6

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

Mentions

wikipedia: Wikipedia Happy number#DOCJ (problem)

History

2026-11-02: add by m2/dev

TAH2XDGH7M TAH2XDGH7M

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

Mentions

arxiv: arXiv 2610.09095#JS1K (statement). In 6DTDDM6JHP/e1, proposition 1.1

History

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

TAH4EP9JF6 TAH4EP9JF6

URI	`m2://inv/TAH4EP9JF6`
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.11997#W010 (statement). In REVYK9ZEP2/e1, theorem 3

History

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

TAH5ZG4PVN TAH5ZG4PVN

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

Mentions

arxiv: arXiv 2610.00584#ARJT (statement). In 3CRSR95BNA/e1, proposition 4.11

History

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

TAH67EWKTV TAH67EWKTV

URI	`m2://inv/TAH67EWKTV`
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.32981#QRFV (statement). In AXDF7YN2RW/e1, theorem 8.1

History

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

TAH9K605G2 TAH9K605G2

URI	`m2://inv/TAH9K605G2`
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.21475#S4SM (statement). In TTRSZVT4VX/e1, theorem 1.5

History

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

Definitions TAHAPD3R4M

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

Mentions

wikipedia: Wikipedia Closure with a twist#8ZK3, Definitions (definition)

History

2026-11-02: add by m2/dev

Frankl--F\"uredi TAHBZZ3ERG

URI	`m2://inv/TAHBZZ3ERG`
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.38772#MJ69, Frankl--F\"uredi (statement). In 1C3R5NAQAP/e1, theorem 3.17

History

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

Chicago school TAHCXYHKZ4

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

Mentions

wikipedia: Wikipedia Chicago school (mathematical analysis), Chicago school (definition). Also Wikidata Q5095895

History

2026-11-02: add by m2/dev

asynchronous DeGroot dynamics TAHESQ6MMX

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

Mentions

arxiv: arXiv 2609.27689#7MG8, asynchronous DeGroot dynamics (definition)

History

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

Applications TAHHDPF6NE

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

Mentions

wikipedia: Wikipedia Linear least squares#ZH2T, Applications (example)

History

2026-11-02: add by m2/dev

From "first principles" TAHJ5A7EZX

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

Mentions

wikipedia: Wikipedia Fatou's lemma#9FUG, From "first principles" (statement)

History

2026-11-02: add by m2/dev

TAHMG6J7YT TAHMG6J7YT

URI	`m2://inv/TAHMG6J7YT`
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.14318#1WEB (statement). In HA4SZZJ831/e1, theorem 3.3

History

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

Basic formulas TAHMQVYCHM

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

Mentions

wikipedia: Wikipedia Circular motion#ATZ5, Basic formulas (statement)

History

2026-11-02: add by m2/dev

TAHQXPJ0R0 TAHQXPJ0R0

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

Mentions

austin_ula: austin_ula src/section2-5.xml#ula-preview-2-5 (exercise). In 649HGZKE96, exploration, section 2.5.1

History

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

Martin A. Lindquist TAHR2JBYJQ

URI	`m2://inv/TAHR2JBYJQ`
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#Z7K8, Martin A. Lindquist (topic)

History

2026-11-02: add by m2/dev

Vladimir Arnold TAHS93WK8M

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#Q0KV, Vladimir Arnold (topic)

History

2026-11-02: add by m2/dev

TAHTEW1PS1 TAHTEW1PS1

URI	`m2://inv/TAHTEW1PS1`
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.07380#6IU8 (statement). In XM2CDRKSGE/e1, proposition 3.2

History

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

TAHWH2K5N6 TAHWH2K5N6

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

Mentions

arxiv: arXiv 2609.32300#W4H7 (statement). In VNE8N0D2FB/e1, corollary 4.16

History

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

Deaf in STEM fields TAJ891QBNW

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

Mentions

wikipedia: Wikipedia Deaf in STEM fields, Deaf in STEM fields (definition). Also Wikidata Q118904832

History

2026-11-02: add by m2/dev

Clark Barwick TAJG9WM9H9

URI	`m2://inv/TAJG9WM9H9`
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 Q52106822, Clark Barwick (unknown). Also nLab Clark Barwick
wikipedia: Wikipedia Clark Barwick, Clark Barwick (topic). Also Wikidata Q52106822

History

2026-10-26: add by m2/dev

TAJK9QHRMW TAJK9QHRMW

URI	`m2://inv/TAJK9QHRMW`
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.33829#XDNR (statement). In S34H2JTJHH/e1, lemma 3.2

History

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

An application of Céa's lemma TAJNBVT8HP

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

Mentions

wikipedia: Wikipedia Céa's lemma#0MZR, An application of Céa's lemma (example)

History

2026-11-02: add by m2/dev

Exterior changes are almost fixed TAJQA7WZ74

URI	`m2://inv/TAJQA7WZ74`
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.03683#YGO1, Exterior changes are almost fixed (statement). In 14AMXF6X2V/e1, theorem 5.1

History

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

many-valued logic TAJTPZATMZ

URI	`m2://inv/TAJTPZATMZ`
Kind	definition
Layer	textbook
MSC	03B50
Sources	2
Outcome	open
Node	Many-valued logic DWYCKAKXZD

Mentions

wikidata: Wikidata Q185502, many-valued logic (topic). Also EoM Many-valued_logic
wikipedia: Wikipedia Many-valued logic, Many-valued logic (definition). Also Wikidata Q185502

History

2026-10-26: add by m2/dev

TAJV96D823 TAJV96D823

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

Mentions

arxiv: arXiv 2609.34845#PLFF (statement). In SBZNH932ZV/e1, lemma 8.11

History

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

TAJXKWM22D TAJXKWM22D

URI	`m2://inv/TAJXKWM22D`
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.36423#QX46 (statement). In Q5Z178SAHP/e1, proposition 4.1

History

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

TAK0GD6JSV TAK0GD6JSV

URI	`m2://inv/TAK0GD6JSV`
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.11455#1SI2 (definition). In Z1EBVH5SP1/e1, definition 6.1

History

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

TAK1QKFFEE TAK1QKFFEE

URI	`m2://inv/TAK1QKFFEE`
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 2609.29531#Z1GA (statement)

History

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

William Beckner TAK7726E8S

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#OACR, William Beckner (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6NY8, William Beckner (topic)

History

2026-11-02: add by m2/dev

TAKN4S4XGY TAKN4S4XGY

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#thm:notinfv (statement). In PKGMM3P5QY, thm, section 38.15

History

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

Hindley–Milner type system TAKS84NZVC

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

Mentions

wikipedia: Wikipedia Hindley–Milner type system, Hindley–Milner type system (definition). Also Wikidata Q200996

History

2026-11-02: add by m2/dev

Definition TAKW8CXRBS

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

Mentions

wikipedia: Wikipedia Hadamard product (matrices)#WAMA, Definition (definition)

History

2026-11-02: add by m2/dev

Ernst Ruh TAKX3THETQ

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

Mentions

wikipedia: Wikipedia Ernst Ruh, Ernst Ruh (topic). Also Wikidata Q15439060

History

2026-11-02: add by m2/dev

Shifted Poisson points with independent marks TAM026Y9VH

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

Mentions

arxiv: arXiv 2610.06490#SW68, Shifted Poisson points with independent marks (statement). In NKXTXH59P1/e1, lemma B.1

History

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

Kida TAMFH7Y33S

URI	`m2://inv/TAMFH7Y33S`
Kind	statement
Layer	research
MSC	20-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.12054#8FCO, Kida (statement). In 1A01NFHBGA/e1, lemma 3.9

History

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

Wrapped Laplace distribution TAMVS44977

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

Mentions

wikipedia: Wikipedia List of probability distributions#GLS8, Wrapped Laplace distribution (unknown)

History

2026-11-02: add by m2/dev

Sensitivity index TAN33N5517

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

Mentions

wikipedia: Wikipedia List of statistics articles#09Z7, Sensitivity index (definition)

History

2026-11-02: add by m2/dev

topological order TAN89DFA15

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

Mentions

wikidata: Wikidata Q17165159, topological order (unknown). Also nLab topological order
wikipedia: Wikipedia Topological order, Topological order (definition). Also Wikidata Q17165159

History

2026-10-26: add by m2/dev

TAN8JRXWR9 TAN8JRXWR9

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

Mentions

arxiv: arXiv 2610.02484#7QEE (statement). In D1V0MQZTFQ/e1, lemma 3.2

History

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

TANA462Z6F TANA462Z6F

URI	`m2://inv/TANA462Z6F`
Kind	unknown
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13680#OPHG (unknown). In QNBFHFZ3H0/e1, unknown 101

History

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

Wykeham Professor of Logic TANCDBA5CM

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

Mentions

wikipedia: Wikipedia Wykeham Professor#U1AC, Wykeham Professor of Logic (unknown)

History

2026-11-02: add by m2/dev

TANCM14WS9 TANCM14WS9

URI	`m2://inv/TANCM14WS9`
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.10262#JHFR (statement). In MVSGDTN2PB/e1, theorem

History

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

diffeomorphism group TANG28MB22

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

Mentions

wikidata: Wikidata Q91783656, diffeomorphism group (unknown). Also nLab diffeomorphism group

History

2026-10-26: add by m2/dev

European countries by fossil fuel use TANHB27K8W

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

Mentions

wikipedia: Wikipedia European countries by fossil fuel use (% of total energy), European countries by fossil fuel use (definition). Also Wikidata Q25241928

History

2026-11-02: add by m2/dev

Definition TANMF67K3Q

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

Mentions

wikipedia: Wikipedia Tor functor#9VX2, Definition (definition)

History

2026-11-02: add by m2/dev

Properties TANXS9A53Y

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

Mentions

wikipedia: Wikipedia K-convex function#HBZA, Properties (statement)

History

2026-11-02: add by m2/dev

TAP3SEKY0B TAP3SEKY0B

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

Mentions

arxiv: arXiv 2610.13908#6E1E (statement). In 9C684206F0/e1, theorem 5.1

History

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

TAP465T54X TAP465T54X

URI	`m2://inv/TAP465T54X`
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.13847#9A0U (definition). In S4FHV821A2/e1, definition

History

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

Trace Cauchy--Schwarz inequality TAPP6W0H13

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

Mentions

arxiv: arXiv 2609.28411#ZI6F, Trace Cauchy--Schwarz inequality (statement)

History

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

TAPS5CPKE9 TAPS5CPKE9

URI	`m2://inv/TAPS5CPKE9`
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.20028#A37D (statement)

History

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

TAPVERE16W TAPVERE16W

URI	`m2://inv/TAPVERE16W`
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.28009#8EBG (statement)

History

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

Jordan–Wigner transformation TAPVMH32JJ

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

Mentions

wikipedia: Wikipedia Jordan–Wigner transformation, Jordan–Wigner transformation (definition). Also Wikidata Q898893

History

2026-11-02: add by m2/dev

TAPVTNA1ZV TAPVTNA1ZV

URI	`m2://inv/TAPVTNA1ZV`
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.28403#KE5Q (statement)

History

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

Examples TAQ0ADE2MA

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

Mentions

wikipedia: Wikipedia Incidence structure#EJ8J, Examples (example)

History

2026-11-02: add by m2/dev

TAQ3XK5XMH TAQ3XK5XMH

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

Mentions

hott_book: hott_book logic.tex#defn:logical-notation (definition). In N54F33XE07, defn, section 9.7

History

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

TAQ4JS1BG2 TAQ4JS1BG2

URI	`m2://inv/TAQ4JS1BG2`
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.02798#DCA2 (statement). In 446QW3DHTN/e1, lemma C.2

History

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

Absence of correlations TAQ51VTHPX

URI	`m2://inv/TAQ51VTHPX`
Kind	definition
Layer	research
MSC	05-XX, 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.35102#YGNW, Absence of correlations (definition). In XK6H7F2F13/e1, definition 4.5

History

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

Flat torus theorem TAQ5E6MVK0

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

Mentions

wikipedia: Wikipedia List of theorems#5QHL, Flat torus theorem (statement)

History

2026-11-02: add by m2/dev

TAQ7THET8Z TAQ7THET8Z

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

Mentions

arxiv: arXiv 2609.20522#2PH9 (statement)

History

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

TAQACR5YP3 TAQACR5YP3

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

Mentions

arxiv: arXiv 2108.03672#SEGX (definition). In EZZSZ1F071/e1, definition 4.10

History

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

TAQBC0VZ89 TAQBC0VZ89

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

Mentions

arxiv: arXiv 2610.05327#I5BA (statement). In ZD7BWDKT84/e1, lemma 9.2

History

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

Applications TAQRC71BZF

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

Mentions

wikipedia: Wikipedia Intuitive statistics#2X4U, Applications (example)

History

2026-11-02: add by m2/dev

Pseudocertainty effect TAQSW55PD1

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

Mentions

wikipedia: Wikipedia List of cognitive biases#CH8A, Pseudocertainty effect (unknown)

History

2026-11-02: add by m2/dev

TAQTPSGPYY TAQTPSGPYY

URI	`m2://inv/TAQTPSGPYY`
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.16081#GUYO (statement). In RS6WWZKMT6/e1, proposition 3.4

History

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

rounded, Dedekind cut TAR0E9DYAZ

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

Mentions

hott_book: hott_book index/B.6/rounded-dedekind-cut, rounded, Dedekind cut (concept). In N54F33XE07, index, section B.6

History

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

Amit Singer TAR7QF0308

URI	`m2://inv/TAR7QF0308`
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#FLP7, Amit Singer (unknown)

History

2026-11-02: add by m2/dev

Jensen bound TARE0A2DPT

URI	`m2://inv/TARE0A2DPT`
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.31300#X9CK, Jensen bound (statement). In ERHQDB8M41/e1, theorem 2.3

History

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

Tracking regret TARGWB7RR5

URI	`m2://inv/TARGWB7RR5`
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#OGH8, Tracking regret (definition). In P603M3M91A/e1, definition 3.4

History

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

aliasing TARJEWRNTB

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

Mentions

wikidata: Wikidata Q868732, aliasing (unknown). Also MathWorld Aliasing
wikipedia: Wikipedia Aliasing, Aliasing (definition). Also Wikidata Q868732

History

2026-10-26: add by m2/dev

Dean, Angela TARRMB8FG4

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

Mentions

wikipedia: Wikipedia List of statisticians#NA89, Dean, Angela (topic)

History

2026-11-02: add by m2/dev

TAS20PY691 TAS20PY691

URI	`m2://inv/TAS20PY691`
Kind	statement
Layer	research
MSC	35-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.01653#CIBJ (statement). In WZMHJCQPB2/e1, corollary 3.10

History

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

Raman Parimala TAS3REJGS4

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RHCE, Raman Parimala (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ERUK, Raman Parimala (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IKPX, Raman Parimala (topic)

History

2026-11-02: add by m2/dev

Covariance and power invariance TAS76CYHAD

URI	`m2://inv/TAS76CYHAD`
Kind	statement
Layer	research
MSC	26-XX, 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.09602#SSIL, Covariance and power invariance (statement). In 4AQ48WSBDQ/e1, proposition 5.2

History

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

First level TAS88XRT70

URI	`m2://inv/TAS88XRT70`
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 1806.05002#UZTE, First level (statement). In JBAQ7DTW7B/e1, lemma D.1

History

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

Polychoric correlation TAS8TT4P97

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

Mentions

wikipedia: Wikipedia List of statistics articles#IS9G, Polychoric correlation (definition)

History

2026-11-02: add by m2/dev

Kurushima Kinai TAS98735Z4

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

Mentions

wikipedia: Wikipedia Kurushima Kinai, Kurushima Kinai (topic). Also Wikidata Q3915605

History

2026-11-02: add by m2/dev

TASAADPPC8 TASAADPPC8

URI	`m2://inv/TASAADPPC8`
Kind	statement
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#E7BT (statement). In 9DQKY7KGE8/e1, theorem 1.2

History

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

Dominique de Caen TASFKWNHTB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#15YW, Dominique de Caen (topic)

History

2026-11-02: add by m2/dev

Properties TASFRSTD91

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

Mentions

wikipedia: Wikipedia Almost everywhere#GL77, Properties (statement)

History

2026-11-02: add by m2/dev

TASGMYYZX0 TASGMYYZX0

URI	`m2://inv/TASGMYYZX0`
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 0809.4587#H0F4 (statement). In KQ8JPHDKKE/e1, theorem 9.6.2

History

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

Example of a trace TASN2YY2R7

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

Mentions

napkin: napkin tex/linalg/dual-trace.tex#example-6, Example of a trace (example). In RZP28ERRZV, example, section 57.4

History

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

TASQBEJFB9 TASQBEJFB9

URI	`m2://inv/TASQBEJFB9`
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.28993#FE5L (statement)

History

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

Claim TASVME4ZT0

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

Mentions

wikipedia: Wikipedia Kosambi–Karhunen–Loève theorem#CG29, Claim (statement)

History

2026-11-02: add by m2/dev

Keller TASX6NNAMJ

URI	`m2://inv/TASX6NNAMJ`
Kind	statement
Layer	research
MSC	19-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.01473#3INW, Keller (statement). In ABS9M47F4K/e1, theorem 3.10

History

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

Decoding TASXBR5AN4

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

Mentions

arxiv: arXiv math/0003117#MLMM, Decoding (definition). In WD2NCBV9F0/e1, definition 19.5

History

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

TASYKDC95H TASYKDC95H

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

Mentions

arxiv: arXiv 2311.00585#5AES (problem). In 332PQD90SW/e1, problem 4.17

History

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

PPPoX TASZMMBF37

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#SILE, PPPoX (unknown)

History

2026-11-02: add by m2/dev

TAT5KAV7Q9 TAT5KAV7Q9

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

Mentions

arxiv: arXiv 2609.32946#SQ2W (statement). In 6AEBXNK614/e1, lemma 2.4

History

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

determinant TAT8H3MBYD

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#4KV3, determinant (definition)

History

2026-11-02: add by m2/dev

Algorithm TATG5GFSBN

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

Mentions

wikipedia: Wikipedia Triple DES#PTCJ, Algorithm (definition)

History

2026-11-02: add by m2/dev

Moving equilibrium theorem TATKSRV1XV

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

Mentions

wikipedia: Wikipedia List of theorems#FR8Q, Moving equilibrium theorem (statement)

History

2026-11-02: add by m2/dev

Examples TATRND6EJX

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

Mentions

wikipedia: Wikipedia Loss function#JSYY, Examples (example)

History

2026-11-02: add by m2/dev

TATTB6SC0Q TATTB6SC0Q

URI	`m2://inv/TATTB6SC0Q`
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.20028#FDF3 (statement)

History

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

Angenent torus TAV0PBT11T

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

Mentions

wikipedia: Wikipedia Angenent torus, Angenent torus (definition). Also Wikidata Q25304375

History

2026-11-02: add by m2/dev

TAV2JJSGDM TAV2JJSGDM

URI	`m2://inv/TAV2JJSGDM`
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.21949#HXB0 (statement)

History

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

axiom, subset collection TAV2ZZPCWR

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

Mentions

hott_book: hott_book index/C.5/axiom-subset-collection, axiom, subset collection (concept). In N54F33XE07, index, section C.5

History

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

TAV5VDBXHB TAV5VDBXHB

URI	`m2://inv/TAV5VDBXHB`
Kind	example
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 2110.06338#GBK7 (example). In W1VVK7WDPK/e1, example 2.6

History

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

Normed vector spaces satisfying the parallelogram law TAVAZT1NQ1

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

Mentions

wikipedia: Wikipedia Parallelogram law#3SPT, Normed vector spaces satisfying the parallelogram law (statement)

History

2026-11-02: add by m2/dev

Relative-error estimation of the post-selection probability TAVBM77AV0

URI	`m2://inv/TAVBM77AV0`
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.39992#GLU8, Relative-error estimation of the post-selection probability (statement). In WF64CGYVK1/e1, lemma S14

History

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

TAVM2F096E TAVM2F096E

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

Mentions

arxiv: arXiv 2304.13811#513R (problem). In HGKYMFSDEM/e1, problem 1

History

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

Wilkinson's Grammar of Graphics TAVM3YHFV9

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

Mentions

wikipedia: Wikipedia Wilkinson's Grammar of Graphics, Wilkinson's Grammar of Graphics (definition). Also Wikidata Q135531719

History

2026-11-02: add by m2/dev

Seifert–van Kampen theorem TAVQHM0967

URI	`m2://inv/TAVQHM0967`
Kind	statement
Layer	textbook
MSC	55-XX
Sources	4
Outcome	open
Node	Seifert–van Kampen theorem S17DY98VF2

Mentions

mathlib_1000: mathlib_1000 Q372037, Seifert–van Kampen theorem (statement). Also Wikidata Q372037
thousand_plus: thousand_plus Q372037, Seifert–van Kampen theorem (statement). Also Wikidata Q372037, Wikipedia Seifert–van Kampen theorem
wikidata: Wikidata Q372037, Seifert–van Kampen theorem (statement). Also MathWorld vanKampensTheorem, nLab van Kampen theorem, ProofWiki Seifert-van_Kampen_Theorem
wikipedia: Wikipedia Seifert–Van Kampen theorem, Seifert–Van Kampen theorem (statement). Also Wikidata Q372037

History

2026-10-26: add by m2/dev

Examples TAVRHVZ20K

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

Mentions

wikipedia: Wikipedia Pseudo-Zernike polynomials#5QM6, Examples (example)

History

2026-11-02: add by m2/dev

$\SSS$ is the category of concrete presheaves TAVTHGTZJ4

URI	`m2://inv/TAVTHGTZJ4`
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.26270#D0EE, $\SSS$ is the category of concrete presheaves (statement)

History

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

South East Asian Mathematics Competition TAWBMXZN5S

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#XE39, South East Asian Mathematics Competition (definition)

History

2026-11-02: add by m2/dev

TAWG7341C6 TAWG7341C6

URI	`m2://inv/TAWG7341C6`
Kind	statement
Layer	research
MSC	05-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.20606#8VXV (statement)

History

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

Walter Hayman TAWHSXJX8N

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#85B5, Walter Hayman (topic)

History

2026-11-02: add by m2/dev

TAWMB4YXD6 TAWMB4YXD6

URI	`m2://inv/TAWMB4YXD6`
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 1008.2055#WX72 (statement). In 76JR4WFT4B/e1, corollary 3.4

History

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

Necessity and sufficiency TAWZC8BEH2

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

Mentions

wikipedia: Wikipedia Necessity and sufficiency, Necessity and sufficiency (definition). Also Wikidata Q875267

History

2026-11-02: add by m2/dev

TAX5NY7BSC TAX5NY7BSC

URI	`m2://inv/TAX5NY7BSC`
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 2609.26496#X50Z (statement)

History

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

Hamiltonian group TAXCSDPEE3

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

Mentions

wikipedia: Wikipedia List of group theory topics#5NO8, Hamiltonian group (definition)

History

2026-11-02: add by m2/dev

Economics of open data TAXDD2NP5J

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

Mentions

wikipedia: Wikipedia Economics of open data, Economics of open data (definition). Also Wikidata Q28455668

History

2026-11-02: add by m2/dev

TAXFKFB0CK TAXFKFB0CK

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

Mentions

arxiv: arXiv 2610.04434#FAYB (statement). In EY0QS456EC/e1, lemma 4.3

History

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

TAXP43AYMA TAXP43AYMA

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

Mentions

arxiv: arXiv 2609.32233#VH7C (statement). In V42PPD7SWH/e1, lemma 6.8

History

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

Definition TAXPG3G4MY

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

Mentions

wikipedia: Wikipedia Fourier number#EISX, Definition (definition)

History

2026-11-02: add by m2/dev

TAXSEVCTRK TAXSEVCTRK

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

Mentions

arxiv: arXiv 2309.17091#7OMY (statement). In N0JJM098W2/e1, theorem 23

History

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

Mayme Logsdon TAXTGEZM0A

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

Mentions

wikipedia: Wikipedia Mayme Logsdon, Mayme Logsdon (topic). Also Wikidata Q22018863

History

2026-11-02: add by m2/dev

TAXWDBTA8P TAXWDBTA8P

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/proving-things-quant.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 15.6

History

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

Examples TAY3MSX020

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

Mentions

wikipedia: Wikipedia Data structure#QHP0, Examples (example)

History

2026-11-02: add by m2/dev

maximum absolute row sum norm TAY95ZQ7B6

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

Mentions

wikidata: Wikidata Q184902, maximum absolute row sum norm (unknown). Also MathWorld MaximumAbsoluteRowSumNorm

History

2026-10-26: add by m2/dev

TAYC8RVTSC TAYC8RVTSC

URI	`m2://inv/TAYC8RVTSC`
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.12817#8ZL7 (statement). In FPSGZ5S6YF/e1, lemma 4.3

History

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

Hecke group TAYF31JB3R

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

Mentions

wikipedia: Wikipedia List of things named after Erich Hecke#C7FW, Hecke group (definition)

History

2026-11-02: add by m2/dev

TAYFY270AM TAYFY270AM

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

Mentions

arxiv: arXiv 2610.01828#W6QI (statement). In RQMJY73C8Q/e1, lemma III.4

History

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

Non-photorealistic rendering TAYK655N3V

URI	`m2://inv/TAYK655N3V`
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#9IQO, Non-photorealistic rendering (unknown)

History

2026-11-02: add by m2/dev

TAYKT9NWFE TAYKT9NWFE

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

Mentions

arxiv: arXiv 2610.14435#I27O (statement). In Y9FSN5BVNQ/e1, lemma 20

History

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

Ton of refrigeration TAYKW0MZRZ

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

Mentions

wikipedia: Wikipedia Ton of refrigeration, Ton of refrigeration (definition). Also Wikidata Q3332689

History

2026-11-02: add by m2/dev

Identical position covariance and covariance derivative, arbitrarily large energy TAYSWSN3VM

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

Mentions

arxiv: arXiv 2610.09356#D8AX, Identical position covariance and covariance derivative, arbitrarily large energy (example). In 3VVGPXWH6R/e1, example C.26

History

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

TAYY9S092E TAYY9S092E

URI	`m2://inv/TAYY9S092E`
Kind	statement
Layer	research
MSC	46-XX, 47-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.04694#S2EV (statement). In W9A0Z2NBMA/e1, proposition 16

History

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

TAZK3GNZQ0 TAZK3GNZQ0

URI	`m2://inv/TAZK3GNZQ0`
Kind	statement
Layer	research
MSC	19-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.14278#48FF (statement). In RTE2C0PH4S/e1, proposition 5.1

History

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

Reeb global stability theorem TAZSKZWNR4

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

Mentions

wikipedia: Wikipedia Reeb stability theorem#BE3Y, Reeb global stability theorem (statement)

History

2026-11-02: add by m2/dev

Parabolic semijets of semicontinuous functions TAZVJG1R4G

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

Mentions

arxiv: arXiv 2610.21732#R9TV, Parabolic semijets of semicontinuous functions (definition). In 6DJDRXDQNB/e1, definition 2.1

History

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

TAZW2VATXY TAZW2VATXY

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

Mentions

hott_book: hott_book logic.tex#thm:ac-epis-split (statement). In N54F33XE07, lem, section 9.8

History

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

TAZXK389CA TAZXK389CA

URI	`m2://inv/TAZXK389CA`
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.32077#6VYV (statement). In WYXQDSQR9B/e1, lemma 2.11

History

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