Inventory rows RC

Ibrahim ibn Sinan RC002ZP0WT

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

Mentions

wikipedia: Wikipedia Ibrahim ibn Sinan, Ibrahim ibn Sinan (topic). Also Wikidata Q2975510

History

2026-11-02: add by m2/dev

Beltrami vector field RC014C079N

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

Mentions

wikipedia: Wikipedia Beltrami vector field, Beltrami vector field (definition). Also Wikidata Q4884795

History

2026-11-02: add by m2/dev

DevOps RC0668X9VE

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

Mentions

wikipedia: Wikipedia DevOps, DevOps (definition). Also Wikidata Q3025536

History

2026-11-02: add by m2/dev

RC097QV3S8 RC097QV3S8

URI	`m2://inv/RC097QV3S8`
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.31615#2R2I (statement). In TNV6XTEWEG/e1, lemma 5.4

History

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

RC0D2EFC7C RC0D2EFC7C

URI	`m2://inv/RC0D2EFC7C`
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.21005#JN0B (statement). In E63NRC7MBE/e1, lemma 3.7

History

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

The Yoneda lemma RC0MSW13HR

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

Mentions

hott_book: hott_book categories.tex#ct:yoneda, The Yoneda lemma (statement). In N54F33XE07, thm, section 2.5

History

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

RC0XEKB3HV RC0XEKB3HV

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#def:continuity (definition). In P1C114YBXG, definition, section 1

History

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

Properties RC0YD83CXP

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

Mentions

wikipedia: Wikipedia Matrix grammar#RSZW, Properties (statement)

History

2026-11-02: add by m2/dev

``H'' Lemma RC11NPMYKH

URI	`m2://inv/RC11NPMYKH`
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.05506#GE4V, ``H'' Lemma (statement). In FT53PMB1TE/e1, lemma 3.2.4

History

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

An example RC12RTRFDT

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

Mentions

wikipedia: Wikipedia Discharging method (discrete mathematics)#93LS, An example (example)

History

2026-11-02: add by m2/dev

RC13FVJZMR RC13FVJZMR

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

History

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

Semi-differentiability of the generalised $\L^\infty_\la$ envelope RC16DAJPQD

URI	`m2://inv/RC16DAJPQD`
Kind	statement
Layer	research
MSC	35-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.27918#LTX5, Semi-differentiability of the generalised $\L^\infty_\la$ envelope (statement)

History

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

RC1FBHQFJ8 RC1FBHQFJ8

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

Mentions

arxiv: arXiv 2610.18620#4DL4 (statement). In 6WJ0R9YEBR/e1, lemma 5.1

History

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

RC1RGFSJQ5 RC1RGFSJQ5

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

Mentions

arxiv: arXiv 2610.20932#P5G1 (statement). In FV78KV64B9/e1, proposition 5.1

History

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

Szemerédi's theorem RC1TCVHYKC

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#QHPV, Szemerédi's theorem (statement)

History

2026-11-02: add by m2/dev

RC1W8WWTVF RC1W8WWTVF

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/multiplication.tex#ordtimeslessiswo (statement). In PKGMM3P5QY, lem, section 71.11

History

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

Hungarian graphs RC1WY26WHV

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

Mentions

arxiv: arXiv 2610.01919#6GZM, Hungarian graphs (example). In 4H727T2YAS/e1, example 6.3

History

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

Riemannian submanifold RC1Y3F398F

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

Mentions

wikipedia: Wikipedia Riemannian submanifold, Riemannian submanifold (definition). Also Wikidata Q6154788

History

2026-11-02: add by m2/dev

Mediation RC23Q6YTZH

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

Mentions

wikipedia: Wikipedia Mediation (statistics), Mediation (definition). Also Wikidata Q15699608

History

2026-11-02: add by m2/dev

RC25R793HA RC25R793HA

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

Mentions

hott_book: hott_book categories.tex#ct:cat-2cat (statement). In N54F33XE07, thm, section 2.4

History

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

RC26GRR609 RC26GRR609

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

Mentions

arxiv: arXiv 2610.03517#V3WQ (statement). In 3CGS9GSKTQ/e1, lemma 3.6

History

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

Novikov conjecture RC2JNR11CF

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

Mentions

wikidata: Wikidata Q7064908, Novikov conjecture (conjecture). Also nLab Novikov conjecture
wikipedia: Wikipedia Novikov conjecture, Novikov conjecture (conjecture). Also Wikidata Q7064908

History

2026-10-26: add by m2/dev

RC2K7KTW5G RC2K7KTW5G

URI	`m2://inv/RC2K7KTW5G`
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#MQ7R (statement). In 5E9G06XJKC/e1, lemma G.29

History

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

RC2X7CV7M1 RC2X7CV7M1

URI	`m2://inv/RC2X7CV7M1`
Kind	statement
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#N7DE (statement)

History

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

Thomas Bassett Macaulay RC333DH36N

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

Mentions

wikipedia: Wikipedia List of actuaries#FR7V, Thomas Bassett Macaulay (unknown)

History

2026-11-02: add by m2/dev

Ideal characteristics RC34D545K6

URI	`m2://inv/RC34D545K6`
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 2609.32078#YII9, Ideal characteristics (statement). In 5PN85N6EJF/e1, theorem 5.2

History

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

Hexagonal tiling honeycomb RC36FFQDEJ

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#IRB0, Hexagonal tiling honeycomb (definition)

History

2026-11-02: add by m2/dev

RC3PQYT6B9 RC3PQYT6B9

URI	`m2://inv/RC3PQYT6B9`
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 2011.11439#A88J (statement). In 9Z8RSQ36JC/e1, theorem 2.1

History

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

More than two colors RC3PZRPF3E

URI	`m2://inv/RC3PZRPF3E`
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.40288#0SBK, More than two colors (statement). In 2VZJRGSAEP/e1, corollary 5.1

History

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

Thabit ibn Qurra's theorem RC3YNF0A7D

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

Mentions

wikipedia: Wikipedia List of theorems#P00C, Thabit ibn Qurra's theorem (definition)

History

2026-11-02: add by m2/dev

Neptunism RC43M8S935

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#PSAV, Neptunism (unknown)

History

2026-11-02: add by m2/dev

Kadison transitivity theorem RC44B8BZWB

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

Mentions

wikipedia: Wikipedia Kadison transitivity theorem, Kadison transitivity theorem (statement). Also Wikidata Q1618150

History

2026-11-02: add by m2/dev

RC4JFFM8EF RC4JFFM8EF

URI	`m2://inv/RC4JFFM8EF`
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.02506#MQU2 (statement). In 3JKRBZWJ33/e1, theorem 3.2

History

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

Circular error probable RC4P7PQS97

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

Mentions

wikipedia: Wikipedia List of statistics articles#AL9K, Circular error probable (definition)

History

2026-11-02: add by m2/dev

Sarah Koch RC4RMXJNKW

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

Mentions

wikipedia: Wikipedia Sarah Koch, Sarah Koch (topic). Also Wikidata Q102341200

History

2026-11-02: add by m2/dev

Gromov's theorem on groups of polynomial growth RC4VJVQFQK

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

Mentions

mathlib_1000: mathlib_1000 Q3527091, Gromov's theorem on groups of polynomial growth (statement). Also Wikidata Q3527091
thousand_plus: thousand_plus Q3527091, Gromov's theorem on groups of polynomial growth (statement). Also Wikidata Q3527091, Wikipedia Gromov's theorem on groups of polynomial growth, Wikipedia Bass's theorem
wikipedia: Wikipedia Gromov's theorem on groups of polynomial growth, Gromov's theorem on groups of polynomial growth (statement). Also Wikidata Q3527091

History

2026-10-26: add by m2/dev

Schröder's equation RC507FERBJ

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

Mentions

wikipedia: Wikipedia Schröder's equation, Schröder's equation (definition). Also Wikidata Q7432911

History

2026-11-02: add by m2/dev

Antonito RC536M6F3N

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#3626, Antonito (unknown)

History

2026-11-02: add by m2/dev

RC563TFHVD RC563TFHVD

URI	`m2://inv/RC563TFHVD`
Kind	statement
Layer	research
MSC	05-XX, 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.22180#QYTX (statement). In VXQXVZ7SE7/e1, theorem 5.1

History

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

Snub hexagonal tiling RC595Z2DXV

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#C5MO, Snub hexagonal tiling (object)

History

2026-11-02: add by m2/dev

Characterizations RC59AS4Y8D

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

Mentions

wikipedia: Wikipedia Lattice disjoint#R8UJ, Characterizations (statement)

History

2026-11-02: add by m2/dev

RC5AN5GE56 RC5AN5GE56

URI	`m2://inv/RC5AN5GE56`
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 2605.30285#JLR5 (statement). In YMY0NNSM27/e1, lemma 3.4

History

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

Fraction, Grade 1, in substance RC5CYPDTXB

URI	`m2://inv/RC5CYPDTXB`
Kind	definition
Layer	research
MSC	01-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.14735#OM5D, Fraction, Grade 1, in substance (definition). In XB5GPTZ6JF/e1, definition 1

History

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

Image RC5EFEV8SD

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

Mentions

wikipedia: Wikipedia Image, Image (definition). Also Wikidata Q478798

History

2026-11-02: add by m2/dev

Algorithms RC5EM2VB9C

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

Mentions

wikipedia: Wikipedia Polynomial decomposition#3ZG9, Algorithms (definition)

History

2026-11-02: add by m2/dev

Local preserver RC5G47K03D

URI	`m2://inv/RC5G47K03D`
Kind	statement
Layer	research
MSC	05-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.25037#IAYD, Local preserver (statement)

History

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

curve RC5WG1FQ7R

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#TH7C, curve (definition)

History

2026-11-02: add by m2/dev

Twisted polynomial ring RC5Y88MZV4

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

Mentions

wikipedia: Wikipedia Twisted polynomial ring, Twisted polynomial ring (definition). Also Wikidata Q17104369

History

2026-11-02: add by m2/dev

Burton Howard Camp RC5Z724G1G

URI	`m2://inv/RC5Z724G1G`
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#SEYR, Burton Howard Camp (topic)

History

2026-11-02: add by m2/dev

RC64X72AVC RC64X72AVC

URI	`m2://inv/RC64X72AVC`
Kind	statement
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#9RDX (statement). In 332PQD90SW/e1, theorem 3.9

History

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

Václav Hlavatý RC6C3T8GFD

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

Mentions

wikipedia: Wikipedia Václav Hlavatý, Václav Hlavatý (topic). Also Wikidata Q219475

History

2026-11-02: add by m2/dev

RC6D9M9V95 RC6D9M9V95

URI	`m2://inv/RC6D9M9V95`
Kind	conjecture
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 2311.03011#0QSD (conjecture). In 776A3XQTTM/e1, conjecture Conjecture

History

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

RC6QPH1YPN RC6QPH1YPN

URI	`m2://inv/RC6QPH1YPN`
Kind	problem
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.26701#RQRB (problem)

History

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

RC6SYTSSV4 RC6SYTSSV4

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

Mentions

arxiv: arXiv 2610.05602#46QL (statement). In W88890HB4Z/e1, proposition 5.3

History

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

RC6VBB90YC RC6VBB90YC

URI	`m2://inv/RC6VBB90YC`
Kind	statement
Layer	research
MSC	03-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 2609.28780#09D6 (statement)

History

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

RC6Y60Y3WM RC6Y60Y3WM

URI	`m2://inv/RC6Y60Y3WM`
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.20458#6MIU (statement)

History

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

Asystole RC7B1QNSCN

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#WD8A, Asystole (unknown)

History

2026-11-02: add by m2/dev

RC7BX0RYE4 RC7BX0RYE4

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

Mentions

arxiv: arXiv 2312.05005#UTUC (statement). In SMJMAQ2S3J/e1, proposition 15

History

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

RC7WEFHF3P RC7WEFHF3P

URI	`m2://inv/RC7WEFHF3P`
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.23332#LOHS (statement)

History

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

Kibble–Slepian formula RC7ZY37CGV

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

Mentions

wikipedia: Wikipedia Hermite polynomials#NUY3, Kibble–Slepian formula (statement)

History

2026-11-02: add by m2/dev

Examples RC8A576E8E

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

Mentions

wikipedia: Wikipedia Lipschitz continuity#VS7E, Examples (example)

History

2026-11-02: add by m2/dev

O--Wu RC8VB2AVTW

URI	`m2://inv/RC8VB2AVTW`
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.37208#A6JV, O--Wu (statement). In 7MCBCP4T0B/e1, lemma 4.1

History

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

RC8WXGN9Q9 RC8WXGN9Q9

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

Mentions

open_logic: open_logic content/proof-theory/proof-search/completeness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 59.5

History

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

RC8Z1V6QVX RC8Z1V6QVX

URI	`m2://inv/RC8Z1V6QVX`
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 2609.24795#KIGR (statement)

History

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

Examples RC96KEQ9E2

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

Mentions

wikipedia: Wikipedia Set-builder notation#KR8U, Examples (example)

History

2026-11-02: add by m2/dev

RC9FVGBY6V RC9FVGBY6V

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

Mentions

arxiv: arXiv 2610.10469#MO78 (definition). In Q39BEKW6D9/e1, definition 5.1

History

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

Formal definition RC9H10D64P

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

Mentions

wikipedia: Wikipedia Laplace transform#DZJX, Formal definition (definition)

History

2026-11-02: add by m2/dev

stack automata RC9J5789XT

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#JSNH, stack automata (definition)

History

2026-11-02: add by m2/dev

Fransén–Robinson constant RC9JHCG00F

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

Mentions

wikidata: Wikidata Q1445544, Fransén–Robinson constant (object). Also MathWorld Fransen-RobinsonConstant, OEIS A058655
wikipedia: Wikipedia Fransén–Robinson constant, Fransén–Robinson constant (object). Also Wikidata Q1445544

History

2026-10-26: add by m2/dev

RC9NKW7SHF RC9NKW7SHF

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

Mentions

arxiv: arXiv 2609.39700#79SI (statement). In E7W2HDNEKJ/e1, theorem 5.11

History

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

RC9PY2HMWC RC9PY2HMWC

URI	`m2://inv/RC9PY2HMWC`
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.34856#Y1MY (statement). In MRR92GQNZE/e1, theorem C

History

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

James Cannon RC9VGEPBZG

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

Mentions

wikipedia: Wikipedia James Cannon (mathematician), James Cannon (topic). Also Wikidata Q6130987

History

2026-11-02: add by m2/dev

Brown's representability theorem RC9ZFXTKRY

URI	`m2://inv/RC9ZFXTKRY`
Kind	statement
Layer	textbook
MSC	14-XX
Sources	4
Outcome	open
Node	Brown representability theorem GC9FN7TTBV

Mentions

mathlib_1000: mathlib_1000 Q4975963, Brown's representability theorem (statement). Also Wikidata Q4975963
thousand_plus: thousand_plus Q4975963, Brown's representability theorem (statement). Also Wikidata Q4975963, Wikipedia Brown's representability theorem
wikidata: Wikidata Q4975963, Brown's representability theorem (statement). Also nLab Brown representability theorem
wikipedia: Wikipedia Brown's representability theorem, Brown's representability theorem (statement). Also Wikidata Q4975963

History

2026-10-26: add by m2/dev

RCA18CXH7R RCA18CXH7R

URI	`m2://inv/RCA18CXH7R`
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 2501.17009#I8B7 (statement). In PESAKD6SSW/e1, proposition 3.2

History

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

Lattices and the circle order RCA29WFTK0

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

Mentions

arxiv: arXiv 2609.30637#T0JA, Lattices and the circle order (definition). In 6G1KBA0SXV/e1, definition 3.20

History

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

Generalizations RCA6PS41FW

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

Mentions

wikipedia: Wikipedia Binomial process#7VAQ, Generalizations (statement)

History

2026-11-02: add by m2/dev

RCA95PC8Z7 RCA95PC8Z7

URI	`m2://inv/RCA95PC8Z7`
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.04330#K4IM (statement). In 17H0HEM54D/e1, lemma 3.1

History

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

Lisl Gaal RCAETGT1XB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1HVN, Lisl Gaal (topic)

History

2026-11-02: add by m2/dev

Isotomic conjugate RCAFT8STWX

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

Mentions

wikipedia: Wikipedia List of triangle topics#H2I6, Isotomic conjugate (definition)

History

2026-11-02: add by m2/dev

Backward uniqueness RCAKF94FE2

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

Mentions

arxiv: arXiv 2610.02106#R7RG, Backward uniqueness (statement). In NGKK8ZB29J/e1, lemma 4.2

History

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

RCAPP9BP2K RCAPP9BP2K

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

Mentions

hott_book: hott_book preliminaries.tex#ex:neg-ldn (exercise). In N54F33XE07, ex, section A.12.3

History

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

Doane's formula RCAQGNYEQ8

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

Mentions

wikipedia: Wikipedia Histogram#PDPO, Doane's formula (statement)

History

2026-11-02: add by m2/dev

Juan J. L. Velázquez RCARTDBC1H

URI	`m2://inv/RCARTDBC1H`
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#C20U, Juan J. L. Velázquez (unknown)

History

2026-11-02: add by m2/dev

universal, property, of pushout RCAVZXV1QH

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

Mentions

hott_book: hott_book index/5.8/universal-property-of-pushout, universal, property, of pushout (concept). In N54F33XE07, index, section 5.8

History

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

Lemma 2.2, Lemma 2.3 RCAXT5RJES

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

Mentions

arxiv: arXiv 2610.13385#0XTH, Lemma 2.2, Lemma 2.3 (statement). In J99CBQ3QYD/e1, theorem 2.1

History

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

RCB55SP1GP RCB55SP1GP

URI	`m2://inv/RCB55SP1GP`
Kind	statement
Layer	research
MSC	05-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.40200#8WWF (statement). In VWNB6QJWFN/e1, lemma 2.3

History

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

monomorphism RCBBGC5TYM

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

Mentions

wikipedia: Wikipedia Glossary of category theory#9150, monomorphism (definition)

History

2026-11-02: add by m2/dev

Karl Sigmund RCBD6CS62B

URI	`m2://inv/RCBD6CS62B`
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#LYJ2, Karl Sigmund (topic)

History

2026-11-02: add by m2/dev

RCBEWB2RTA RCBEWB2RTA

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

Mentions

arxiv: arXiv 2610.19023#47O4 (statement). In QFA8TMJPHZ/e1, lemma 4.1

History

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

test statistic RCBHZAVE62

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#PEG8, test statistic (definition)

History

2026-11-02: add by m2/dev

P-adic Hodge theory RCBS5TRC3D

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

Mentions

wikipedia: Wikipedia List of things named after W. V. D. Hodge#MQR3, P-adic Hodge theory (definition)

History

2026-11-02: add by m2/dev

Tarski–Grothendieck set theory RCBZXG0E2H

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

Mentions

wikipedia: Wikipedia List of alternative set theories#7XGR, Tarski–Grothendieck set theory (definition)
wikipedia: Wikipedia List of things named after Alfred Tarski#0G8V, Tarski–Grothendieck set theory (definition)

History

2026-11-02: add by m2/dev

RCC2VB5Q9M RCC2VB5Q9M

URI	`m2://inv/RCC2VB5Q9M`
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.23446#3VOV (statement)

History

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

Kawasaki's theorem RCC55DQ1C7

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

Mentions

wikipedia: Wikipedia List of theorems#ZLPF, Kawasaki's theorem (statement)

History

2026-11-02: add by m2/dev

RCC6CQFF6X RCC6CQFF6X

URI	`m2://inv/RCC6CQFF6X`
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.28898#B5MI (statement)

History

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

Joan R. Rosenblatt RCC9G785SJ

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

Mentions

wikipedia: Wikipedia Joan R. Rosenblatt, Joan R. Rosenblatt (topic). Also Wikidata Q43704804

History

2026-11-02: add by m2/dev

Preserving the cubic does not preserve two singularities RCCBM9GNWZ

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

Mentions

arxiv: arXiv 2609.26152#CV36, Preserving the cubic does not preserve two singularities (example)

History

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

Properties RCCKPP98KM

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

Mentions

wikipedia: Wikipedia List edge-coloring#D3SJ, Properties (statement)

History

2026-11-02: add by m2/dev

RCD6HMYM7D RCD6HMYM7D

URI	`m2://inv/RCD6HMYM7D`
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.09019#S0M5 (statement). In 8V6YECFCC1/e1, theorem 4.11

History

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

RCD6QDBNGV RCD6QDBNGV

URI	`m2://inv/RCD6QDBNGV`
Kind	statement
Layer	research
MSC	11-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.28141#3505 (statement)

History

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

Applications RCD866PGZK

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

Mentions

wikipedia: Wikipedia Hyperbolization procedures#RB6F, Applications (example)

History

2026-11-02: add by m2/dev

Continuous function RCDC1H50F2

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

Mentions

wikipedia: Wikipedia Continuous function (ordinal theory), Continuous function (definition). Also Wikidata Q5165476

History

2026-11-02: add by m2/dev

Fourier vanishing RCDC3PV422

URI	`m2://inv/RCDC3PV422`
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 2509.05577#K6TC, Fourier vanishing (definition). In EFWBREMZAP/e1, definition 2.4

History

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

loop RCDEBR65HS

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

Mentions

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

History

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

Paul R. Garabedian RCDJVT924A

URI	`m2://inv/RCDJVT924A`
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#5Y4Q, Paul R. Garabedian (topic)

History

2026-11-02: add by m2/dev

RCDNWBYK8G RCDNWBYK8G

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

Mentions

arxiv: arXiv 2501.00810#L5TS (example). In H0MY884WNF/e1, example Example

History

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

Special cases RCDSJ7YRRY

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

Mentions

wikipedia: Wikipedia Cokernel#EBMT, Special cases (statement)

History

2026-11-02: add by m2/dev

RCDVKDQD8E RCDVKDQD8E

URI	`m2://inv/RCDVKDQD8E`
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 2610.12131#FRIH (statement). In NYT07WF46A/e1, proposition 2.1

History

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

RCDWZM63J6 RCDWZM63J6

URI	`m2://inv/RCDWZM63J6`
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 2602.13510#TPKF (statement). In Y75MQW7CFV/e1, lemma B.1

History

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

The sine energy RCE4C0K5F1

URI	`m2://inv/RCE4C0K5F1`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#H8SD, The sine energy (statement). In JY6RYSNXMJ/e1, proposition 10

History

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

Murat Günaydın RCEF4VCX6M

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

Mentions

wikidata: Wikidata Q67152131, Murat Günaydın (unknown). Also nLab Murat Günaydin

History

2026-10-26: add by m2/dev

Fréchet–Urysohn space RCEP2WXSD3

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

Mentions

wikipedia: Wikipedia Fréchet–Urysohn space, Fréchet–Urysohn space (definition). Also Wikidata Q96378800

History

2026-11-02: add by m2/dev

Slovak Mathematical Society RCESD4PVH5

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

Mentions

wikipedia: Wikipedia Union of Slovak Mathematicians and Physicists#K04J, Slovak Mathematical Society (unknown)

History

2026-11-02: add by m2/dev

Properties RCEYG2CGQF

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

Mentions

wikipedia: Wikipedia Richardson extrapolation#AQKP, Properties (statement)

History

2026-11-02: add by m2/dev

Implementability (mechanism design) RCEYW4N8C1

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

Mentions

wikipedia: Wikipedia Implementation theory#068H, Implementability (mechanism design) (unknown)

History

2026-11-02: add by m2/dev

RCFHMNE11Q RCFHMNE11Q

URI	`m2://inv/RCFHMNE11Q`
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 2204.13401#FE4U (definition). In B8MJT0GGW8/e1, definition 4.35

History

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

RCG585XX9Y RCG585XX9Y

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

Mentions

arxiv: arXiv 2405.14678#V92Q (example). In 9ZSNSJRJ5N/e1, example 42

History

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

RCG72ED922 RCG72ED922

URI	`m2://inv/RCG72ED922`
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 2610.07631#KF1Q (statement). In 6JVJ5GCQ1E/e1, lemma 2.1

History

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

RCG7JSYAXV RCG7JSYAXV

URI	`m2://inv/RCG7JSYAXV`
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 2601.22681#RW2E (statement). In 68VEQQX68G/e1, lemma 2.11

History

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

Mean squared error RCG8CYARMF

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

Mentions

wikipedia: Wikipedia List of statistics articles#PPVC, Mean squared error (definition)

History

2026-11-02: add by m2/dev

Density for a multifactor valuation process RCGEF84R38

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

Mentions

arxiv: arXiv 2610.02106#CD3F, Density for a multifactor valuation process (statement). In NGKK8ZB29J/e1, proposition 6.1

History

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

differentiability of integrals with respect to parameters RCGJX9K05V

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

Mentions

mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > differentiability of integrals with respect to parameters, differentiability of integrals with respect to parameters (unknown). Also Mathlib IntervalIntegrable.ae_hasDerivAt_integral

History

2026-10-26: add by m2/dev

Exceptional assignments RCGMFX2N0T

URI	`m2://inv/RCGMFX2N0T`
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.00137#JGFD, Exceptional assignments (statement). In NKW6YQ04QW/e1, lemma 7.4

History

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

Nine Mile, Indiana RCGYJAX866

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

Mentions

wikipedia: Wikipedia List of places with numeric names#LZPS, Nine Mile, Indiana (unknown)

History

2026-11-02: add by m2/dev

RCH1EJF2KA RCH1EJF2KA

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

Mentions

arxiv: arXiv 2610.16059#6OYF (statement). In 51W7AECQDA/e1, lemma 4.1

History

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

RCH41ZTM58 RCH41ZTM58

URI	`m2://inv/RCH41ZTM58`
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#4FS8 (statement). In TTRSZVT4VX/e1, proposition 4.16

History

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

RCHDV6M4QT RCHDV6M4QT

URI	`m2://inv/RCHDV6M4QT`
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.08288#9ZC6 (statement). In CHVWYJM7RM/e1, lemma C.1

History

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

Stopped Zakai equation RCHFAD90QF

URI	`m2://inv/RCHFAD90QF`
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.28985#FJZA, Stopped Zakai equation (statement)

History

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

Giovanni Giambelli RCHFK7H3SA

URI	`m2://inv/RCHFK7H3SA`
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#GN9K, Giovanni Giambelli (topic)

History

2026-11-02: add by m2/dev

RCHGNXPS02 RCHGNXPS02

URI	`m2://inv/RCHGNXPS02`
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.19260#YFLL (statement). In PWXT7J9JX3/e1, theorem 2.15

History

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

Ja. M. Barzdin RCHM256CK4

URI	`m2://inv/RCHM256CK4`
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#QWNF, Ja. M. Barzdin (unknown)

History

2026-11-02: add by m2/dev

RCHR49ATWG RCHR49ATWG

URI	`m2://inv/RCHR49ATWG`
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.10873#XAST (statement). In AYG8HYGW6V/e1, lemma E.4

History

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

RCHZEQCS6H RCHZEQCS6H

URI	`m2://inv/RCHZEQCS6H`
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.25823#NM4U (statement)

History

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

RCHZXE1VYY RCHZXE1VYY

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

Mentions

arxiv: arXiv 2610.19658#1M9Q (statement). In G00EYA9DXG/e1, lemma 2.1

History

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

RCJ3BR6SNX RCJ3BR6SNX

URI	`m2://inv/RCJ3BR6SNX`
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.26600#C66O (statement)

History

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

RCJ5VBPSBV RCJ5VBPSBV

URI	`m2://inv/RCJ5VBPSBV`
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 2404.06445#UEMO (statement). In 12JKZ8EN52/e1, theorem 8.3

History

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

Dudley R. Herschbach RCJ9R0QKCA

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#OK96, Dudley R. Herschbach (unknown)

History

2026-11-02: add by m2/dev

RCJVM9Z7M2 RCJVM9Z7M2

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

Mentions

open_logic: open_logic content/proof-theory/sequent-calculus/invertibility.tex#lem:G3c-invert (statement). In PKGMM3P5QY, lem, section 61.9

History

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

RCK1KNX85J RCK1KNX85J

URI	`m2://inv/RCK1KNX85J`
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 2609.36884#2B3Y (statement). In Z7E16PFFCP/e1, theorem A

History

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

Harmonic divisor number RCK85QQV09

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#VAGG, Harmonic divisor number (definition)

History

2026-11-02: add by m2/dev

Western Electric rules RCK8BN0P75

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

Mentions

wikipedia: Wikipedia Western Electric rules, Western Electric rules (definition). Also Wikidata Q7987806

History

2026-11-02: add by m2/dev

RCK9SXDVAT RCK9SXDVAT

URI	`m2://inv/RCK9SXDVAT`
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 2601.22681#ZG9A (statement). In 68VEQQX68G/e1, lemma 1.12

History

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

Algorithms RCKC628JRF

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

Mentions

wikipedia: Wikipedia Subgraph isomorphism problem#0KMQ, Algorithms (definition)

History

2026-11-02: add by m2/dev

Artin's conjecture RCKJW6B4DQ

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

Mentions

wikipedia: Wikipedia List of things named after Emil Artin#OQ5J, Artin's conjecture (unknown)

History

2026-11-02: add by m2/dev

Dirichlet series RCKPS3B2JK

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

Mentions

wikipedia: Wikipedia List of number theory topics#JHVF, Dirichlet series (definition)

History

2026-11-02: add by m2/dev

Omnitruncated cubic honeycomb RCKQ3TJG72

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#MHCX, Omnitruncated cubic honeycomb (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QM7Q, Omnitruncated cubic honeycomb (object)

History

2026-11-02: add by m2/dev

Theorem RCKY1Z3VPF

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

Mentions

wikipedia: Wikipedia Hiptmair–Xu preconditioner#V06P, Theorem (statement)

History

2026-11-02: add by m2/dev

path-connected space RCM0BR74EY

URI	`m2://inv/RCM0BR74EY`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Path-connected space 0K0GE6BCYW

Mentions

wikidata: Wikidata Q3487687, path-connected space (unknown). Also MathWorld Pathwise-Connected

History

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

RCM8DJ9G6R RCM8DJ9G6R

URI	`m2://inv/RCM8DJ9G6R`
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.14450#E11S (statement). In ZHTGQT07PE/e1, lemma 2.11

History

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

Definition RCMB1A0QAR

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

Mentions

wikipedia: Wikipedia W-algebra#JWXY, Definition (definition)

History

2026-11-02: add by m2/dev

Variants RCMD5JW3KE

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

Mentions

wikipedia: Wikipedia Lexicographic dominance#FOR9, Variants (statement)

History

2026-11-02: add by m2/dev

Fundamental theorem of calculus RCNBNKXV2N

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

Mentions

wikipedia: Wikipedia Integral#QFVA, Fundamental theorem of calculus (statement)

History

2026-11-02: add by m2/dev

Single-writer inference RCNF7KB9DF

URI	`m2://inv/RCNF7KB9DF`
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.15824#1AQ8, Single-writer inference (statement). In GDZXR87FJV/e1, statement 4

History

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

P-adic L-function RCNHXRHJ9D

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

Mentions

wikipedia: Wikipedia P-adic L-function, P-adic L-function (definition). Also Wikidata Q7116913

History

2026-11-02: add by m2/dev

RCNPFXSCK1 RCNPFXSCK1

URI	`m2://inv/RCNPFXSCK1`
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.22855#TL37 (statement)

History

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

RCNPRNC52V RCNPRNC52V

URI	`m2://inv/RCNPRNC52V`
Kind	example
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.08753#CKG1 (example). In J9P361Z1CX/e1, example 2.6

History

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

Properties RCNSCXPJWJ

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

Mentions

wikipedia: Wikipedia Complex reflection group#S4BT, Properties (statement)

History

2026-11-02: add by m2/dev

Turán's Theorem RCNSGYB3VG

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

Mentions

wikipedia: Wikipedia Homomorphism density#5QSY, Turán's Theorem (statement)

History

2026-11-02: add by m2/dev

RCP1RZ41E0 RCP1RZ41E0

URI	`m2://inv/RCP1RZ41E0`
Kind	problem
Layer	research
MSC	20-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.16834#QSK9 (problem). In Q0DTV6PJJW/e1, problem 6.9

History

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

Adriaan van Wijngaarden RCP5Y4VADN

URI	`m2://inv/RCP5Y4VADN`
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 Q93015, Adriaan van Wijngaarden (unknown). Also ProofWiki Mathematician:Adriaan_van_Wijngaarden
wikipedia: Wikipedia Adriaan van Wijngaarden, Adriaan van Wijngaarden (topic). Also Wikidata Q93015

History

2026-10-26: add by m2/dev

elementary number theory RCPA6VZV19

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

Mentions

wikidata: Wikidata Q18450254, elementary number theory (topic). Also MathWorld ElementaryNumberTheory

History

2026-10-26: add by m2/dev

The tree intertwining map RCPCGB59DH

URI	`m2://inv/RCPCGB59DH`
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 2312.05005#PGKE, The tree intertwining map (definition). In SMJMAQ2S3J/e1, definition 14

History

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

RCPE240NZC RCPE240NZC

URI	`m2://inv/RCPE240NZC`
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.27689#IFC0 (statement)

History

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

RCPHDXHY0D RCPHDXHY0D

URI	`m2://inv/RCPHDXHY0D`
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#4XL0 (statement)

History

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

Definition RCPNNRSYYG

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

Mentions

wikipedia: Wikipedia Pseudoholomorphic curve#RZW1, Definition (definition)

History

2026-11-02: add by m2/dev

Hilbert's Nullstellensatz RCPNNTJPY4

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

Mentions

napkin: napkin tex/alg-geom/affine-var.tex#thm:hilbert_null, Hilbert's Nullstellensatz (statement). In RZP28ERRZV, theorem, section 19.3

History

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

quantum effect RCPQ69MJTT

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

Mentions

wikidata: Wikidata Q1872885, quantum effect (definition). Also ProofWiki Definition:Quantum_Phenomenon

History

2026-10-26: add by m2/dev

RCQ1F0WRE8 RCQ1F0WRE8

URI	`m2://inv/RCQ1F0WRE8`
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.31910#UYWJ (statement). In E4EK1XXPY4/e1, proposition 4.10

History

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

Theorem RCQ361V3FC

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

Mentions

wikipedia: Wikipedia Reflexive space#9W0R, Theorem (statement)

History

2026-11-02: add by m2/dev

Erdős conjecture RCQ5GP5W1G

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

Mentions

wikipedia: Wikipedia List of things named after Paul Erdős#2TRE, Erdős conjecture (topic)

History

2026-11-02: add by m2/dev

RCQ72TERC3 RCQ72TERC3

URI	`m2://inv/RCQ72TERC3`
Kind	statement
Layer	research
MSC	05-XX, 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.15344#DMP4 (statement). In B9EX6K51RD/e1, proposition 3.2

History

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

Tonelli for sums RCQATTWE3E

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

Mentions

lebl_ra: lebl_ra index/10.6.6/tonelli-for-sums, Tonelli for sums (concept). In E59CDZA4DP, index, section 10.6.6

History

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

Cognitive load RCQK1X1V5V

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

Mentions

wikipedia: Wikipedia Cognitive load, Cognitive load (definition). Also Wikidata Q1107019

History

2026-11-02: add by m2/dev

Compact group RCQKZVEAD7

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

Mentions

wikipedia: Wikipedia List of group theory topics#4SCB, Compact group (definition)
wikipedia: Wikipedia List of Fourier analysis topics#L7DG, Compact group (definition)

History

2026-11-02: add by m2/dev

Definition RCQSY58YH8

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

Mentions

wikipedia: Wikipedia Zero-sum game#NY40, Definition (definition)

History

2026-11-02: add by m2/dev

RCQTT6P38Z RCQTT6P38Z

URI	`m2://inv/RCQTT6P38Z`
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#R6YB (statement). In D1V0MQZTFQ/e1, corollary 3.7

History

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

Statement of the principle RCQWHKMPG2

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

Mentions

wikipedia: Wikipedia D'Alembert's principle#U7Q7, Statement of the principle (statement)

History

2026-11-02: add by m2/dev

RCQZH3R2C4 RCQZH3R2C4

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-1.xml#exercise-11 (exercise). In 649HGZKE96, exercise, section 3.1

History

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

RCR0E2J08Z RCR0E2J08Z

URI	`m2://inv/RCR0E2J08Z`
Kind	problem
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.01596#XSAE (problem). In 40VTEP7WH8/e1, problem 7.1

History

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

RCR91X8W0Y RCR91X8W0Y

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#exercise-9 (exercise). In RZP28ERRZV, exercise, section 9.9.3

History

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

Scope RCRFEXJXTK

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/free-variables.tex#defn-1, Scope (definition). In PKGMM3P5QY, defn, section 38.14

History

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

Fixed orbits for the cubic field extension RCRGR2VX1S

URI	`m2://inv/RCRGR2VX1S`
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.15340#KSHO, Fixed orbits for the cubic field extension (statement). In 9NVKKW8HDH/e1, lemma 2.73

History

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

Multidisciplinary design optimization RCRKDPX729

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#H1Z8, Multidisciplinary design optimization (unknown)

History

2026-11-02: add by m2/dev

baud RCRQHT9VVT

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

Mentions

wikidata: Wikidata Q192027, baud (unknown). Also MathWorld Baud

History

2026-10-26: add by m2/dev

RCRRSR1CHY RCRRSR1CHY

URI	`m2://inv/RCRRSR1CHY`
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 2104.04145#TPQB (statement). In 7TNHVC586V/e1, lemma 2

History

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

Spanier–Whitehead duality RCS0QWVYK9

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

Mentions

wikipedia: Wikipedia List of dualities#AL1J, Spanier–Whitehead duality (definition)

History

2026-11-02: add by m2/dev

Order of $2$ modulo prime squares RCS7CPXSDD

URI	`m2://inv/RCS7CPXSDD`
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.07214#EGGT, Order of $2$ modulo prime squares (statement). In 669PBFJX0Z/e1, lemma 4

History

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

RCS8M1ERH7 RCS8M1ERH7

URI	`m2://inv/RCS8M1ERH7`
Kind	problem
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 2304.02722#A4VY (problem). In AH7D55D3WV/e1, problem 1.3

History

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

Identifiability RCS9815K7B

URI	`m2://inv/RCS9815K7B`
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.37944#ZVDW, Identifiability (statement). In KP94WJVJXY/e1, theorem

History

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

Direct sum of topological groups RCSAXVRFM7

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

Mentions

wikipedia: Wikipedia Direct sum of topological groups, Direct sum of topological groups (definition). Also Wikidata Q18206489

History

2026-11-02: add by m2/dev

RCSCM7FG8P RCSCM7FG8P

URI	`m2://inv/RCSCM7FG8P`
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 2205.06433#YRGY (example). In 628PJKD3EV/e1, example 1.6

History

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

Explanatory power RCSDH39YM4

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

Mentions

wikipedia: Wikipedia Explanatory power, Explanatory power (definition). Also Wikidata Q2557224

History

2026-11-02: add by m2/dev

Limaçon RCSHWFRPXN

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#SBR5, Limaçon (definition)
wikipedia: Wikipedia List of curves#63CA, Limaçon (definition)

History

2026-11-02: add by m2/dev

Jan Willem Nienhuys RCSP7BVJWZ

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

Mentions

wikipedia: Wikipedia Jan Willem Nienhuys, Jan Willem Nienhuys (topic). Also Wikidata Q3000032

History

2026-11-02: add by m2/dev

density RCSQY41ZFS

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#F0ZV, density (definition)

History

2026-11-02: add by m2/dev

Zsigmondy's theorem RCSSXDE1YN

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

Mentions

mathlib_1000: mathlib_1000 Q8074796, Zsigmondy's theorem (statement). Also Wikidata Q8074796
thousand_plus: thousand_plus Q8074796, Zsigmondy's theorem (statement). Also Wikidata Q8074796, Wikipedia Zsigmondy's theorem
wikidata: Wikidata Q8074796, Zsigmondy's theorem (statement). Also MathWorld ZsigmondyTheorem
wikipedia: Wikipedia Zsigmondy's theorem, Zsigmondy's theorem (statement). Also Wikidata Q8074796

History

2026-10-26: add by m2/dev

Bernard Carr RCT2M27MF1

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#UN0G, Bernard Carr (unknown)

History

2026-11-02: add by m2/dev

neighborhood (of a vertex) RCT9CVY0R4

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

Mentions

applied_combinatorics: applied_combinatorics index/5.1/neighborhood-of-a-vertex, neighborhood (of a vertex) (concept). In QKM9DD2H56, index, section 5.1

History

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

Zeros, the critical line, and the Riemann hypothesis RCTH92DP5F

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

Mentions

wikipedia: Wikipedia Riemann zeta function#KMYF, Zeros, the critical line, and the Riemann hypothesis (statement)

History

2026-11-02: add by m2/dev

RCTMR1D4BM RCTMR1D4BM

URI	`m2://inv/RCTMR1D4BM`
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.19694#T09V (statement). In EP0M4RSZ9P/e1, lemma 4.6

History

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

Fourier shift theorem RCTN7DNDG5

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

Mentions

wikipedia: Wikipedia Fourier transform#DSF5, Fourier shift theorem (unknown)

History

2026-11-02: add by m2/dev

RCV0W4DAXG RCV0W4DAXG

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

History

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

List of algebraic topology topics RCV28F3C89

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics, List of algebraic topology topics (topic). Also Wikidata Q6605552

History

2026-11-02: add by m2/dev

Exponential $\phi$-Mixing RCV2CTCSG6

URI	`m2://inv/RCV2CTCSG6`
Kind	statement
Layer	research
MSC	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.33590#ZADB, Exponential $\phi$-Mixing (statement). In WRE0P7V6Z3/e1, corollary 7.9

History

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

Takashi Kumagai RCV98S0DST

URI	`m2://inv/RCV98S0DST`
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#HWH8, Takashi Kumagai (unknown)

History

2026-11-02: add by m2/dev

Spin–statistics theorem RCVA6QD4F3

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

Mentions

wikipedia: Wikipedia List of theorems#K8U5, Spin–statistics theorem (statement)

History

2026-11-02: add by m2/dev

Semiorder RCVCQ67N5Y

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

Mentions

wikipedia: Wikipedia List of order structures in mathematics#IDC9, Semiorder (definition)

History

2026-11-02: add by m2/dev

socle RCVV4WDDG5

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

Mentions

wikidata: Wikidata Q7553048, socle (unknown). Also MathWorld Socle, nLab socle
wikipedia: Wikipedia Socle (mathematics), Socle (definition). Also Wikidata Q7553048

History

2026-10-26: add by m2/dev

Variations RCVYWDK4X2

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

Mentions

wikipedia: Wikipedia Bradley–Terry model#EWB0, Variations (statement)

History

2026-11-02: add by m2/dev

RCVZZBAZWQ RCVZZBAZWQ

URI	`m2://inv/RCVZZBAZWQ`
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.06225#24P9 (statement). In RQVG8V4FJA/e1, proposition A.2

History

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

Kyoji Saito RCW3FRJ5Z8

URI	`m2://inv/RCW3FRJ5Z8`
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#1FBT, Kyoji Saito (topic)

History

2026-11-02: add by m2/dev

Béla Andrásfai RCWGHJAGVA

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

Mentions

wikipedia: Wikipedia Béla Andrásfai, Béla Andrásfai (topic). Also Wikidata Q768721

History

2026-11-02: add by m2/dev

Variations RCWJZQ5BGC

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

Mentions

wikipedia: Wikipedia Rooted graph#I00U, Variations (statement)

History

2026-11-02: add by m2/dev

The capacity reduction from disconnected components RCWN95N4RY

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

Mentions

arxiv: arXiv 2609.38228#WAVH, The capacity reduction from disconnected components (statement). In 9YAE8FNQST/e1, proposition 20.8

History

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

RCWT42HCYT RCWT42HCYT

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

Mentions

arxiv: arXiv 2207.11097#VXOC (statement). In 13H5BTAXHF/e1, lemma 2

History

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

RCWYT8PJSX RCWYT8PJSX

URI	`m2://inv/RCWYT8PJSX`
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.20665#AOO3 (definition)

History

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

Derived refinement roof RCX296DCYB

URI	`m2://inv/RCX296DCYB`
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#J61W, Derived refinement roof (statement)

History

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

Arthur Erdélyi RCX6FFGHRJ

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

Mentions

wikipedia: Wikipedia Arthur Erdélyi, Arthur Erdélyi (topic). Also Wikidata Q709258

History

2026-11-02: add by m2/dev

R. Leonard Brooks RCX80Z6DCG

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

Mentions

wikipedia: Wikipedia R. Leonard Brooks, R. Leonard Brooks (topic). Also Wikidata Q7273817

History

2026-11-02: add by m2/dev

Chen-Bo Zhu RCXCW6GGBP

URI	`m2://inv/RCXCW6GGBP`
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#G1GT, Chen-Bo Zhu (unknown)

History

2026-11-02: add by m2/dev

The leading angular profile is insufficient RCXDRKHF9K

URI	`m2://inv/RCXDRKHF9K`
Kind	example
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 2609.37704#JTLS, The leading angular profile is insufficient (example). In HGTFJ325A4/e1, example 8.4

History

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

Regular Polytopes RCXFFR0E85

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

Mentions

wikipedia: Wikipedia List of mathematics books#X0WO, Regular Polytopes (definition)

History

2026-11-02: add by m2/dev

Barber–Johnson diagram RCXQ3XZ56Y

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

Mentions

wikipedia: Wikipedia List of statistics articles#WGTL, Barber–Johnson diagram (definition)

History

2026-11-02: add by m2/dev

Kunita–Watanabe inequality RCXSQ53TEZ

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

Mentions

wikipedia: Wikipedia Kunita–Watanabe inequality, Kunita–Watanabe inequality (statement). Also Wikidata Q6444775

History

2026-11-02: add by m2/dev

RCXSTCFN8B RCXSTCFN8B

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

Mentions

hott_book: hott_book setmath.tex#proof-21 (proof). In N54F33XE07, proof, section C.2

History

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

Examples RCXVCKTPXW

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

Mentions

wikipedia: Wikipedia Utility#ZW1F, Examples (example)

History

2026-11-02: add by m2/dev

Fock space RCXW5XJVPR

URI	`m2://inv/RCXW5XJVPR`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Fock space 1TJ8TNH331

Mentions

wikidata: Wikidata Q899044, Fock space (concept). Also nLab Fock space
wikipedia: Wikipedia Fock space, Fock space (definition). Also Wikidata Q899044

History

2026-10-26: add by m2/dev

Structure RCYEHN2AM9

URI	`m2://inv/RCYEHN2AM9`
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.14012#ZNT7, Structure (statement). In B8M5XAJASD/e1, proposition 2

History

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

Floor (e^(n / log(n))). RCYH1E6972

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

Mentions

wikidata: Wikidata Q100194197, Floor (e^(n / log(n))). (object). Also OEIS A096181

History

2026-10-26: add by m2/dev

RCYJA0FW5W RCYJA0FW5W

URI	`m2://inv/RCYJA0FW5W`
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.01946#U0ML (statement). In NB1Z31FMXN/e1, lemma 2.7

History

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

RCYJZ11KHW RCYJZ11KHW

URI	`m2://inv/RCYJZ11KHW`
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.25212#2029 (statement)

History

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

probability RCYM4B7YHG

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

Mentions

wikidata: Wikidata Q9492, probability (definition). Also EoM Probability, MathWorld Probability, ProofWiki Definition:Probability
wikipedia: Wikipedia Probability, Probability (definition). Also Wikidata Q9492

History

2026-10-26: add by m2/dev

RCYN9FZF4T RCYN9FZF4T

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

Mentions

arxiv: arXiv 2610.13680#6BVC (unknown). In QNBFHFZ3H0/e1, unknown 99

History

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

EWMA chart RCYYTAV9RR

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

Mentions

wikipedia: Wikipedia List of statistics articles#LHPN, EWMA chart (definition)

History

2026-11-02: add by m2/dev

RCYZHX2DDW RCYZHX2DDW

URI	`m2://inv/RCYZHX2DDW`
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.27518#RXHF (statement)

History

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

Rational connectedness RCZ1HV0M81

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

Mentions

wikipedia: Wikipedia Rational variety#7W65, Rational connectedness (unknown)

History

2026-11-02: add by m2/dev

Normalized density can be arbitrarily large RCZ3WK0PAB

URI	`m2://inv/RCZ3WK0PAB`
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.07379#TLUD, Normalized density can be arbitrarily large (statement). In N0EVQ46HBR/e1, theorem 5.1

History

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

RCZ5QYBCDP RCZ5QYBCDP

URI	`m2://inv/RCZ5QYBCDP`
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 2207.07461#K33V (statement). In GAG532VMPF/e1, proposition 3.4.1

History

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

Null centering RCZA8CWQ1C

URI	`m2://inv/RCZA8CWQ1C`
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.27200#FQKY, Null centering (statement)

History

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

Jürg Fröhlich RCZBN6QD7Y

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#69EY, Jürg Fröhlich (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2AH6, Jürg Fröhlich (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9VFP, Jürg Fröhlich (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XBQU, Jürg Fröhlich (unknown)

History

2026-11-02: add by m2/dev

RCZBVDHNW4 RCZBVDHNW4

URI	`m2://inv/RCZBVDHNW4`
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.34856#ETXH (statement). In MRR92GQNZE/e1, theorem 3.17

History

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

RCZQ7F94NF RCZQ7F94NF

URI	`m2://inv/RCZQ7F94NF`
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.34613#AN38 (statement). In JPR86T9Y78/e1, lemma A.1

History

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

RCZRSQF6RD RCZRSQF6RD

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

Mentions

arxiv: arXiv 2610.13833#MF43 (definition). In VD4JP4HVBX/e1, definition 7.3

History

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

The linear RCZXFK1CBJ

URI	`m2://inv/RCZXFK1CBJ`
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.20647#U0LH, The linear (statement)

History

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