Inventory rows KY

$\ms{KAO}_\infty \Rightarrow \ms{KD}$ KY08F5WRW6

URI	`m2://inv/KY08F5WRW6`
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.36334#LXEI, $\ms{KAO}_\infty \Rightarrow \ms{KD}$ (statement). In YVB70SBGN1/e1, proposition

History

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

Sufficient statistic KY0HSNYB98

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZBMH, Sufficient statistic (definition)

History

2026-11-02: add by m2/dev

KY0J02VQ0S KY0J02VQ0S

URI	`m2://inv/KY0J02VQ0S`
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 2610.15369#WSHM (statement). In JESNVAZEYT/e1, lemma 4

History

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

Guesstimate KY0JEWPTJ5

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

Mentions

wikipedia: Wikipedia Guesstimate, Guesstimate (definition). Also Wikidata Q97161074

History

2026-11-02: add by m2/dev

Advances in Computational Mathematics KY0JKFHZXP

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

Mentions

wikipedia: Wikipedia Advances in Computational Mathematics, Advances in Computational Mathematics (definition). Also Wikidata Q13428416

History

2026-11-02: add by m2/dev

Extremal components KY0NPKH9NF

URI	`m2://inv/KY0NPKH9NF`
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.00259#633E, Extremal components (statement). In CFXW6Z78G0/e1, theorem 1.3

History

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

KY0R37MGE1 KY0R37MGE1

URI	`m2://inv/KY0R37MGE1`
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 2603.21971#9WE5 (statement). In R6KSZ9H8CY/e1, lemma 7.1

History

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

KY0TDCE7EW KY0TDCE7EW

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

Mentions

arxiv: arXiv 2610.22002#IRC1 (statement). In JTND2BM263/e1, fact 1.4

History

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

KY11R98ZWP KY11R98ZWP

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

Mentions

arxiv: arXiv 2609.29918#RGOB (statement)

History

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

Example KY1546W2M2

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

Mentions

wikipedia: Wikipedia Tripling-oriented Doche–Icart–Kohel curve#E9UH, Example (example)

History

2026-11-02: add by m2/dev

Moments and a derivative identity KY154ASYFK

URI	`m2://inv/KY154ASYFK`
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.20572#JD4E, Moments and a derivative identity (statement)

History

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

Factor-position heights KY19YEZCV3

URI	`m2://inv/KY19YEZCV3`
Kind	definition
Layer	research
MSC	05-XX, 26-XX, 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 2609.26066#PJ4J, Factor-position heights (definition)

History

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

KY1A2WPP7Y KY1A2WPP7Y

URI	`m2://inv/KY1A2WPP7Y`
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 2204.04265#W9D0 (statement). In YHA9M56TBB/e1, lemma 3.3

History

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

Properties KY1NBR4F4Q

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

Mentions

wikipedia: Wikipedia Ladder graph#FE6N, Properties (statement)

History

2026-11-02: add by m2/dev

Satisfaction and co-satisfaction KY1NTFAVP4

URI	`m2://inv/KY1NTFAVP4`
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 2207.11097#03UD, Satisfaction and co-satisfaction (definition). In 13H5BTAXHF/e1, definition 15

History

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

KY1S8JHR2Z KY1S8JHR2Z

URI	`m2://inv/KY1S8JHR2Z`
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.31858#Q0C8 (statement). In QV16PHDXKJ/e1, lemma B.2

History

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

predicate KY269GPKCQ

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

Mentions

wikipedia: Wikipedia Glossary of logic#EYRM, predicate (definition)

History

2026-11-02: add by m2/dev

Definition KY28J8AFW6

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

Mentions

wikipedia: Wikipedia Artin transfer (group theory)#6UTD, Definition (definition)

History

2026-11-02: add by m2/dev

Partition-decoupling forces large Fourier norm KY2FBMECR5

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

Mentions

arxiv: arXiv 2609.26619#8GN6, Partition-decoupling forces large Fourier norm (statement)

History

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

Read-only Turing machine KY2QV1HCC1

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

Mentions

wikipedia: Wikipedia Read-only Turing machine, Read-only Turing machine (definition). Also Wikidata Q7300342

History

2026-11-02: add by m2/dev

KY2RWDWYVB KY2RWDWYVB

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

History

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

Examples KY2YPYZ20D

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

Mentions

wikipedia: Wikipedia Fixed-point iteration#61CV, Examples (example)

History

2026-11-02: add by m2/dev

KY30F7S31R KY30F7S31R

URI	`m2://inv/KY30F7S31R`
Kind	statement
Layer	research
MSC	16-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.09544#ONSF (statement). In DYBM6Q2K6R/e1, theorem 6.1

History

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

KY35JT6BS7 KY35JT6BS7

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

Mentions

arxiv: arXiv 2609.27125#10JB (statement)

History

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

KY3840YMHH KY3840YMHH

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

Mentions

arxiv: arXiv 2610.07718#04XS (statement). In CEKW9CNVVW/e1, theorem 7.11

History

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

Resolvent approximate inverse KY3G6J97FG

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

Mentions

arxiv: arXiv 2610.20106#172Q, Resolvent approximate inverse (statement). In 6HMZ36ZBXA/e1, lemma 2.9

History

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

L KY3MDFR7X5

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

Mentions

wikipedia: Wikipedia L (complexity), L (definition). Also Wikidata Q1192782

History

2026-11-02: add by m2/dev

KY3MH5834Y KY3MH5834Y

URI	`m2://inv/KY3MH5834Y`
Kind	statement
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#FMH4 (statement). In NSP90G5XCQ/e1, lemma 3.2

History

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

KY3VNB8TR9 KY3VNB8TR9

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

Mentions

arxiv: arXiv 2609.28893#YWGW (unknown)

History

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

KY3WYZMG5T KY3WYZMG5T

URI	`m2://inv/KY3WYZMG5T`
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 2204.10840#JKSY (statement). In EMS1MAJZ4X/e1, proposition 3

History

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

KY42D22HW7 KY42D22HW7

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

Mentions

arxiv: arXiv 2609.37739#SEXB (statement). In F5XF5VXTXY/e1, lemma 5.3

History

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

Bisection (odd-indexed terms) of A107700 . KY434S2S66

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

Mentions

wikidata: Wikidata Q100194058, Bisection (odd-indexed terms) of A107700 . (object). Also OEIS A107699

History

2026-10-26: add by m2/dev

KY49H3G02Z KY49H3G02Z

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

Mentions

arxiv: arXiv 2609.37815#FJ5I (definition). In SVJYA0171G/e1, definition 1.1

History

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

Shape theorem for radially excited random walk KY4B4Y3ZC5

URI	`m2://inv/KY4B4Y3ZC5`
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.12138#UGBW, Shape theorem for radially excited random walk (statement). In KFAR8SMVYM/e1, theorem 2.1

History

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

Unipolar graph KY4BB134SM

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

Mentions

wikipedia: Wikipedia Perfect graph#K5W2, Unipolar graph (unknown)

History

2026-11-02: add by m2/dev

Pin group KY4D64M6WE

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#VBBI, Pin group (definition)

History

2026-11-02: add by m2/dev

KY4K6DMM7W KY4K6DMM7W

URI	`m2://inv/KY4K6DMM7W`
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.10107#RYRQ (statement). In ZHNJ8MSXHW/e1, corollary 4.2

History

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

Examples KY4MWKJWJD

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

Mentions

wikipedia: Wikipedia Norm (mathematics)#W1HC, Examples (example)

History

2026-11-02: add by m2/dev

Manin conjecture KY4NWT6AP8

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#YAXI, Manin conjecture (conjecture)

History

2026-11-02: add by m2/dev

Lattice-based cryptography KY4SW6QGE0

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

Mentions

wikipedia: Wikipedia List of cryptosystems#HUE6, Lattice-based cryptography (definition)

History

2026-11-02: add by m2/dev

KY4TBJ9MXG KY4TBJ9MXG

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

Mentions

arxiv: arXiv 2508.21045#O8B2 (statement). In CGA36VE1C5/e1, fact 3.10.4

History

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

KY4TNDF49D KY4TNDF49D

URI	`m2://inv/KY4TNDF49D`
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 2610.09561#PAAZ (statement). In WDV5E2CVTR/e1, corollary 5.3

History

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

William Marrat KY57BDQTKQ

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

Mentions

wikipedia: Wikipedia William Marrat, William Marrat (topic). Also Wikidata Q15994618

History

2026-11-02: add by m2/dev

KY58MAFHZ8 KY58MAFHZ8

URI	`m2://inv/KY58MAFHZ8`
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.32065#Y532 (statement). In 6Z9JQP3204/e1, theorem 3.1

History

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

Prix Paul Doistau–Émile Blutet KY5A27J01N

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

Mentions

wikipedia: Wikipedia Prix Paul Doistau–Émile Blutet, Prix Paul Doistau–Émile Blutet (definition). Also Wikidata Q14987337

History

2026-11-02: add by m2/dev

KY5B12AH5K KY5B12AH5K

URI	`m2://inv/KY5B12AH5K`
Kind	statement
Layer	research
MSC	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 2609.39951#TSNH (statement). In H343T48ZWE/e1, lemma 4.3

History

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

Fibonacci sequence KY5CBZ0Q89

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

Mentions

levin_dmoi: levin_dmoi index/3.4.1/fibonacci-sequence, Fibonacci sequence (concept). In Y91XFCEVHQ, index, section 3.4.1

History

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

KY5EVEWKJD KY5EVEWKJD

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

Mentions

arxiv: arXiv 2609.22528#8LMG (statement)

History

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

KY61G84KXF KY61G84KXF

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

Mentions

arxiv: arXiv 2610.21255#G5OB (statement). In FB4DAYJJ5F/e1, theorem B

History

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

Karl Menger KY6G9JB46N

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

Mentions

wikipedia: Wikipedia List of real analysis topics#O1YC, Karl Menger (topic)

History

2026-11-02: add by m2/dev

Properties KY6MVKF4YJ

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

Mentions

wikipedia: Wikipedia EP matrix#61M9, Properties (statement)

History

2026-11-02: add by m2/dev

KY6NJTF51P KY6NJTF51P

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/ch.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 69.1

History

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

KY6S0RCTEG KY6S0RCTEG

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

Mentions

arxiv: arXiv 1002.0879#5FWE (example). In M0SQY5EZN5/e1, example 5.1.5

History

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

6-simplex honeycomb KY6WS7FRTE

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#O5HL, 6-simplex honeycomb (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ZDN2, 6-simplex honeycomb (definition)

History

2026-11-02: add by m2/dev

KY749ANTBJ KY749ANTBJ

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

Mentions

arxiv: arXiv 2308.02672#OXSD (statement). In ETRT1R1CQ8/e1, lemma 2.6

History

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

The algebra of compact operators KY768EK5T8

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

Mentions

arxiv: arXiv 2609.21339#GSKC, The algebra of compact operators (example)

History

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

KY7951ANN5 KY7951ANN5

URI	`m2://inv/KY7951ANN5`
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.16875#1J14 (statement). In KS30K5JXGB/e1, lemma 2.14

History

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

Three-point estimation KY7AVAKMSM

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

Mentions

wikipedia: Wikipedia List of statistics articles#P168, Three-point estimation (definition)

History

2026-11-02: add by m2/dev

KY7AWS5MMA KY7AWS5MMA

URI	`m2://inv/KY7AWS5MMA`
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.20961#8WI3 (statement)

History

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

cyclic group KY7XBFFMB3

URI	`m2://inv/KY7XBFFMB3`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Cyclic group 0B85Q41RP6

Mentions

mathlib_overview: mathlib_overview General algebra > Group theory > cyclic group, cyclic group (unknown). Also Mathlib IsCyclic
mathlib_undergrad: mathlib_undergrad Group Theory > Abelian group > cyclic group, cyclic group (unknown). Also Mathlib IsCyclic
wikidata: Wikidata Q245462, cyclic group (definition). Also EoM Cyclic_group, LMFDB knowl group.cyclic, Mathlib IsCyclic, MathWorld CyclicGroup, ProofWiki Definition:Cyclic_Group
wikipedia: Wikipedia Cyclic group, Cyclic group (definition). Also Wikidata Q245462

History

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

Theorem KY8HWZ9EW9

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

Mentions

wikipedia: Wikipedia Geometry of binary search trees#6I5F, Theorem (statement)

History

2026-11-02: add by m2/dev

Strongly measurable function KY8NBCMP0N

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

Mentions

wikipedia: Wikipedia Strongly measurable function, Strongly measurable function (definition). Also Wikidata Q7624685

History

2026-11-02: add by m2/dev

Symmetries KY8X1KRH4F

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

Mentions

wikipedia: Wikipedia Cotton tensor#5AQ8, Symmetries (statement)

History

2026-11-02: add by m2/dev

Epispiral KY8YAT9T91

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#BFVA, Epispiral (definition)
wikipedia: Wikipedia List of curves#EEKW, Epispiral (definition)

History

2026-11-02: add by m2/dev

Plancherel theorem KY8YVXX8ZQ

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

Mentions

wikipedia: Wikipedia Weil–Brezin Map#YQWF, Plancherel theorem (statement)

History

2026-11-02: add by m2/dev

Naomi B. Robbins KY90KANJEZ

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

Mentions

wikipedia: Wikipedia Naomi B. Robbins, Naomi B. Robbins (topic). Also Wikidata Q43298993

History

2026-11-02: add by m2/dev

KY9A5RTF97 KY9A5RTF97

URI	`m2://inv/KY9A5RTF97`
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.30207#UZ1N (statement)

History

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

KY9ENV2PFX KY9ENV2PFX

URI	`m2://inv/KY9ENV2PFX`
Kind	statement
Layer	research
MSC	05-XX, 16-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.06739#F58K (statement). In HA9B7PD0YV/e1, proposition 23

History

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

Cuspidal linear pull-back locus KY9EY33WFV

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

Mentions

arxiv: arXiv 2609.26152#6OVC, Cuspidal linear pull-back locus (definition)

History

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

KY9M3Q34HB KY9M3Q34HB

URI	`m2://inv/KY9M3Q34HB`
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 0904.2051#77BB (statement). In JYRVG8P8KC/e1, theorem 0

History

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

The Taniyama–Shimura–Weil conjecture KY9MHEHQ8T

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

Mentions

wikipedia: Wikipedia Wiles's proof of Fermat's Last Theorem#M5WZ, The Taniyama–Shimura–Weil conjecture (statement)

History

2026-11-02: add by m2/dev

KY9QVNH6X2 KY9QVNH6X2

URI	`m2://inv/KY9QVNH6X2`
Kind	conjecture
Layer	research
MSC	05-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.22708#ZHXD (conjecture)

History

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

KY9SV1886M KY9SV1886M

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

Mentions

napkin: napkin tex/alg-geom/spec-sheaf.tex#definition-3 (definition). In RZP28ERRZV, definition, section 27.2

History

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

KY9TQD0HPN KY9TQD0HPN

URI	`m2://inv/KY9TQD0HPN`
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.22247#56GC (statement). In SBNH1MWND8/e1, lemma 12

History

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

Properties KY9X3P9X8H

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

Mentions

wikipedia: Wikipedia Trigintaduonion#AHMD, Properties (statement)

History

2026-11-02: add by m2/dev

Properties KYA2S4QFSX

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

Mentions

wikipedia: Wikipedia Interval (mathematics)#DULQ, Properties (statement)

History

2026-11-02: add by m2/dev

KYA3PXT104 KYA3PXT104

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

Mentions

arxiv: arXiv 2610.07370#8NK4 (definition). In Q94QXG67CK/e1, definition VII.2

History

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

KYA41RDZTV KYA41RDZTV

URI	`m2://inv/KYA41RDZTV`
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.33820#YFK2 (statement). In S2ZMJENDHA/e1, theorem 1.1

History

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

Refined LLR Proxy KYAHRFVTNT

URI	`m2://inv/KYAHRFVTNT`
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.12357#163V, Refined LLR Proxy (statement). In 1F26AF81XP/e1, lemma 3.2

History

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

Haag's theorem KYAPNVRB55

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

Mentions

mathlib_1000: mathlib_1000 Q1566372, Haag's theorem (statement). Also Wikidata Q1566372
thousand_plus: thousand_plus Q1566372, Haag's theorem (statement). Also Wikidata Q1566372, Wikipedia Haag's theorem
wikidata: Wikidata Q1566372, Haag's theorem (statement). Also EoM Haag_theorem, nLab Haag's theorem
wikipedia: Wikipedia Haag's theorem, Haag's theorem (statement). Also Wikidata Q1566372

History

2026-10-26: add by m2/dev

Common projection and covariance derivatives KYASCG2N45

URI	`m2://inv/KYASCG2N45`
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 2610.10080#9DTU, Common projection and covariance derivatives (statement). In N6EBNRZCYX/e1, lemma A.8

History

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

Semantic embedding from $\bf FDE^{\bf S5}_{\Box\D}$ into \textbf{S5 KYAY6DZQ3M

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

Mentions

arxiv: arXiv 2610.08323#IQX5, Semantic embedding from $\bf FDE^{\bf S5}_{\Box\D}$ into \textbf{S5 (statement). In FR51ART4NF/e1, theorem 3

History

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

MP vs.\ DP KYAYSX3ST5

URI	`m2://inv/KYAYSX3ST5`
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 2204.09167#3LCV, MP vs.\ DP (statement). In S1MENYEAG5/e1, lemma 2.3

History

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

section KYAZGE1FPV

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

Mentions

wikipedia: Wikipedia Glossary of category theory#1VR3, section (definition)

History

2026-11-02: add by m2/dev

A fixed finite Fourier approximation KYB1TWDWGW

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

Mentions

arxiv: arXiv 2610.12351#6RMP, A fixed finite Fourier approximation (statement). In G1S5YM8TSR/e1, lemma 3.1

History

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

Henry McKean KYB8G3ZPY7

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

Mentions

wikipedia: Wikipedia Henry McKean, Henry McKean (topic). Also Wikidata Q1607032

History

2026-11-02: add by m2/dev

KYB93KR23A KYB93KR23A

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-12 (exercise). In QKM9DD2H56, exercise, section 2

History

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

KYBC33MY41 KYBC33MY41

URI	`m2://inv/KYBC33MY41`
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.11823#XDFD (statement). In YNQHA63Z2B/e1, lemma 2.1

History

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

Isodiametric inequality KYBCDFXN9E

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

Mentions

wikipedia: Wikipedia Diameter of a set#XRU3, Isodiametric inequality (unknown)

History

2026-11-02: add by m2/dev

Spectral Decomposition of $h_\delta$ KYBCQP6QZJ

URI	`m2://inv/KYBCQP6QZJ`
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.17883#D0AX, Spectral Decomposition of $h_\delta$ (statement). In 9WSJV2WY2S/e1, theorem 2

History

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

Extension neglect KYBD32G3PZ

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

Mentions

wikipedia: Wikipedia List of cognitive biases#HWFY, Extension neglect (definition)

History

2026-11-02: add by m2/dev

KYBD4JS1XF KYBD4JS1XF

URI	`m2://inv/KYBD4JS1XF`
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.39330#9EM4 (statement). In 7ZTJ23YG7A/e1, proposition 4.1

History

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

Kan complex KYBG8C12GM

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

Mentions

wikidata: Wikidata Q109012778, Kan complex (unknown). Also nLab Kan complex

History

2026-10-26: add by m2/dev

Generalizations KYBMSPGBMK

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

Mentions

wikipedia: Wikipedia Hereditarily countable set#KIQF, Generalizations (statement)

History

2026-11-02: add by m2/dev

Generic filters on the infinite chain KYC3VD3VD1

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

Mentions

napkin: napkin tex/set-theory/forcing.tex#example-4, Generic filters on the infinite chain (example). In RZP28ERRZV, example, section 90.1

History

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

KYC4K114M8 KYC4K114M8

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

Mentions

lebl_ra: lebl_ra ch-der.tex#example-2 (example). In E59CDZA4DP, example, section 3.1.1

History

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

Alexander Beilinson KYCDVC42K2

URI	`m2://inv/KYCDVC42K2`
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#58MC, Alexander Beilinson (topic)

History

2026-11-02: add by m2/dev

KYCJZ34MJE KYCJZ34MJE

URI	`m2://inv/KYCJZ34MJE`
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.23350#VU92 (statement)

History

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

The de Almeida--Thouless threshold KYCKC2KAJ0

URI	`m2://inv/KYCKC2KAJ0`
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.06480#O35S, The de Almeida--Thouless threshold (statement). In 2Y47E704Z9/e1, proposition 8.11

History

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

Factorial code KYCQT6YNJT

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

Mentions

wikipedia: Wikipedia Factorial code, Factorial code (definition). Also Wikidata Q5428736

History

2026-11-02: add by m2/dev

Construction KYCWHM2SZM

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

Mentions

wikipedia: Wikipedia Rectified 24-cell#PHZT, Construction (definition)

History

2026-11-02: add by m2/dev

The paradox KYCY8BQ0MJ

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

Mentions

wikipedia: Wikipedia Paradox of analysis#592Z, The paradox (statement)

History

2026-11-02: add by m2/dev

KYCZNW0Q5W KYCZNW0Q5W

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

Mentions

arxiv: arXiv 2609.23093#1KKP (statement)

History

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

KYD08G2M7V KYD08G2M7V

URI	`m2://inv/KYD08G2M7V`
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#RAZG (statement). In 5E9G06XJKC/e1, lemma F.7

History

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

Vietnamese numerals KYD3X60KRS

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

Mentions

wikipedia: Wikipedia Vietnamese numerals, Vietnamese numerals (definition). Also Wikidata Q2617714

History

2026-11-02: add by m2/dev

Random walk closeness centrality KYD9SKRS6W

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

Mentions

wikipedia: Wikipedia Random walk closeness centrality, Random walk closeness centrality (definition). Also Wikidata Q7291998

History

2026-11-02: add by m2/dev

KYDAP7J19B KYDAP7J19B

URI	`m2://inv/KYDAP7J19B`
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 2511.15212#NL8M (statement). In W99XBH6X5N/e1, theorem 3.3

History

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

KYDCKT3TZN KYDCKT3TZN

URI	`m2://inv/KYDCKT3TZN`
Kind	statement
Layer	research
MSC	05-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.03612#WTH4 (statement). In REDG6QVHM3/e1, theorem 5.3

History

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

History of statistics KYDPCH76J9

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

Mentions

wikipedia: Wikipedia History of statistics, History of statistics (definition). Also Wikidata Q1444687

History

2026-11-02: add by m2/dev

The branch functions KYDRPPZXCJ

URI	`m2://inv/KYDRPPZXCJ`
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.06480#2L98, The branch functions (statement). In 2Y47E704Z9/e1, lemma F.6

History

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

KYDTZQ36KY KYDTZQ36KY

URI	`m2://inv/KYDTZQ36KY`
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 2002.01498#KQ2N (statement). In 2H7TQ695XW/e1, fact 5.2

History

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

Problem of religious language KYEACNA9QW

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

Mentions

wikipedia: Wikipedia Problem of religious language, Problem of religious language (problem). Also Wikidata Q3814191

History

2026-11-02: add by m2/dev

KYEDWGSGAJ KYEDWGSGAJ

URI	`m2://inv/KYEDWGSGAJ`
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 1902.04230#I18R (statement). In 22JZ68FGCW/e1, corollary 6.15

History

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

KYEJMNMCGS KYEJMNMCGS

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

History

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

representative function KYEJZRG8M4

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

Mentions

wikidata: Wikidata Q7314250, representative function (unknown). Also nLab representative function

History

2026-10-26: add by m2/dev

Lemma 3 KYEXP20A41

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

Mentions

wikipedia: Wikipedia Fejér's theorem#235D, Lemma 3 (statement)

History

2026-11-02: add by m2/dev

KYF00F4A3P KYF00F4A3P

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

Mentions

arxiv: arXiv 2609.33541#0OV9 (example). In N3P196CEAJ/e1, example 2

History

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

Tightness of the relative margin KYF87FS87F

URI	`m2://inv/KYF87FS87F`
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.38268#3VHW, Tightness of the relative margin (statement). In TQ18V9TDQS/e1, proposition 5.7

History

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

An OR gateway and its alternatives KYFB8282CP

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

Mentions

arxiv: arXiv 2609.20478#T64D, An OR gateway and its alternatives (example)

History

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

*{Theorem 8.2 KYFDBM1QDK

URI	`m2://inv/KYFDBM1QDK`
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.02669#6S7D, *{Theorem 8.2 (statement). In NSBSWH6XB4/e1, lemma 7.2

History

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

KYFF0BXKXT KYFF0BXKXT

URI	`m2://inv/KYFF0BXKXT`
Kind	example
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 2508.07340#N92E (example). In 2HSB99DW4M/e1, example 6.1

History

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

KYFN3Y8CFA KYFN3Y8CFA

URI	`m2://inv/KYFN3Y8CFA`
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.12480#QAPL (statement). In 585QYGX4X6/e1, theorem 10

History

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

Dolbeault's theorem KYFT4Y3BJ7

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

Mentions

wikipedia: Wikipedia Dolbeault cohomology#0DXO, Dolbeault's theorem (statement)

History

2026-11-02: add by m2/dev

KYG05E6RF0 KYG05E6RF0

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

Mentions

arxiv: arXiv 1408.1555#HAMO (proof). In S1F2QW24YW/e1, proof

History

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

KYG3KYF1XR KYG3KYF1XR

URI	`m2://inv/KYG3KYF1XR`
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#G9QN (statement). In CY1FE8W1ZW/e1, corollary 0.195

History

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

HCF KYGBKSK2Y9

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#W38G, HCF (definition)

History

2026-11-02: add by m2/dev

Dirichlet character KYGH6NN8ES

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

Mentions

wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#IVJY, Dirichlet character (definition)

History

2026-11-02: add by m2/dev

KYGHZDADJQ KYGHZDADJQ

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

Mentions

arxiv: arXiv 2609.39293#BO8J (statement). In S26QVW5613/e1, lemma 4.7.1

History

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

Spectral density estimation KYGMPTFES0

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

Mentions

wikipedia: Wikipedia List of statistics articles#N0QM, Spectral density estimation (definition)

History

2026-11-02: add by m2/dev

KYGQN22G5R KYGQN22G5R

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#Y73Q (definition)

History

2026-11-02: add by m2/dev

Unified fixed-depth Sobolev rates KYGS98RSD3

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

Mentions

arxiv: arXiv 2610.16094#TFFP, Unified fixed-depth Sobolev rates (statement). In RHBS9QDHC3/e1, theorem 1.3

History

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

Theorem (1) KYGW7DAEHY

URI	`m2://inv/KYGW7DAEHY`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the item has no name of its own, and the write role names it)
Node	None yet. Write the node.

Mentions

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

History

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

Exponential-law criterion KYGXPJV122

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

Mentions

arxiv: arXiv 2609.23281#JP2P, Exponential-law criterion (statement)

History

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

List of regions by past GDP KYGZ80PJM3

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

Mentions

wikipedia: Wikipedia List of regions by past GDP (PPP), List of regions by past GDP (topic). Also Wikidata Q2416081

History

2026-11-02: add by m2/dev

Theorem KYH0Q9DB3N

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

Mentions

wikipedia: Wikipedia Varignon's theorem#APE7, Theorem (statement)

History

2026-11-02: add by m2/dev

Construction KYH7CFZ3FA

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

Mentions

wikipedia: Wikipedia Levenshtein automaton#57YN, Construction (definition)

History

2026-11-02: add by m2/dev

KYHECPBS45 KYHECPBS45

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

Mentions

arxiv: arXiv 2505.04593#IHNY (statement). In PEXJPV3NP8/e1, theorem 3.10

History

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

Ulam number KYHY6BX74S

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

Mentions

wikidata: Wikidata Q1784026, Ulam number (concept). Also MathWorld UlamSequence
wikipedia: Wikipedia Ulam number, Ulam number (definition). Also Wikidata Q1784026

History

2026-10-26: add by m2/dev

Josef Paldus KYJ082452K

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

Mentions

wikipedia: Wikipedia Josef Paldus, Josef Paldus (topic). Also Wikidata Q6280069

History

2026-11-02: add by m2/dev

Bounded memory preserves the rate KYJAKTXRHN

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

Mentions

arxiv: arXiv 2610.09912#9K4G, Bounded memory preserves the rate (statement). In 65TJENWK7X/e1, lemma 61

History

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

KYJCY10DY2 KYJCY10DY2

URI	`m2://inv/KYJCY10DY2`
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.13180#LQEQ (statement). In 7TSVFYEGD8/e1, lemma 3.5

History

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

Proposition KYJF4X931B

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

Mentions

wikipedia: Wikipedia Upper half-plane#HJT5, Proposition (statement)

History

2026-11-02: add by m2/dev

Fenchel--Rockafellar KYJGHPN9V2

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

Mentions

arxiv: arXiv 2609.26645#BXK1, Fenchel--Rockafellar (statement)

History

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

KYJMZSF7PR KYJMZSF7PR

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

Mentions

open_logic: open_logic content/set-theory/cardinals/classing.tex#proof-9 (proof). In PKGMM3P5QY, proof, section 70.2

History

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

Principle of Inclusion/Exclusion KYJT70F1K8

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

Mentions

mathlib_100: mathlib_100 96, Principle of Inclusion/Exclusion (statement). Also Mathlib Finset.inclusion_exclusion_sum_biUnion, Mathlib Finset.inclusion_exclusion_card_biUnion, Mathlib Finset.inclusion_exclusion_sum_inf_compl, Mathlib Finset.inclusion_exclusion_card_inf_compl

History

2026-10-26: add by m2/dev

Bernstein approximants of deformation maps KYJZ8VWNKQ

URI	`m2://inv/KYJZ8VWNKQ`
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.00039#AYBO, Bernstein approximants of deformation maps (statement). In 2YQ3WX6VSW/e1, theorem 4.3

History

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

Applications KYK195A6CA

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

Mentions

wikipedia: Wikipedia Class field theory#GQMY, Applications (example)

History

2026-11-02: add by m2/dev

KYK1MPS4ZY KYK1MPS4ZY

URI	`m2://inv/KYK1MPS4ZY`
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.07190#LOIP (statement). In ZWS6Q4467X/e1, theorem 3.2

History

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

Jeremy Kahn KYK2WQ711H

URI	`m2://inv/KYK2WQ711H`
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#LTFE, Jeremy Kahn (topic)

History

2026-11-02: add by m2/dev

Elizabeth McHarg KYK925A02A

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

Mentions

wikipedia: Wikipedia Elizabeth McHarg, Elizabeth McHarg (topic). Also Wikidata Q57293771

History

2026-11-02: add by m2/dev

Examples KYK9PQ6R6Q

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

Mentions

wikipedia: Wikipedia Perfect magic cube#JQ42, Examples (example)

History

2026-11-02: add by m2/dev

Moreau envelope regularity KYKCN0JB8X

URI	`m2://inv/KYKCN0JB8X`
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.39736#85MO, Moreau envelope regularity (statement). In BB1XJ47PVW/e1, proposition 8

History

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

Poincaré homology sphere KYKFFP0BTH

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

Mentions

wikidata: Wikidata Q56312588, Poincaré homology sphere (unknown). Also nLab Poincaré homology sphere

History

2026-10-26: add by m2/dev

KYKG6NRQEZ KYKG6NRQEZ

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_gt-coloring.ptx#example-2 (example). In Y91XFCEVHQ, example, section 5.4.1

History

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

KYKHCXBCXH KYKHCXBCXH

URI	`m2://inv/KYKHCXBCXH`
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.17269#38R1 (statement). In HENEGTGCJ9/e1, lemma 2

History

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

Implementations KYKNER52GY

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

Mentions

wikipedia: Wikipedia One-time password#AT7O, Implementations (definition)

History

2026-11-02: add by m2/dev

fracture mechanics KYMB5S7W3M

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

Mentions

wikidata: Wikidata Q957852, fracture mechanics (unknown). Also EoM Fracture,_mathematical_problems_of
wikipedia: Wikipedia Fracture mechanics, Fracture mechanics (topic). Also Wikidata Q957852

History

2026-10-26: add by m2/dev

KYMH7C1STQ KYMH7C1STQ

URI	`m2://inv/KYMH7C1STQ`
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.24569#RSWW (statement)

History

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

Fuchs KYMJK861RK

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

Mentions

arxiv: arXiv 2610.17547#6S2F, Fuchs (statement). In XJ59TDP4HA/e1, fact 2.17

History

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

Properties KYMPZBPN72

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

Mentions

wikipedia: Wikipedia Cylindric numbering#COMD, Properties (statement)

History

2026-11-02: add by m2/dev

Binary division KYMWKMF2GT

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

Mentions

wikipedia: Wikipedia Long division#PAT5, Binary division (unknown)

History

2026-11-02: add by m2/dev

Formal definition KYN8MR4KDJ

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

Mentions

wikipedia: Wikipedia Hard spheres#KBK3, Formal definition (definition)

History

2026-11-02: add by m2/dev

Poincaré Inequality/Spectral Gap Inequality KYNBY9GH1B

URI	`m2://inv/KYNBY9GH1B`
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 2608.19483#O4DJ, Poincaré Inequality/Spectral Gap Inequality (statement). In M2PEDAF7AX/e1, theorem 4

History

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

uniform convergence KYNMF0N33A

URI	`m2://inv/KYNMF0N33A`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Uniform convergence 08FPABDQ4C

Mentions

mathlib_overview: mathlib_overview Topology > Uniform notions > uniform convergence, uniform convergence (unknown). Also Mathlib TendstoUniformly
mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > uniform convergence, uniform convergence (unknown). Also Mathlib TendstoUniformly
wikidata: Wikidata Q1411887, uniform convergence (unknown). Also EoM Uniform_convergence, Mathlib TendstoUniformly, MathWorld UniformConvergence, nLab uniform convergence
wikipedia: Wikipedia Uniform convergence, Uniform convergence (definition). Also Wikidata Q1411887

History

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

The Cauchy–Binet formula KYNPF8JA13

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

Mentions

wikipedia: Wikipedia Lindström–Gessel–Viennot lemma#1D9L, The Cauchy–Binet formula (statement)

History

2026-11-02: add by m2/dev

Anisotropic Nikol'skii class of densities KYNQ8PJMR9

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

Mentions

arxiv: arXiv 2610.11760#LTTX, Anisotropic Nikol'skii class of densities (definition). In NBNERWXW53/e1, definition S2.1

History

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

KYNQGSGNED KYNQGSGNED

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

Mentions

arxiv: arXiv 2610.21622#O1Z6 (definition). In H21X3FHNYJ/e1, definition 6.2

History

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

Disphenoid KYNTN6PQRG

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#6PV9, Disphenoid (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#H28S, Disphenoid (definition)

History

2026-11-02: add by m2/dev

Use KYNVWNAR8B

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

Mentions

wikipedia: Wikipedia EAX mode#NT33, Use (example)

History

2026-11-02: add by m2/dev

Noether's theorem KYP5SZ72Z8

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

Mentions

wikipedia: Wikipedia Conservation of energy#FXD1, Noether's theorem (statement)

History

2026-11-02: add by m2/dev

Conway circle theorem KYP671MMS9

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

Mentions

wikipedia: Wikipedia List of theorems#XHZE, Conway circle theorem (statement)

History

2026-11-02: add by m2/dev

Genetic history of Tunisia KYP9Z0G5BA

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

Mentions

wikipedia: Wikipedia Demographics of Tunisia#MIKU, Genetic history of Tunisia (unknown)

History

2026-11-02: add by m2/dev

KYPCV9D4CC KYPCV9D4CC

URI	`m2://inv/KYPCV9D4CC`
Kind	statement
Layer	research
MSC	16-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 2507.20176#7KMA (statement). In CX4WDA2KAR/e1, theorem 4.4

History

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

Example KYPD5TA4BF

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

Mentions

wikipedia: Wikipedia Nonstandard analysis#OGIF, Example (example)

History

2026-11-02: add by m2/dev

KYPDBF6X67 KYPDBF6X67

URI	`m2://inv/KYPDBF6X67`
Kind	statement
Layer	research
MSC	26-XX, 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.01958#AYZC (statement). In NQFYT2M6YZ/e1, corollary 5.9

History

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

Janusz Brzozowski KYPF3FMCBZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RO5A, Janusz Brzozowski (topic)

History

2026-11-02: add by m2/dev

Theorem (over a finite set) KYPHNTTK0G

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

Mentions

wikipedia: Wikipedia Sub-Gaussian distribution#E3ZT, Theorem (over a finite set) (statement)

History

2026-11-02: add by m2/dev

KYPNGFKR34 KYPNGFKR34

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

Mentions

open_logic: open_logic content/methods/proofs/proof-by-contradiction.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 44.11

History

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

KYQ09M3PFC KYQ09M3PFC

URI	`m2://inv/KYQ09M3PFC`
Kind	example
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.06488#X9KF (example). In XG3BJ2QXXP/e1, example 5.8

History

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

Barbara Gertrude Yates KYQ37275H3

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

Mentions

wikipedia: Wikipedia Barbara Gertrude Yates, Barbara Gertrude Yates (topic). Also Wikidata Q32234950

History

2026-11-02: add by m2/dev

KYQCGAZ0KF KYQCGAZ0KF

URI	`m2://inv/KYQCGAZ0KF`
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 0904.2839#GMRM (statement). In 2P34N0GWS1/e1, proposition 2.6.2

History

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

KYQJMCTP6E KYQJMCTP6E

URI	`m2://inv/KYQJMCTP6E`
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#7YRH (definition). In ZPT9XCCAPQ/e1, definition 1.4.1

History

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

KYQS983QB6 KYQS983QB6

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

History

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

Stiefel manifold KYQTFYEXPG

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

Mentions

wikipedia: Wikipedia List of manifolds#JO6G, Stiefel manifold (definition)

History

2026-11-02: add by m2/dev

KYQW87X0V7 KYQW87X0V7

URI	`m2://inv/KYQW87X0V7`
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.21017#Y2CY (statement). In 8KKYZ4NKT2/e1, theorem 13

History

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

Special case KYRBERN9JJ

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

Mentions

wikipedia: Wikipedia Descartes's rule of signs#8071, Special case (statement)

History

2026-11-02: add by m2/dev

KYRG5Z9H0E KYRG5Z9H0E

URI	`m2://inv/KYRG5Z9H0E`
Kind	definition
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 2609.40271#SK4Z (definition). In 9MXMRKFKDW/e1, definition 3.1

History

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

Naccache–Stern cryptosystem KYRMX4WKN0

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

Mentions

wikipedia: Wikipedia Naccache–Stern cryptosystem, Naccache–Stern cryptosystem (definition). Also Wikidata Q6957075

History

2026-11-02: add by m2/dev

A non-unimodular structure on $k^{2||2}$ KYRZ57HTHT

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

Mentions

arxiv: arXiv 2610.08091#8JGK, A non-unimodular structure on $k^{2||2}$ (example). In MS13WE3CSD/e1, example 5.1

History

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

Sigma approximation KYS0G98EF2

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#QWIV, Sigma approximation (definition)
wikipedia: Wikipedia List of Fourier analysis topics#C1WZ, Sigma approximation (definition)

History

2026-11-02: add by m2/dev

David Hinkley KYS2T2PSXE

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

Mentions

wikipedia: Wikipedia David Hinkley, David Hinkley (topic). Also Wikidata Q5240584

History

2026-11-02: add by m2/dev

Targeted projection pursuit KYS6JYSF5K

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

Mentions

wikipedia: Wikipedia Targeted projection pursuit, Targeted projection pursuit (definition). Also Wikidata Q7685913

History

2026-11-02: add by m2/dev

Shared-deletion example KYSBYQHCS7

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

Mentions

arxiv: arXiv 2610.10519#EFCT, Shared-deletion example (definition). In 83MMH8VF1X/e1, definition 3

History

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

KYSDPSMW2C KYSDPSMW2C

URI	`m2://inv/KYSDPSMW2C`
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 1902.04230#8W2L (statement). In 22JZ68FGCW/e1, corollary 4.12

History

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

Variants KYSF0BBEG9

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

Mentions

wikipedia: Wikipedia Linear logic#ADDY, Variants (statement)

History

2026-11-02: add by m2/dev

Normalized exceptional Gaussian KYSHKXSZQJ

URI	`m2://inv/KYSHKXSZQJ`
Kind	statement
Layer	research
MSC	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 2609.27799#YA65, Normalized exceptional Gaussian (statement)

History

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

KYT4VHWDGK KYT4VHWDGK

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

Mentions

arxiv: arXiv 2610.12329#ZFRQ (statement). In ZJQB9W60T6/e1, theorem 8.14

History

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

Construction KYT8M2V7FQ

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

Mentions

wikipedia: Wikipedia Levi-Civita parallelogramoid#HOMP, Construction (definition)

History

2026-11-02: add by m2/dev

Benedict Hyman Gross KYTBZ6NTN6

URI	`m2://inv/KYTBZ6NTN6`
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#BULO, Benedict Hyman Gross (topic)

History

2026-11-02: add by m2/dev

Laura Roppé KYTDXHXQ3N

URI	`m2://inv/KYTDXHXQ3N`
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#TG2S, Laura Roppé (unknown)

History

2026-11-02: add by m2/dev

Projective algebraic set KYTHF0796M

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

Mentions

wikipedia: Wikipedia Algebraic variety#MDIZ, Projective algebraic set (unknown)

History

2026-11-02: add by m2/dev

KYTMAR9CPV KYTMAR9CPV

URI	`m2://inv/KYTMAR9CPV`
Kind	example
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#P3C4 (example). In HX63A1PH1W/e1, example 5.15

History

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

KYTQ7XFXED KYTQ7XFXED

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

Mentions

arxiv: arXiv 2610.01802#CXFR (conjecture). In XGPZ0G9E1Q/e1, conjecture 4.1

History

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

KYTVD6W23A KYTVD6W23A

URI	`m2://inv/KYTVD6W23A`
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.35398#OJ6D (statement). In NAJCCHYXR6/e1, lemma 3.8

History

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

Informal main theorem KYTX6CXXHP

URI	`m2://inv/KYTX6CXXHP`
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.34202#BO4G, Informal main theorem (statement). In 57CRGWHT13/e1, theorem

History

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

KYV4AJDYHZ KYV4AJDYHZ

URI	`m2://inv/KYV4AJDYHZ`
Kind	example
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.31274#EHBO (example). In RK0ZMDJ23T/e1, example 1.3.7

History

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

Haagerup KYVBM846W1

URI	`m2://inv/KYVBM846W1`
Kind	statement
Layer	research
MSC	20-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 2605.16669#ITHK, Haagerup (statement). In 1463YCCRP5/e1, theorem 3.4

History

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

Containment hierarchy KYVFEMRVMG

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

Mentions

wikipedia: Wikipedia Hierarchy#I7KD, Containment hierarchy (unknown)

History

2026-11-02: add by m2/dev

neutrino KYVJ4E6V5B

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

Mentions

wikidata: Wikidata Q2126, neutrino (unknown). Also nLab neutrino

History

2026-10-26: add by m2/dev

Marlies Gerber KYVK7EPGR7

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

Mentions

wikipedia: Wikipedia Marlies Gerber, Marlies Gerber (topic). Also Wikidata Q102185019

History

2026-11-02: add by m2/dev

Current hogging KYVKWW263C

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

Mentions

wikipedia: Wikipedia Thermal runaway#9KYP, Current hogging (unknown)

History

2026-11-02: add by m2/dev

KYVQAP50JM KYVQAP50JM

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

Mentions

arxiv: arXiv 2609.23527#PF9P (example)

History

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

801 (Number) KYVT8SJYT9

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

Mentions

wikipedia: Wikipedia 800 (number)#ZSR2, 801 (Number) (unknown)

History

2026-11-02: add by m2/dev

Anne Gelb KYW2RE6KF4

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

Mentions

wikipedia: Wikipedia Anne Gelb, Anne Gelb (topic). Also Wikidata Q48741908

History

2026-11-02: add by m2/dev

Dirac comb KYW35YT76F

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

Mentions

mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > Dirac comb, Dirac comb (unknown)

History

2026-10-26: add by m2/dev

Carathéodory existence theorem KYW36116M1

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#UZHI, Carathéodory existence theorem (statement)

History

2026-11-02: add by m2/dev

Examples KYW97Z2H0Q

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

Mentions

wikipedia: Wikipedia Direct product#YPWB, Examples (example)

History

2026-11-02: add by m2/dev

KYWBQ0T0DS KYWBQ0T0DS

URI	`m2://inv/KYWBQ0T0DS`
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.37747#E15I (statement). In GEYDNVZEP7/e1, lemma 5.1

History

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

KYWHYKQF8K KYWHYKQF8K

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#exercise-41 (exercise). In E59CDZA4DP, exercise, section 8.4.3

History

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

KYWJVGXM4J KYWJVGXM4J

URI	`m2://inv/KYWJVGXM4J`
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.13745#P290 (statement). In CFJH0Q39FZ/e1, proposition 4.7

History

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

The degree-five construction KYWTWADZN1

URI	`m2://inv/KYWTWADZN1`
Kind	example
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.20285#H044, The degree-five construction (example). In RQA728RB77/e1, example 23

History

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

Applications KYWV4HB6SZ

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

Mentions

wikipedia: Wikipedia Barycentric coordinate system#RUV5, Applications (example)

History

2026-11-02: add by m2/dev

KYX1HS90ZJ KYX1HS90ZJ

URI	`m2://inv/KYX1HS90ZJ`
Kind	definition
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.24363#YRI7 (definition)

History

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

KYX4V1Q69X KYX4V1Q69X

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

Mentions

arxiv: arXiv 2610.13680#E0PJ (unknown). In QNBFHFZ3H0/e1, unknown 51

History

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

KYXCR16VPE KYXCR16VPE

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

Mentions

arxiv: arXiv 2405.09294#B376 (statement). In 2WZQC0TKVK/e1, theorem 4.5

History

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

KYXDV5TRVK KYXDV5TRVK

URI	`m2://inv/KYXDV5TRVK`
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.36068#TN9T (statement). In CKNAB8QY5B/e1, corollary 7

History

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

Definition KYXE2J50N7

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

Mentions

wikipedia: Wikipedia Skew-symmetric graph#URZL, Definition (definition)

History

2026-11-02: add by m2/dev

Resolution of the identity KYXG0CQ3N7

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

Mentions

wikipedia: Wikipedia Borel functional calculus#JTSB, Resolution of the identity (statement)

History

2026-11-02: add by m2/dev

Kreisel-Putnam logic KYXN9SD3RJ

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

Mentions

wikipedia: Wikipedia Glossary of logic#YVCC, Kreisel-Putnam logic (definition)

History

2026-11-02: add by m2/dev

Theorem 3.1 and Corollary 3.2 KYXWVK2GSK

URI	`m2://inv/KYXWVK2GSK`
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.23128#EQCA, Theorem 3.1 and Corollary 3.2 (statement)

History

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

KYXX46JNFX KYXX46JNFX

URI	`m2://inv/KYXX46JNFX`
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 2610.00076#UGIG (statement). In 2VQ90WEZKB/e1, proposition 6.1

History

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

List of formulae involving π KYXYCRGRC1

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

Mentions

wikipedia: Wikipedia List of formulae involving π, List of formulae involving π (topic). Also Wikidata Q5238024

History

2026-11-02: add by m2/dev

Lyapunov exponent KYY06DQ9ZE

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

Mentions

wikipedia: Wikipedia List of exponential topics#B2PI, Lyapunov exponent (definition)

History

2026-11-02: add by m2/dev

Variants KYY61YB6C4

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

Mentions

wikipedia: Wikipedia Heptagram#3MAF, Variants (statement)

History

2026-11-02: add by m2/dev

KYY7EYHPMV KYY7EYHPMV

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

Mentions

arxiv: arXiv 2411.01837#FE1X (statement). In 2XBYZ1QP22/e1, theorem 4.1

History

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

Almost-sure summability and estimator consistency KYYAQKSB84

URI	`m2://inv/KYYAQKSB84`
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.18428#X7IY, Almost-sure summability and estimator consistency (statement). In 6BGSQT7SV8/e1, corollary 2

History

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

KYYEEHC74W KYYEEHC74W

URI	`m2://inv/KYYEEHC74W`
Kind	statement
Layer	research
MSC	05-XX, 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.38243#I3DT (statement). In R03K2N7FRF/e1, theorem 3.1

History

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

KYYG8YPCTJ KYYG8YPCTJ

URI	`m2://inv/KYYG8YPCTJ`
Kind	statement
Layer	research
MSC	16-XX, 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 2609.21860#V8V0 (statement)

History

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

KYYK0CYQ19 KYYK0CYQ19

URI	`m2://inv/KYYK0CYQ19`
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.23803#96JL (statement)

History

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

KYYMP9D2B2 KYYMP9D2B2

URI	`m2://inv/KYYMP9D2B2`
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.32140#NLUN (statement). In 96Z8GEEFH4/e1, proposition 9.1

History

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

The linking form KYZ3TMZTA3

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

Mentions

arxiv: arXiv 2610.18512#L1AK, The linking form (statement). In 11JNM66Z09/e1, proposition 3.1

History

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

Adapted KYZ74P6NQ7

URI	`m2://inv/KYZ74P6NQ7`
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#51VI, Adapted (statement). In WK0PT95WW1/e1, theorem 3.1

History

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

KYZ8J0TP6R KYZ8J0TP6R

URI	`m2://inv/KYZ8J0TP6R`
Kind	example
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#ESZQ (example). In PBB3PSDP0S/e1, example 3

History

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

Albert Pfluger KYZ8VDPPP0

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

Mentions

wikipedia: Wikipedia Albert Pfluger, Albert Pfluger (topic). Also Wikidata Q1256682

History

2026-11-02: add by m2/dev

Octal game KYZD2GWZ3X

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#QN8A, Octal game (unknown)

History

2026-11-02: add by m2/dev

Trigonometric interpolation KYZERVH4MJ

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

Mentions

wikipedia: Wikipedia Trigonometric interpolation, Trigonometric interpolation (definition). Also Wikidata Q464356

History

2026-11-02: add by m2/dev

KYZJQWM5SY KYZJQWM5SY

URI	`m2://inv/KYZJQWM5SY`
Kind	definition
Layer	research
MSC	05-XX, 55-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.31919#WQKI (definition). In RHN12PW9P9/e1, definition 2.1

History

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

Applications KYZQAGSG4P

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

Mentions

wikipedia: Wikipedia Planar separator theorem#67LP, Applications (example)

History

2026-11-02: add by m2/dev

antiprism graph KYZVK9HNDZ

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

Mentions

wikidata: Wikidata Q19595912, antiprism graph (unknown). Also MathWorld AntiprismGraph
wikipedia: Wikipedia Antiprism graph, Antiprism graph (definition). Also Wikidata Q19595912

History

2026-10-26: add by m2/dev