Inventory rows 3M

Implementations 3M073WJFH6

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

Mentions

wikipedia: Wikipedia Euclidean algorithm#G858, Implementations (definition)

History

2026-11-02: add by m2/dev

3M09VKD2ME 3M09VKD2ME

URI	`m2://inv/3M09VKD2ME`
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#C7SC (statement). In FV78KV64B9/e1, corollary 9.8

History

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

Van der Laan sequence 3M09ZNTP6J

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

Mentions

wikipedia: Wikipedia Plastic ratio#R5BE, Van der Laan sequence (unknown)

History

2026-11-02: add by m2/dev

3M0C8XCJG2 3M0C8XCJG2

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

Mentions

arxiv: arXiv 2610.21675#2Y8A (statement). In TB1294GY5X/e1, proposition B.12

History

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

$\beta $-reduction 3M0FS3XJ2G

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

Mentions

hott_book: hott_book index/A.5/beta-reduction, $\beta $-reduction (concept). In N54F33XE07, index, section A.5

History

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

finite simple group 3M0JJP9ZRQ

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

Mentions

wikidata: Wikidata Q45033382, finite simple group (unknown). Also EoM Simple_finite_group, LMFDB knowl group.simple

History

2026-10-26: add by m2/dev

Krystyna Kuperberg 3M0YEDVZH6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#IEQK, Krystyna Kuperberg (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#303S, Krystyna Kuperberg (topic)

History

2026-11-02: add by m2/dev

Lehmann–Scheffé theorem 3M0Z3N4STP

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

Mentions

mathlib_1000: mathlib_1000 Q1129636, Lehmann–Scheffé theorem (statement). Also Wikidata Q1129636
thousand_plus: thousand_plus Q1129636, Lehmann–Scheffé theorem (statement). Also Wikidata Q1129636, Wikipedia Lehmann–Scheffé theorem
wikipedia: Wikipedia Lehmann–Scheffé theorem, Lehmann–Scheffé theorem (statement). Also Wikidata Q1129636

History

2026-10-26: add by m2/dev

Example 3M118BJV40

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

Mentions

wikipedia: Wikipedia Householder's method#4KBJ, Example (example)

History

2026-11-02: add by m2/dev

Applications 3M18A7E9HS

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

Mentions

wikipedia: Wikipedia Fréchet distribution#4KA2, Applications (example)

History

2026-11-02: add by m2/dev

Generating functions for the full Toeplitz class 3M1QCR6YN8

URI	`m2://inv/3M1QCR6YN8`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 47-XX, 58-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.08568#VSP8, Generating functions for the full Toeplitz class (statement). In FDDA562VCA/e1, theorem 3.2

History

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

3M1RJBXKVQ 3M1RJBXKVQ

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-4.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 6.4

History

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

pentadecagon 3M1ZRP1R5T

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

Mentions

wikidata: Wikidata Q845250, pentadecagon (unknown). Also MathWorld Pentadecagon
wikipedia: Wikipedia Pentadecagon, Pentadecagon (definition). Also Wikidata Q845250

History

2026-10-26: add by m2/dev

3M1ZVMJWEX 3M1ZVMJWEX

URI	`m2://inv/3M1ZVMJWEX`
Kind	statement
Layer	research
MSC	03-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.38970#D8WR (statement). In VE6WBAMDSA/e1, corollary 4.5

History

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

3M287M2TR9 3M287M2TR9

URI	`m2://inv/3M287M2TR9`
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.33900#M1T5 (statement). In 119MT2DD89/e1, theorem 1

History

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

Simon, Leslie Earl 3M28G5DQQM

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

Mentions

wikipedia: Wikipedia List of statisticians#3GDH, Simon, Leslie Earl (topic)

History

2026-11-02: add by m2/dev

Nathan Fine 3M2HN5ZEXS

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0CX3, Nathan Fine (topic)

History

2026-11-02: add by m2/dev

3M2HQJN5MQ 3M2HQJN5MQ

URI	`m2://inv/3M2HQJN5MQ`
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.36016#ARE6 (statement). In NAM9ZMPHZ9/e1, proposition C.8

History

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

3M3A3E5H31 3M3A3E5H31

URI	`m2://inv/3M3A3E5H31`
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#85U4 (statement). In AYG8HYGW6V/e1, theorem 3.3

History

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

3M3AA2RSET 3M3AA2RSET

URI	`m2://inv/3M3AA2RSET`
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#YNCN (statement)

History

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

3M3B9J3DRD 3M3B9J3DRD

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

Mentions

arxiv: arXiv 2610.09171#KVG1 (statement). In 5ZPSZFE08Q/e1, theorem 1.7

History

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

3M3PAH15NK 3M3PAH15NK

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

Mentions

arxiv: arXiv 2609.29489#E8Q2 (statement)

History

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

Zhouli Xu 3M3Q75NFJQ

URI	`m2://inv/3M3Q75NFJQ`
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#VTUE, Zhouli Xu (unknown)

History

2026-11-02: add by m2/dev

Glossary of invariant theory 3M3ZASVYKR

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory, Glossary of invariant theory (topic). Also Wikidata Q5571822

History

2026-11-02: add by m2/dev

3M40J2CHEJ 3M40J2CHEJ

URI	`m2://inv/3M40J2CHEJ`
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.18632#MDIS (definition). In PTM5MVD4M0/e1, definition Definition

History

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

$G$-balanced exchange matrix 3M41G71CG6

URI	`m2://inv/3M41G71CG6`
Kind	definition
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#HEJZ, $G$-balanced exchange matrix (definition). In REDG6QVHM3/e1, definition 3.1

History

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

$\theta$-Ostrowski representation 3M4348H2SK

URI	`m2://inv/3M4348H2SK`
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 2610.12691#I61G, $\theta$-Ostrowski representation (definition). In YVQKT91MYN/e1, definition 1

History

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

Marion Beiter 3M4556M7JM

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

Mentions

wikipedia: Wikipedia Marion Beiter, Marion Beiter (topic). Also Wikidata Q105992394

History

2026-11-02: add by m2/dev

Induction, bounding and least number principles 3M46X7CHK6

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

Mentions

wikipedia: Wikipedia Induction, bounding and least number principles, Induction, bounding and least number principles (statement). Also Wikidata Q106639366

History

2026-11-02: add by m2/dev

3M4BWP9917 3M4BWP9917

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

Mentions

open_logic: open_logic content/sets-functions-relations/arithmetization/rationals.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 78.5

History

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

3M4CMM8FJH 3M4CMM8FJH

URI	`m2://inv/3M4CMM8FJH`
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.10406#SASQ (statement). In VQA35Q7C00/e1, theorem 4.5

History

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

3M4T7AHAC7 3M4T7AHAC7

URI	`m2://inv/3M4T7AHAC7`
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 2006.12475#SGRI (statement). In 8YWBGQQGA3/e1, theorem 2

History

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

Iterated reduction of the gradient 3M4VPMP8FF

URI	`m2://inv/3M4VPMP8FF`
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.20097#WN6O, Iterated reduction of the gradient (statement)

History

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

3M4YKVGMTM 3M4YKVGMTM

URI	`m2://inv/3M4YKVGMTM`
Kind	definition
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 2601.15403#GU8I (definition). In BSWNH3NW1M/e1, definition 9.30

History

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

quasitrace 3M50X08SKH

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#DNLA, quasitrace (definition)

History

2026-11-02: add by m2/dev

Youla–Kucera parametrization 3M538VW9K5

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

Mentions

wikipedia: Wikipedia Youla–Kucera parametrization, Youla–Kucera parametrization (definition). Also Wikidata Q8057774

History

2026-11-02: add by m2/dev

3M59JB6RAB 3M59JB6RAB

URI	`m2://inv/3M59JB6RAB`
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 2208.07490#3QJT (statement). In EK9MF8KMFC/e1, theorem 1

History

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

3M5B1N6YJB 3M5B1N6YJB

URI	`m2://inv/3M5B1N6YJB`
Kind	definition
Layer	research
MSC	16-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.08010#0SI8 (definition). In 2S89BG5WPH/e1, definition 2.7

History

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

3M5FNN2FZV 3M5FNN2FZV

URI	`m2://inv/3M5FNN2FZV`
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.01737#9Q7R (statement). In M4JGP708F4/e1, lemma 2.27

History

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

3M5QCR3FW7 3M5QCR3FW7

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

Mentions

arxiv: arXiv 2610.13475#57N9 (definition). In P5SQ4CMX42/e1, definition 2

History

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

Translation (physics) 3M5VHA5G98

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

Mentions

wikipedia: Wikipedia Translation (geometry)#VGJ0, Translation (physics) (unknown)

History

2026-11-02: add by m2/dev

3M6AP1S7YB 3M6AP1S7YB

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

Mentions

arxiv: arXiv 2609.31757#BSCX (statement). In KBJHAD5TTY/e1, lemma 2.6

History

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

3M6J8KB19W 3M6J8KB19W

URI	`m2://inv/3M6J8KB19W`
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.15593#88XK (statement). In PREJREM4BB/e1, corollary 4.6

History

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

\myindex{Hermite's equation of order 2} 3M70E3GC28

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-7, \myindex{Hermite's equation of order 2} (exercise). In E9HS8K3A52, exercise, section 6.1.1

History

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

Examples 3M70EBEPPJ

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

Mentions

wikipedia: Wikipedia Abuse of notation#6L97, Examples (example)

History

2026-11-02: add by m2/dev

Kinetic temperature 3M74Z2K49P

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

Mentions

wikipedia: Wikipedia Temperature#ZSSZ, Kinetic temperature (unknown)

History

2026-11-02: add by m2/dev

Tesseractic honeycomb 3M75VHEGX4

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#DA3B, Tesseractic honeycomb (definition)
wikipedia: Wikipedia List of mathematical shapes#MXU3, Tesseractic honeycomb (definition)
wikipedia: Wikipedia List of mathematical shapes#TEQU, Tesseractic honeycomb (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ZX5X, Tesseractic honeycomb (definition)

History

2026-11-02: add by m2/dev

unique, choice 3M76PHHRB3

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

Mentions

hott_book: hott_book index/9.9/unique-choice, unique, choice (concept). In N54F33XE07, index, section 9.9

History

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

Examples 3M7CJQBVPJ

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

Mentions

wikipedia: Wikipedia Probability integral transform#1DEC, Examples (example)

History

2026-11-02: add by m2/dev

Robert H. Dicke 3M7D5K69ZT

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#RK4F, Robert H. Dicke (unknown)

History

2026-11-02: add by m2/dev

3M7HN1ZV2X 3M7HN1ZV2X

URI	`m2://inv/3M7HN1ZV2X`
Kind	problem
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#XA8Q (problem). In ZPT9XCCAPQ/e1, problem 2.2.22

History

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

3M7SYEJVS1 3M7SYEJVS1

URI	`m2://inv/3M7SYEJVS1`
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.39793#27W4 (statement). In 380M45ANWF/e1, proposition 5.1

History

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

Hyperbolic sector 3M7V71T956

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

Mentions

wikipedia: Wikipedia Hyperbolic sector, Hyperbolic sector (definition). Also Wikidata Q3235577

History

2026-11-02: add by m2/dev

\theoremcite{Theorem 5.3}{aliprantis1974 3M7WXCP602

URI	`m2://inv/3M7WXCP602`
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.29498#LAXK, \theoremcite{Theorem 5.3}{aliprantis1974 (statement)

History

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

3M7ZZQ8RQC 3M7ZZQ8RQC

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

Mentions

arxiv: arXiv 2609.35396#QK2Q (problem). In 51N4SF53EV/e1, problem 4.1

History

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

Projection safeguard and eventual inactivity 3M80X4HK7K

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

Mentions

arxiv: arXiv 2609.32981#KJNT, Projection safeguard and eventual inactivity (statement). In AXDF7YN2RW/e1, lemma 2.6

History

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

Sandy Green 3M850D5J7T

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

Mentions

wikipedia: Wikipedia Sandy Green (mathematician), Sandy Green (topic). Also Wikidata Q950764

History

2026-11-02: add by m2/dev

Borderline boost function regularity I 3M891JFQ3Y

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

Mentions

arxiv: arXiv 2609.25449#1XM3, Borderline boost function regularity I (statement). In 9JHMTYGWFQ/e1, theorem 1.12

History

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

Hilbert polynomial 3M8N7YEBDM

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

Mentions

wikidata: Wikidata Q5761236, Hilbert polynomial (unknown). Also MathWorld HilbertPolynomial
wikipedia: Wikipedia Hilbert series and Hilbert polynomial, Hilbert series and Hilbert polynomial (definition). Also Wikidata Q5761236

History

2026-10-26: add by m2/dev

William S. Zwicker 3M8NF58054

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#FD0R, William S. Zwicker (topic)

History

2026-11-02: add by m2/dev

Bitruncated cubic honeycomb 3M8NTJRWGC

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

Mentions

wikipedia: Wikipedia Bitruncated cubic honeycomb, Bitruncated cubic honeycomb (object). Also Wikidata Q12346664

History

2026-11-02: add by m2/dev

3M8QM1F8FH 3M8QM1F8FH

URI	`m2://inv/3M8QM1F8FH`
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.33383#DXDX (statement). In 8AHWRHTP5G/e1, lemma 17

History

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

3M8SNF4HDG 3M8SNF4HDG

URI	`m2://inv/3M8SNF4HDG`
Kind	statement
Layer	research
MSC	18-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.39317#KJ2S (statement). In QM1T8JDK4A/e1, theorem 5.12

History

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

The degree-eleven loss 3M8VEYHTX9

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

Mentions

arxiv: arXiv 2610.05652#OKC6, The degree-eleven loss (statement). In 8BNPFYQDQX/e1, corollary 16.5

History

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

3M90BXF40Z 3M90BXF40Z

URI	`m2://inv/3M90BXF40Z`
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.38749#N97P (statement). In 3ZPVZE3GZH/e1, theorem 4

History

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

William Messing 3M936SF3EF

URI	`m2://inv/3M936SF3EF`
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 Q2579982, William Messing (unknown). Also nLab William Messing

History

2026-10-26: add by m2/dev

$X/Z$ symmetry 3M99D6RF43

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

Mentions

arxiv: arXiv 2609.39395#3BUP, $X/Z$ symmetry (statement). In ZDVPJ1XX5Z/e1, proposition 3

History

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

3M99M5FV9J 3M99M5FV9J

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

Mentions

arxiv: arXiv 2609.34020#FMNR (definition). In DAMYG8BFAK/e1, definition 4.5

History

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

Mathematics and the Imagination 3M9CRKKBBW

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

Mentions

wikipedia: Wikipedia List of mathematics books#2T5K, Mathematics and the Imagination (definition)

History

2026-11-02: add by m2/dev

Finite sequence 3M9NFQ7777

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

Mentions

wikipedia: Wikipedia Sequence#SWYL, Finite sequence (unknown)

History

2026-11-02: add by m2/dev

Andrew Garrett 3M9R1BZQS6

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

Mentions

wikipedia: Wikipedia List of presidents of the Royal Statistical Society#TWMG, Andrew Garrett (unknown)

History

2026-11-02: add by m2/dev

3M9VT2MJ6V 3M9VT2MJ6V

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

Mentions

napkin: napkin tex/cats/categories.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 36.5

History

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

3M9XAX5PY9 3M9XAX5PY9

URI	`m2://inv/3M9XAX5PY9`
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 2610.03424#6TUK (statement). In Q6HRJP4AWA/e1, proposition 6.3

History

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

3MA415J6YZ 3MA415J6YZ

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-3 (exercise). In E9HS8K3A52, exercise, section 2.1.3

History

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

Definition 3MA4ARA1CN

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

Mentions

wikipedia: Wikipedia Hardy–Littlewood maximal function#253N, Definition (definition)

History

2026-11-02: add by m2/dev

exact cell counts 3MAAJPMHKC

URI	`m2://inv/3MAAJPMHKC`
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 2609.32733#R7DD, exact cell counts (statement). In PCAS8S14J6/e1, proposition 8.3

History

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

Georges Cerf 3MAAYTR1GY

URI	`m2://inv/3MAAYTR1GY`
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#01KY, Georges Cerf (unknown)

History

2026-11-02: add by m2/dev

De Branges's theorem 3MARPKHMKW

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

Mentions

wikipedia: Wikipedia List of theorems#JE9D, De Branges's theorem (statement)

History

2026-11-02: add by m2/dev

Anders Martin-Löf 3MAT8YNJRW

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

Mentions

wikipedia: Wikipedia Anders Martin-Löf, Anders Martin-Löf (topic). Also Wikidata Q4753868

History

2026-11-02: add by m2/dev

Blum's speedup theorem 3MAVHVFRWA

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

Mentions

wikipedia: Wikipedia List of theorems#4DY9, Blum's speedup theorem (statement)

History

2026-11-02: add by m2/dev

Yaron Ostrover 3MAXHFS4N1

URI	`m2://inv/3MAXHFS4N1`
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#2QA5, Yaron Ostrover (unknown)

History

2026-11-02: add by m2/dev

Binomial differential equation 3MAY1MJE0B

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

Mentions

wikipedia: Wikipedia Binomial differential equation, Binomial differential equation (definition). Also Wikidata Q4086855

History

2026-11-02: add by m2/dev

3MB13N18G9 3MB13N18G9

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

Mentions

arxiv: arXiv 2609.34295#XG1F (statement). In A93R925Z24/e1, proposition 9.2

History

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

3MB9NR6PJX 3MB9NR6PJX

URI	`m2://inv/3MB9NR6PJX`
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.26017#X0S5 (statement)

History

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

3MBKDRKEA2 3MBKDRKEA2

URI	`m2://inv/3MBKDRKEA2`
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.14600#VU0W (statement). In CJHTDS522P/e1, lemma 4.1.2

History

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

3MBNRYX9G7 3MBNRYX9G7

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

Mentions

arxiv: arXiv 2609.38132#HPI7 (statement). In K6CP8GP51H/e1, lemma 6

History

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

3MC23VYCVB 3MC23VYCVB

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#cor:monotcountcont (statement). In E59CDZA4DP, cor, section 2.6.1

History

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

Simple Transfinite Induction 3MC3NK6X6R

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

Mentions

open_logic: open_logic content/set-theory/ordinals/opps.tex#simpletransrecursion, Simple Transfinite Induction (statement). In PKGMM3P5QY, thm, section 72.7

History

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

Example 3MCA9SP804

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

Mentions

wikipedia: Wikipedia Self-adjoint operator#CP6E, Example (example)

History

2026-11-02: add by m2/dev

Theorem 3MCD3ZT0TJ

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

Mentions

wikipedia: Wikipedia Chapman–Robbins bound#GGWK, Theorem (statement)

History

2026-11-02: add by m2/dev

$Q_e, Q_o$ 3MCFKQSNT4

URI	`m2://inv/3MCFKQSNT4`
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.02392#IZXZ, $Q_e, Q_o$ (definition). In W066HQZQBF/e1, definition 2

History

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

Ronald Jensen 3MCP4NT3Y6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#6CAK, Ronald Jensen (topic)

History

2026-11-02: add by m2/dev

3MCPPA6QZZ 3MCPPA6QZZ

URI	`m2://inv/3MCPPA6QZZ`
Kind	problem
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.22769#KBDW (problem)

History

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

Interaction picture 3MCR0DFYCN

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

Mentions

wikipedia: Wikipedia Interaction picture, Interaction picture (definition). Also Wikidata Q900638

History

2026-11-02: add by m2/dev

Admissible logarithmic patch sizes 3MCTKPVF73

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

Mentions

arxiv: arXiv 2610.16351#WU10, Admissible logarithmic patch sizes (statement). In 1QSV7EQE3T/e1, lemma S82

History

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

3MD3642YKG 3MD3642YKG

URI	`m2://inv/3MD3642YKG`
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.20135#QV2P (statement). In ZQQEN3J866/e1, theorem 1.2

History

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

3MD3XNXBXR 3MD3XNXBXR

URI	`m2://inv/3MD3XNXBXR`
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 2609.24448#2Y36 (statement)

History

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

Remainder functional 3MD4F8V0YE

URI	`m2://inv/3MD4F8V0YE`
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 2609.31689#XVP7, Remainder functional (statement). In Z7M2JSF6HA/e1, lemma 7.1

History

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

3MDNT4VFWZ 3MDNT4VFWZ

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

Mentions

arxiv: arXiv 2610.20466#SKFG (statement). In M4ZVJWM8YA/e1, lemma 3.8

History

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

3ME73G5BPB 3ME73G5BPB

URI	`m2://inv/3ME73G5BPB`
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.29894#IHFC (statement)

History

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

3ME8BZR6ET 3ME8BZR6ET

URI	`m2://inv/3ME8BZR6ET`
Kind	statement
Layer	research
MSC	05-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.38742#Z89W (statement). In TSXBJB0EXK/e1, theorem 4.2

History

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

Population (France) 3ME9CN28RQ

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

Mentions

wikipedia: Wikipedia Institut national d'études démographiques#H9YU, Population (France) (unknown)

History

2026-11-02: add by m2/dev

3MEACP07VM 3MEACP07VM

URI	`m2://inv/3MEACP07VM`
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.15674#W4YN (statement). In JCTZTK951T/e1, corollary 1.5

History

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

Brownian tree 3MEW65WNDN

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

Mentions

wikipedia: Wikipedia Brownian tree, Brownian tree (definition). Also Wikidata Q2372570

History

2026-11-02: add by m2/dev

Monomial transverse geometry 3MEZ89CQ7N

URI	`m2://inv/3MEZ89CQ7N`
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.20643#TXXN, Monomial transverse geometry (statement)

History

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

3MFB61986A 3MFB61986A

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

Mentions

active_calculus: active_calculus source/activities/act-5-5-1.xml#act-5-5-1 (exercise). In 907G4C4EJ1, activity, section 5.5.2

History

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

Green measure 3MFD93KRBH

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

Mentions

wikipedia: Wikipedia Green measure, Green measure (definition). Also Wikidata Q5603553

History

2026-11-02: add by m2/dev

3MFEZR8X2J 3MFEZR8X2J

URI	`m2://inv/3MFEZR8X2J`
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.40207#ZY44 (statement). In JXTG8KP95P/e1, theorem 2.23

History

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

Example 3MFHRVR2MF

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

Mentions

wikipedia: Wikipedia Digital root#IQZ0, Example (example)

History

2026-11-02: add by m2/dev

limit 3MFJ903S3Z

URI	`m2://inv/3MFJ903S3Z`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Limit CHS5AFJGWE

Mentions

wikidata: Wikidata Q1322614, limit (concept). Also nLab limit
wikipedia: Wikipedia Limit (category theory), Limit (definition). Also Wikidata Q1322614

History

2026-10-26: add by m2/dev

Grey box model 3MFKFXCW7R

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

Mentions

wikipedia: Wikipedia Grey box model, Grey box model (definition). Also Wikidata Q17019321

History

2026-11-02: add by m2/dev

Greenhouse–Geisser correction 3MFKQDC53P

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

Mentions

wikipedia: Wikipedia Greenhouse–Geisser correction, Greenhouse–Geisser correction (definition). Also Wikidata Q85764554

History

2026-11-02: add by m2/dev

Properties 3MFP05FTR4

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

Mentions

wikipedia: Wikipedia Pisano period#4DT0, Properties (statement)

History

2026-11-02: add by m2/dev

Endpoint separation 3MFPNG70CH

URI	`m2://inv/3MFPNG70CH`
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.36098#EZYY, Endpoint separation (statement). In NRP62VNE58/e1, lemma 6.2

History

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

3MFTT7NJHJ 3MFTT7NJHJ

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

Mentions

arxiv: arXiv 2610.21960#UKB5 (statement). In QX77AN49J0/e1, lemma 7.6

History

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

Cantor's first uncountability proof 3MFW07F6E5

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#KDDM, Cantor's first uncountability proof (definition)
wikipedia: Wikipedia List of mathematical logic topics#R2H8, Cantor's first uncountability proof (definition)

History

2026-11-02: add by m2/dev

List of things named after Hermann Weyl 3MFY6WG1QH

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#AV8C, List of things named after Hermann Weyl (topic)

History

2026-11-02: add by m2/dev

3MG49K1CVQ 3MG49K1CVQ

URI	`m2://inv/3MG49K1CVQ`
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.34339#9ALD (statement). In 9WFSTGMQ4E/e1, lemma 3.4

History

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

quintic graph 3MG57F1Y5S

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

Mentions

wikidata: Wikidata Q137734761, quintic graph (unknown). Also MathWorld QuinticGraph

History

2026-10-26: add by m2/dev

3MG58EBSCV 3MG58EBSCV

URI	`m2://inv/3MG58EBSCV`
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 2308.07021#II3I (statement). In H4CM84JVPC/e1, theorem 4.2

History

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

Example 3MG8PKVQYJ

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

Mentions

wikipedia: Wikipedia Hamiltonian system#OMAJ, Example (example)

History

2026-11-02: add by m2/dev

3MGHJG2HAP 3MGHJG2HAP

URI	`m2://inv/3MGHJG2HAP`
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.19882#U4NX (statement)

History

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

Harmonic measure 3MGKCSAMW0

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

Mentions

wikipedia: Wikipedia Harmonic measure, Harmonic measure (definition). Also Wikidata Q5659270

History

2026-11-02: add by m2/dev

3MGKH0QKDK 3MGKH0QKDK

URI	`m2://inv/3MGKH0QKDK`
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#9HHP (statement). In ZWS6Q4467X/e1, proposition 6.1

History

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

Variogram 3MGZX27YX2

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

Mentions

wikipedia: Wikipedia Variogram, Variogram (definition). Also Wikidata Q2269270

History

2026-11-02: add by m2/dev

Henry Vuibert 3MHBDEEYR5

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

Mentions

wikipedia: Wikipedia Henry Vuibert, Henry Vuibert (topic). Also Wikidata Q125089726

History

2026-11-02: add by m2/dev

3MHBY79A2M 3MHBY79A2M

URI	`m2://inv/3MHBY79A2M`
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.21929#WD1M (statement). In 2PP4XRVS0J/e1, proposition 3.3

History

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

Examples 3MHD5QB02V

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

Mentions

wikipedia: Wikipedia Zero-symmetric graph#J57V, Examples (example)

History

2026-11-02: add by m2/dev

Williamson theorem 3MHQHB2YW3

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

Mentions

wikipedia: Wikipedia Definite matrix#0U5H, Williamson theorem (statement)

History

2026-11-02: add by m2/dev

Properties 3MHYDK3F7N

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

Mentions

wikipedia: Wikipedia Mellin transform#WEHK, Properties (statement)

History

2026-11-02: add by m2/dev

Bent Fuglede 3MJ4R0GRZM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#9NGO, Bent Fuglede (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4T1H, Bent Fuglede (topic)

History

2026-11-02: add by m2/dev

Gans model 3MJ9QG50AV

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

Mentions

wikipedia: Wikipedia Hyperbolic geometry#W8VS, Gans model (unknown)

History

2026-11-02: add by m2/dev

3MJF9GZKZZ 3MJF9GZKZZ

URI	`m2://inv/3MJF9GZKZZ`
Kind	statement
Layer	research
MSC	13-XX, 14-XX, 18-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.22161#HR1S (statement). In FVM35KPN8C/e1, lemma 5.6

History

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

Wilhelm Leber 3MJFNDCKAV

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

Mentions

wikipedia: Wikipedia Wilhelm Leber, Wilhelm Leber (topic). Also Wikidata Q78103

History

2026-11-02: add by m2/dev

Properties 3MJNX0JPJH

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

Mentions

wikipedia: Wikipedia Copositive matrix#9TN0, Properties (statement)

History

2026-11-02: add by m2/dev

Frans Pretorius 3MJQB4Q28F

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#FSKZ, Frans Pretorius (unknown)

History

2026-11-02: add by m2/dev

HP 30 series 3MJSP9G643

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

Mentions

wikipedia: Wikipedia HP 30 series, HP 30 series (definition). Also Wikidata Q1565818

History

2026-11-02: add by m2/dev

3MJXNBYJB9 3MJXNBYJB9

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

Mentions

arxiv: arXiv 2609.30098#F1TZ (statement)

History

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

3MK1CPNDPB 3MK1CPNDPB

URI	`m2://inv/3MK1CPNDPB`
Kind	statement
Layer	research
MSC	05-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 2411.00562#9X6A (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm

History

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

Definition 3MK1HXKMWA

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

Mentions

wikipedia: Wikipedia Convergence of random variables#BOBD, Definition (definition)

History

2026-11-02: add by m2/dev

3MK5DWXDYZ 3MK5DWXDYZ

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

Mentions

hott_book: hott_book reals.tex#defn:complete-metric-space (definition). In N54F33XE07, defn, section B.5

History

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

Question of Lovász, Pach, and Szegedy , solved by Cairns and Nikolayevsky 3MK754J6E3

URI	`m2://inv/3MK754J6E3`
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.06300#K57N, Question of Lovász, Pach, and Szegedy , solved by Cairns and Nikolayevsky (statement). In 751KSRS7WT/e1, theorem 1.3

History

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

Newman's lemma 3MKCXE1PBW

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

Mentions

wikipedia: Wikipedia List of lemmas#GIZK, Newman's lemma (statement)

History

2026-11-02: add by m2/dev

endofunctor, algebra for 3MKH095N4Y

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

Mentions

hott_book: hott_book index/8.8/endofunctor-algebra-for, endofunctor, algebra for (concept). In N54F33XE07, index, section 8.8

History

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

3MKKQEQWVD 3MKKQEQWVD

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-21 (exercise). In E59CDZA4DP, exercise, section 11.9.6

History

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

Phase Transition 3MKQEGC6JS

URI	`m2://inv/3MKQEGC6JS`
Kind	definition
Layer	research
MSC	37-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 1603.00857#YTGY, Phase Transition (definition). In XT50B5RJF5/e1, definition 2

History

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

multiple-angle formulas 3MKWPWBYVF

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

Mentions

wikidata: Wikidata Q140072180, multiple-angle formulas (unknown). Also MathWorld Multiple-AngleFormulas

History

2026-10-26: add by m2/dev

Second Derivative Test 3MKWZGJSGN

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

Mentions

austin_ula: austin_ula src/section7-2.xml#proposition-1, Second Derivative Test (statement). In 649HGZKE96, proposition, section 7.2.3

History

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

Incompressible surface 3MM01FE9DD

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

Mentions

wikipedia: Wikipedia Incompressible surface, Incompressible surface (definition). Also Wikidata Q2656522

History

2026-11-02: add by m2/dev

Continuous q-Legendre polynomials 3MM0GSCWN4

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

Mentions

wikipedia: Wikipedia Continuous q-Legendre polynomials, Continuous q-Legendre polynomials (definition). Also Wikidata Q25098870

History

2026-11-02: add by m2/dev

Diagonal normalization associated with a positive eigenvector 3MM2ZSRHRG

URI	`m2://inv/3MM2ZSRHRG`
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#TNLT, Diagonal normalization associated with a positive eigenvector (definition)

History

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

derivative, cotangent 3MM8F0EGK4

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

Mentions

active_calculus: active_calculus index/2.4.2/derivative-cotangent, derivative, cotangent (concept). In 907G4C4EJ1, index, section 2.4.2

History

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

3MMDXSDW4Y 3MMDXSDW4Y

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

Mentions

arxiv: arXiv 2502.14306#SI8E (problem). In ZNBQD5WH1M/e1, problem 1.9

History

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

cissoid of Diocles 3MMHV3F2JD

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

Mentions

wikidata: Wikidata Q206079, cissoid of Diocles (concept). Also MathWorld CissoidofDiocles, ProofWiki Definition:Cissoid_of_Diocles
wikipedia: Wikipedia Cissoid of Diocles, Cissoid of Diocles (definition). Also Wikidata Q206079

History

2026-10-26: add by m2/dev

History of Grandi's series 3MMQX5Y8W8

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

Mentions

wikipedia: Wikipedia History of Grandi's series, History of Grandi's series (definition). Also Wikidata Q5864709

History

2026-11-02: add by m2/dev

Quantum parallelism 3MN4EX0YQH

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

Mentions

wikipedia: Wikipedia Quantum computing#0FIT, Quantum parallelism (unknown)

History

2026-11-02: add by m2/dev

3MN6MHR901 3MN6MHR901

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

Mentions

arxiv: arXiv 2610.14985#T23H (example). In DGXJW3SCBR/e1, example 62

History

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

3MN6QDZYA8 3MN6QDZYA8

URI	`m2://inv/3MN6QDZYA8`
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.24463#VRSQ (statement)

History

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

3MNBHP38NY 3MNBHP38NY

URI	`m2://inv/3MNBHP38NY`
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.37794#ECXC (statement). In ACFC6XHAMQ/e1, lemma 3

History

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

Ending lamination conjecture 3MNBXKPJSG

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

Mentions

wikipedia: Wikipedia 3-manifold#LD6Q, Ending lamination conjecture (statement)

History

2026-11-02: add by m2/dev

Definition 3MNKB90BT9

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

Mentions

wikipedia: Wikipedia Lattice (discrete subgroup)#FENX, Definition (definition)

History

2026-11-02: add by m2/dev

absolute value 3MNKBHH6XX

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

Mentions

wikipedia: Wikipedia Glossary of calculus#4188, absolute value (definition)

History

2026-11-02: add by m2/dev

rank 3MNZGPJK53

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

Mentions

wikipedia: Wikipedia Glossary of set theory#A0EC, rank (definition)

History

2026-11-02: add by m2/dev

Formal definition 3MP3VMMJ3A

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

Mentions

wikipedia: Wikipedia Helly family#0328, Formal definition (definition)

History

2026-11-02: add by m2/dev

Gittins index 3MP4P94N3W

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

Mentions

wikipedia: Wikipedia List of statistics articles#49ZY, Gittins index (definition)

History

2026-11-02: add by m2/dev

John M. Ball 3MP5S54XT2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#V2RB, John M. Ball (topic)

History

2026-11-02: add by m2/dev

Zdzislaw A. Melzak 3MPDGD1GCM

URI	`m2://inv/3MPDGD1GCM`
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 Q95321564, Zdzislaw A. Melzak (unknown). Also ProofWiki Mathematician:Zdzislaw_Alexander_Melzak

History

2026-10-26: add by m2/dev

Examples 3MPP82JMDY

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

Mentions

wikipedia: Wikipedia Axiom#QM0V, Examples (example)

History

2026-11-02: add by m2/dev

3MPRZJ5B8B 3MPRZJ5B8B

URI	`m2://inv/3MPRZJ5B8B`
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 2211.13105#DDR0 (statement). In 5ACPY6CEDV/e1, theorem 5.4

History

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

Plücker embedding 3MPSFZ23RB

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#6UT1, Plücker embedding (definition)

History

2026-11-02: add by m2/dev

3MPW8TXJH3 3MPW8TXJH3

URI	`m2://inv/3MPW8TXJH3`
Kind	definition
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.13291#3DUJ (definition). In D16PSAVVWV/e1, definition 6.1

History

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

3MPXV6TZ9S 3MPXV6TZ9S

URI	`m2://inv/3MPXV6TZ9S`
Kind	statement
Layer	research
MSC	05-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.12427#GAZQ (statement). In 4R7REB1DVD/e1, corollary 1.3

History

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

3MQAA4YY4J 3MQAA4YY4J

URI	`m2://inv/3MQAA4YY4J`
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.09989#OF7M (statement). In 4KZA07H3GE/e1, lemma 2.8

History

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

3MQGXEPKC6 3MQGXEPKC6

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-276 (exercise). In VNMV985MXX, exercise, section 6.2

History

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

3MQK37SJ0J 3MQK37SJ0J

URI	`m2://inv/3MQK37SJ0J`
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.16203#XB9N (statement). In 43TBS9P2PX/e1, fact 3.4

History

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

3MQMSQHEAM 3MQMSQHEAM

URI	`m2://inv/3MQMSQHEAM`
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 1009.2047#GZOP (statement). In F3MWRNBNED/e1, lemma 5.4

History

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

3MQWM8M6YY 3MQWM8M6YY

URI	`m2://inv/3MQWM8M6YY`
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 2509.21444#CGK5 (statement). In CTVPA2FQT1/e1, proposition 4.3.2

History

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

Definition 3MQWMXNPZN

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

Mentions

wikipedia: Wikipedia Trigintaduonion#CQQ0, Definition (definition)

History

2026-11-02: add by m2/dev

The size of one die 3MQXS7ATGH

URI	`m2://inv/3MQXS7ATGH`
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.15421#AHD0, The size of one die (statement). In 3RBKH0DA74/e1, theorem 4.3

History

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

3MR4GXCJXE 3MR4GXCJXE

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

Mentions

arxiv: arXiv 2609.21994#3YHV (statement)

History

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

3MRGGDP4KZ 3MRGGDP4KZ

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

Mentions

arxiv: arXiv 2609.20522#1GB8 (definition)

History

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

Even finitistic dimensions 3MRP9K1N8K

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

Mentions

arxiv: arXiv 2609.36444#D804, Even finitistic dimensions (example). In 4DJE72VPJP/e1, example 5.7

History

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

compact Lie algebra 3MRWAXX56W

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

Mentions

wikidata: Wikidata Q5155287, compact Lie algebra (unknown). Also nLab compact Lie algebra
wikipedia: Wikipedia Compact Lie algebra, Compact Lie algebra (definition). Also Wikidata Q5155287

History

2026-10-26: add by m2/dev

Brandt matrix 3MRZMEG9S2

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

Mentions

wikipedia: Wikipedia Brandt matrix, Brandt matrix (definition). Also Wikidata Q4957187

History

2026-11-02: add by m2/dev

Global game 3MS0GQP6K1

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

Mentions

wikipedia: Wikipedia Global game, Global game (definition). Also Wikidata Q5570845

History

2026-11-02: add by m2/dev

3MS3NAJ2N9 3MS3NAJ2N9

URI	`m2://inv/3MS3NAJ2N9`
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.28649#8FQD (statement)

History

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

Singular statistical model 3MS82YAMJW

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

Mentions

wikipedia: Wikipedia Fisher information#5HEJ, Singular statistical model (unknown)

History

2026-11-02: add by m2/dev

Deterministic map. 3MSVPRRJ64

URI	`m2://inv/3MSVPRRJ64`
Kind	example
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.13916#AAQ5, Deterministic map. (example). In JS2JSD0507/e1, example 3.9

History

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

3MSWE2BGCV 3MSWE2BGCV

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

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 13.6.2

History

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

Parabolic regularization 3MT4R0H7CT

URI	`m2://inv/3MT4R0H7CT`
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.24789#7OA7, Parabolic regularization (statement)

History

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

Double origin topology 3MT684ZZNE

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

Mentions

wikipedia: Wikipedia Double origin topology, Double origin topology (definition). Also Wikidata Q5300077

History

2026-11-02: add by m2/dev

Opial 3MT76BFME5

URI	`m2://inv/3MT76BFME5`
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.11440#3NQ0, Opial (statement). In KBV6TD64F1/e1, lemma 2

History

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

Geometric stable distribution 3MT7HYJPM5

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

Mentions

wikipedia: Wikipedia List of probability distributions#CYLD, Geometric stable distribution (definition)

History

2026-11-02: add by m2/dev

3MT8W821SG 3MT8W821SG

URI	`m2://inv/3MT8W821SG`
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.37973#15BC (statement). In 7276BGZRMP/e1, theorem 1

History

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

Examples 3MTC1QQ73G

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

Mentions

wikipedia: Wikipedia Rational root theorem#KGOO, Examples (example)

History

2026-11-02: add by m2/dev

3MTD63SW5W 3MTD63SW5W

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

Mentions

open_logic: open_logic content/incompleteness/introduction/definitions.tex#defn-9 (definition). In PKGMM3P5QY, defn, section 28.7

History

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

Mikhail Epstein 3MTKAGQG0V

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#X1AM, Mikhail Epstein (unknown)

History

2026-11-02: add by m2/dev

Dodecagon construction 3MTKR5T8XG

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

Mentions

wikipedia: Wikipedia Dodecagon#X6TH, Dodecagon construction (definition)

History

2026-11-02: add by m2/dev

Group Hopf algebra 3MTMJH48JJ

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

Mentions

wikipedia: Wikipedia Group Hopf algebra, Group Hopf algebra (definition). Also Wikidata Q17019543

History

2026-11-02: add by m2/dev

Probability of direction 3MTN396K9W

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

Mentions

wikipedia: Wikipedia Probability of direction, Probability of direction (definition). Also Wikidata Q110322072

History

2026-11-02: add by m2/dev

Gompertz--Makeham test 3MTPMX4TS0

URI	`m2://inv/3MTPMX4TS0`
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.03685#R0DR, Gompertz--Makeham test (statement). In QZM834V1JT/e1, proposition 2.2

History

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

3MTWM25PG9 3MTWM25PG9

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_prop-integers.ptx#proof-1 (proof). In QKM9DD2H56, proof, section B.15

History

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

Benford's law 3MTZSPYJ3M

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

Mentions

wikipedia: Wikipedia Controversy#1YKP, Benford's law (statement)

History

2026-11-02: add by m2/dev

3MV1REXJ2Y 3MV1REXJ2Y

URI	`m2://inv/3MV1REXJ2Y`
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.20422#VONF (statement). In HCH89W5Y2C/e1, fact

History

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

Statgraphics 3MV42K6VST

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

Mentions

wikipedia: Wikipedia List of statistical software#DZI1, Statgraphics (definition)

History

2026-11-02: add by m2/dev

3MV60ME4CX 3MV60ME4CX

URI	`m2://inv/3MV60ME4CX`
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.11468#VBHD (example). In FR4FDRHZJT/e1, example 4.7

History

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

Diplomatic bag 3MV70844JF

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

Mentions

wikipedia: Wikipedia Diplomatic bag, Diplomatic bag (definition). Also Wikidata Q1227231

History

2026-11-02: add by m2/dev

3MV7Z3RS5J 3MV7Z3RS5J

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

Mentions

arxiv: arXiv 2609.21969#21O1 (statement)

History

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

3MVAGPGFMN 3MVAGPGFMN

URI	`m2://inv/3MVAGPGFMN`
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 2111.00832#KJSQ (statement). In KM0XEAXFMF/e1, lemma 9.3

History

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

pendulum 3MVEN1V3KM

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

Mentions

wikipedia: Wikipedia List of formulae involving π#E87X, pendulum (definition)

History

2026-11-02: add by m2/dev

3MVENW944W 3MVENW944W

URI	`m2://inv/3MVENW944W`
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 2609.27151#EDAF (statement)

History

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

3MVHA7RY0M 3MVHA7RY0M

URI	`m2://inv/3MVHA7RY0M`
Kind	statement
Layer	research
MSC	14-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.36509#R019 (statement). In DPJ15KW23C/e1, corollary 6.11

History

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

3MVR0SCCGS 3MVR0SCCGS

URI	`m2://inv/3MVR0SCCGS`
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.33954#56IC (statement). In DBC6DB2VW0/e1, theorem 3.2

History

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

SAS language 3MVSSC4W0K

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

Mentions

wikipedia: Wikipedia SAS language, SAS language (definition). Also Wikidata Q7388824

History

2026-11-02: add by m2/dev

A change of basis in dimension \(d=2\ 3MVSZ67DCY

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

Mentions

arxiv: arXiv 2610.07404#1VWE, A change of basis in dimension \(d=2\ (statement). In VAJ9MBT3SJ/e1, lemma 6

History

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

3MVZQYWP1J 3MVZQYWP1J

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

Mentions

arxiv: arXiv 2603.29838#BMSL (statement). In KP0X1RKKKB/e1, lemma 4.7

History

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

Baum–Welch algorithm 3MW48BWV0T

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

Mentions

wikipedia: Wikipedia Baum–Welch algorithm, Baum–Welch algorithm (definition). Also Wikidata Q811478

History

2026-11-02: add by m2/dev

3MWBF84SA7 3MWBF84SA7

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

Mentions

arxiv: arXiv 2609.39946#MG5Y (statement). In ZTREM09NFT/e1, lemma 8

History

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

3MWD32AB4H 3MWD32AB4H

URI	`m2://inv/3MWD32AB4H`
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.23522#88FL (statement)

History

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

Mashreghi–Ransford inequality 3MWQ1PJEZC

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

Mentions

wikipedia: Wikipedia List of inequalities#GXQW, Mashreghi–Ransford inequality (statement)

History

2026-11-02: add by m2/dev

because 3MWQTSYZQX

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#CM7E, because (definition)

History

2026-11-02: add by m2/dev

3MWT4T1Y3B 3MWT4T1Y3B

URI	`m2://inv/3MWT4T1Y3B`
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.19283#WKEZ (statement). In 28BAGZRCKG/e1, corollary 5.2

History

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

Definitions 3MWWVQKT6P

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

Mentions

wikipedia: Wikipedia Multivariate random variable#KOC7, Definitions (definition)

History

2026-11-02: add by m2/dev

Assembly of the stationary quotient 3MWZ7Q53V5

URI	`m2://inv/3MWZ7Q53V5`
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 2610.10583#EJ7T, Assembly of the stationary quotient (statement). In 5BZQS1KY9A/e1, proposition 9.13

History

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

3MWZXHFY22 3MWZXHFY22

URI	`m2://inv/3MWZXHFY22`
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 2208.07401#EZYJ (statement). In GJD7HKCE56/e1, theorem 1.3

History

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

Mutational meltdown 3MX56Z5CSJ

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

Mentions

wikipedia: Wikipedia Mutational meltdown, Mutational meltdown (definition). Also Wikidata Q677632

History

2026-11-02: add by m2/dev

Richard Aaron 3MX5BVKXHE

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

Mentions

wikipedia: Wikipedia Richard Aaron, Richard Aaron (topic). Also Wikidata Q3398798

History

2026-11-02: add by m2/dev

prime numbers 3MXHQWG2FE

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

Mentions

mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > prime numbers, prime numbers (unknown). Also Mathlib Prime

History

2026-10-26: add by m2/dev

3MXHRV8CXQ 3MXHRV8CXQ

URI	`m2://inv/3MXHRV8CXQ`
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.31604#VIGD (statement). In GSN5YTQS2K/e1, corollary 3.33

History

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

Explicit integrals 3MXR3P6EQE

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

Mentions

arxiv: arXiv 2609.10840#FPYC, Explicit integrals (statement). In P0HKF5DY7M/e1, lemma 3.8

History

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

3MXSQTTWZS 3MXSQTTWZS

URI	`m2://inv/3MXSQTTWZS`
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 2610.08052#HC48 (statement). In 672XAVEQ34/e1, lemma 5.4

History

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

Herman Goldstine 3MXZSH1KJE

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

Mentions

wikipedia: Wikipedia Herman Goldstine, Herman Goldstine (topic). Also Wikidata Q93005

History

2026-11-02: add by m2/dev

Uniform radius-to-margin ratios 3MY01BJKNS

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

Mentions

arxiv: arXiv 2610.11309#KOGS, Uniform radius-to-margin ratios (statement). In TTEAQA1XXR/e1, proposition D.4

History

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

3MY41JWP2Y 3MY41JWP2Y

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

Mentions

arxiv: arXiv 2609.30200#KNQW (statement)

History

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

equivalence of norms in finite dimension 3MYCY48VQ2

URI	`m2://inv/3MYCY48VQ2`
Kind	unknown
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Equivalence of norms in finite dimension 03MC70ZRNR

Mentions

mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > equivalence of norms in finite dimension, equivalence of norms in finite dimension (unknown). Also Mathlib LinearEquiv.toContinuousLinearEquiv
mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > equivalence of norms in finite dimension, equivalence of norms in finite dimension (unknown). Also Mathlib LinearEquiv.toContinuousLinearEquiv

History

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

Wallman compactification 3MYMF1DKWG

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

Mentions

wikipedia: Wikipedia List of topologies#LJP8, Wallman compactification (definition)

History

2026-11-02: add by m2/dev

3MYNPK6QGG 3MYNPK6QGG

URI	`m2://inv/3MYNPK6QGG`
Kind	statement
Layer	research
MSC	14-XX, 37-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.13100#0YHH (statement). In CC6S1HVK0T/e1, lemma 5.16

History

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

3MYPBMAV8A 3MYPBMAV8A

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#defn-7 (definition). In E59CDZA4DP, defn, section 11.3.1

History

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

Conductor 3MYR20TDJ6

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

Mentions

wikipedia: Wikipedia Conductor (ring theory), Conductor (definition). Also Wikidata Q55874160

History

2026-11-02: add by m2/dev

Examples 3MZA0604EQ

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

Mentions

wikipedia: Wikipedia Binary function#W4HG, Examples (example)

History

2026-11-02: add by m2/dev

Lie 3MZMYGJY7N

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#J2XA, Lie (definition)

History

2026-11-02: add by m2/dev

Proclus 3MZVE10TDV

URI	`m2://inv/3MZVE10TDV`
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 Q271809, Proclus (unknown). Also ProofWiki Mathematician:Proclus_Lycaeus

History

2026-10-26: add by m2/dev

3MZY4GTJNZ 3MZY4GTJNZ

URI	`m2://inv/3MZY4GTJNZ`
Kind	statement
Layer	research
MSC	62-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.28297#QMT1 (statement)

History

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

Seifert surface 3MZZPKCWTZ

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

Mentions

wikipedia: Wikipedia List of knot theory topics#PRLW, Seifert surface (definition)
wikipedia: Wikipedia List of geometric topology topics#DKQF, Seifert surface (definition)

History

2026-11-02: add by m2/dev