Inventory rows 4F

Maximilian Herzberger 4F0005ARS5

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

Mentions

wikipedia: Wikipedia Maximilian Herzberger, Maximilian Herzberger (topic). Also Wikidata Q19414005

History

2026-11-02: add by m2/dev

4F06ERCX7C 4F06ERCX7C

URI	`m2://inv/4F06ERCX7C`
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 2403.01959#5Q7B (statement). In 5YMNGJRC6Y/e1, proposition 3.7

History

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

4F0BDV4VPS 4F0BDV4VPS

URI	`m2://inv/4F0BDV4VPS`
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 1905.00573#NM4I (statement). In 74RNQVBM2G/e1, proposition 3.3

History

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

4F0BJDE76X 4F0BJDE76X

URI	`m2://inv/4F0BJDE76X`
Kind	example
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.30544#HT0D (example). In CB35ZBBBPT/e1, example 4.19

History

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

4F0DGP3SSK 4F0DGP3SSK

URI	`m2://inv/4F0DGP3SSK`
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.12633#6WRO (statement). In NGZ5AZ70NN/e1, proposition 5.4

History

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

4F0GAAEMSR 4F0GAAEMSR

URI	`m2://inv/4F0GAAEMSR`
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.35467#KZJG (statement). In FK89DQ9J4S/e1, proposition 5.12

History

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

4F0MT2F3GW 4F0MT2F3GW

URI	`m2://inv/4F0MT2F3GW`
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.12295#49LD (statement). In 6DZPR52HRP/e1, lemma 3.4

History

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

Generalizations 4F0PQP3RN5

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

Mentions

wikipedia: Wikipedia Dense order#FNGV, Generalizations (statement)

History

2026-11-02: add by m2/dev

4F0TJD04C1 4F0TJD04C1

URI	`m2://inv/4F0TJD04C1`
Kind	statement
Layer	research
MSC	20-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.25151#GTZS (statement)

History

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

Histogram of the Schr\"odinger bridge 4F13A7CWWW

URI	`m2://inv/4F13A7CWWW`
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.14616#W99Y, Histogram of the Schr\"odinger bridge (statement). In 17ACAG0N9C/e1, lemma 5.5

History

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

L 4F15MX0BZJ

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

Mentions

wikipedia: Wikipedia Glossary of set theory#CYCN, L (definition)

History

2026-11-02: add by m2/dev

4F1A38EEH2 4F1A38EEH2

URI	`m2://inv/4F1A38EEH2`
Kind	statement
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#7R7X (statement). In 5KR3MHYVV6/e1, lemma 4.3

History

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

4F1D19RT4W 4F1D19RT4W

URI	`m2://inv/4F1D19RT4W`
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.16941#U91U (statement). In T96MPYB0KT/e1, theorem 3.5

History

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

4F1D51YB8Q 4F1D51YB8Q

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

Mentions

arxiv: arXiv 2610.15775#T7B2 (statement). In QNNR4KR425/e1, corollary 3

History

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

QUAD 4F1FTE6T1D

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

Mentions

wikipedia: Wikipedia QUAD (cipher), QUAD (definition). Also Wikidata Q7265594

History

2026-11-02: add by m2/dev

4F1J63Y38P 4F1J63Y38P

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

Mentions

arxiv: arXiv 2609.24580#OXZF (statement)

History

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

4F1JA5DHGG 4F1JA5DHGG

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

Mentions

arxiv: arXiv 0808.3741#ISUP (statement). In BBXEQ9QE7K/e1, corollary 7.1

History

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

4F1QKY435P 4F1QKY435P

URI	`m2://inv/4F1QKY435P`
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.06875#53XS (statement). In ZDT5J9KQVQ/e1, proposition 3.1

History

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

porous medium equation 4F22XHMQ95

URI	`m2://inv/4F22XHMQ95`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Porous medium equation DGVNNYKBHC

Mentions

wikidata: Wikidata Q116986877, porous medium equation (unknown). Also MathWorld PorousMediumEquation
wikipedia: Wikipedia Porous medium equation, Porous medium equation (definition). Also Wikidata Q116986877

History

2026-10-26: add by m2/dev

4F279XX6SV 4F279XX6SV

URI	`m2://inv/4F279XX6SV`
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.30664#NLRK (statement). In ZZGDNKDVJW/e1, lemma 5.3

History

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

Pebble game 4F29ASFHY3

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#PEXP, Pebble game (unknown)

History

2026-11-02: add by m2/dev

Balancing equations are normal equations 4F2HWQMZYZ

URI	`m2://inv/4F2HWQMZYZ`
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.06653#48LI, Balancing equations are normal equations (statement). In 9D2N76AJAT/e1, lemma E.2

History

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

Definition 4F2KXWYVE7

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

Mentions

wikipedia: Wikipedia Problem solving#B034, Definition (definition)

History

2026-11-02: add by m2/dev

4F2MDVP4XG 4F2MDVP4XG

URI	`m2://inv/4F2MDVP4XG`
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.17137#50PX (example). In GKHSE92M91/e1, example 9

History

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

Constructions 4F31EFPMMD

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

Mentions

wikipedia: Wikipedia Planar separator theorem#DA0Q, Constructions (definition)

History

2026-11-02: add by m2/dev

Statement 4F327V23TW

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

Mentions

wikipedia: Wikipedia Bussgang theorem#16U6, Statement (statement)

History

2026-11-02: add by m2/dev

Valiant's algorithm 4F33653NVX

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

Mentions

wikipedia: Wikipedia CYK algorithm#3FFU, Valiant's algorithm (unknown)

History

2026-11-02: add by m2/dev

Butcher group 4F37XCH909

URI	`m2://inv/4F37XCH909`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Butcher group 6MH1DHMCPF

Mentions

wikidata: Wikidata Q5002457, Butcher group (unknown). Also nLab Butcher group
wikipedia: Wikipedia Butcher group, Butcher group (definition). Also Wikidata Q5002457

History

2026-10-26: add by m2/dev

4F3902KFMS 4F3902KFMS

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

Mentions

napkin: napkin tex/set-theory/cardinal.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 89.7

History

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

4F39M6MPSS 4F39M6MPSS

URI	`m2://inv/4F39M6MPSS`
Kind	statement
Layer	research
MSC	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.19990#MKN1 (statement). In DAXT16CPTW/e1, lemma 2.1

History

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

Definition 4F3BR4ARV0

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

Mentions

wikipedia: Wikipedia Transitive relation#A1OX, Definition (definition)

History

2026-11-02: add by m2/dev

The (1,1)-entry of the matrix A^n, where A = [0,1;2,3]. 4F3EF4SRQS

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

Mentions

wikidata: Wikidata Q100194072, The (1,1)-entry of the matrix A^n, where A = [0,1;2,3]. (object). Also OEIS A106434

History

2026-10-26: add by m2/dev

4F3EKYR92J 4F3EKYR92J

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

Mentions

arxiv: arXiv 2609.37520#M2EA (definition). In BDN507RN7J/e1, definition 4.1.23

History

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

Truncation (statistics) 4F3PHMNXWN

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

Mentions

wikipedia: Wikipedia List of statistics articles#RQ2N, Truncation (statistics) (definition)

History

2026-11-02: add by m2/dev

4F3TBYKX57 4F3TBYKX57

URI	`m2://inv/4F3TBYKX57`
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.04772#TUK6 (statement). In WW08CYN4D4/e1, lemma 3.5

History

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

4F40ZQ088K 4F40ZQ088K

URI	`m2://inv/4F40ZQ088K`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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.20798#G1PD (statement)

History

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

Chevalley--Weil formula 4F44WVQ3KG

URI	`m2://inv/4F44WVQ3KG`
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 1712.02437#DGFS, Chevalley--Weil formula (statement). In GZDFK652T9/e1, theorem 3.1

History

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

Percentage increase and decrease 4F4JT45GGV

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

Mentions

wikipedia: Wikipedia Percentage#JS5F, Percentage increase and decrease (unknown)

History

2026-11-02: add by m2/dev

Phoolan Prasad 4F4N7GEVEV

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

Mentions

wikipedia: Wikipedia Phoolan Prasad, Phoolan Prasad (topic). Also Wikidata Q16106766

History

2026-11-02: add by m2/dev

geometric distribution 4F4NT7PHXQ

URI	`m2://inv/4F4NT7PHXQ`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Geometric distribution 04P2SR252N

Mentions

wikidata: Wikidata Q729523, geometric distribution (unknown). Also MathWorld GeometricDistribution
wikipedia: Wikipedia Geometric distribution, Geometric distribution (definition). Also Wikidata Q729523

History

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

4F4XWJKPFY 4F4XWJKPFY

URI	`m2://inv/4F4XWJKPFY`
Kind	definition
Layer	research
MSC	37-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.16388#WQHI (definition). In Q62MDENP26/e1, definition 2.2

History

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

Jerome Goldstein 4F4Y36AF1J

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BG45, Jerome Goldstein (topic)

History

2026-11-02: add by m2/dev

Definitions 4F4YWQ31PZ

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

Mentions

wikipedia: Wikipedia Kaniadakis Weibull distribution#0C3R, Definitions (definition)

History

2026-11-02: add by m2/dev

unit of pressure 4F4YYBRNGM

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

Mentions

wikidata: Wikidata Q4173969, unit of pressure (definition). Also ProofWiki Definition:Pressure/Unit

History

2026-10-26: add by m2/dev

Kac–Bernstein theorem 4F51M7ZR2K

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

Mentions

wikipedia: Wikipedia Kac–Bernstein theorem, Kac–Bernstein theorem (statement). Also Wikidata Q56374723

History

2026-11-02: add by m2/dev

4F53DGCVAB 4F53DGCVAB

URI	`m2://inv/4F53DGCVAB`
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#7D9O (statement). In A93R925Z24/e1, corollary 11.4

History

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

Satellite navigation solution 4F54G3H0JF

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

Mentions

wikipedia: Wikipedia Satellite navigation solution, Satellite navigation solution (definition). Also Wikidata Q5514013

History

2026-11-02: add by m2/dev

Haken manifold 4F588P1S6A

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

Mentions

wikipedia: Wikipedia List of geometric topology topics#9736, Haken manifold (definition)

History

2026-11-02: add by m2/dev

4F5F2GPRR6 4F5F2GPRR6

URI	`m2://inv/4F5F2GPRR6`
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.22296#TL2K (statement)

History

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

4F5FN7WGES 4F5FN7WGES

URI	`m2://inv/4F5FN7WGES`
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#5ZIY (statement). In 3CGS9GSKTQ/e1, theorem 7.1

History

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

4F5JVBS5P6 4F5JVBS5P6

URI	`m2://inv/4F5JVBS5P6`
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.03835#YK5I (statement). In KAYGQMQPGS/e1, proposition 5.1

History

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

4F5SXJT55N 4F5SXJT55N

URI	`m2://inv/4F5SXJT55N`
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.29677#7OH1 (statement)

History

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

4F60PJ54DP 4F60PJ54DP

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

Mentions

arxiv: arXiv 2310.15716#5U31 (statement). In 7WDA4MEWE2/e1, proposition 3.1

History

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

4F64FK4KHA 4F64FK4KHA

URI	`m2://inv/4F64FK4KHA`
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.21231#O5ZM (statement). In 4RH9PS7MN1/e1, theorem 3

History

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

Definition 4F6C8N982E

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

Mentions

wikipedia: Wikipedia Postnikov system#BP4B, Definition (definition)

History

2026-11-02: add by m2/dev

Vanishing sums with two prime factors 4F6EC2M127

URI	`m2://inv/4F6EC2M127`
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.26576#JBSM, Vanishing sums with two prime factors (statement)

History

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

4F6GDQ5TFT 4F6GDQ5TFT

URI	`m2://inv/4F6GDQ5TFT`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 13-XX, 14-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.26127#VEUT (statement)

History

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

Amicable number 4F6GFK8ARH

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

Mentions

wikipedia: Wikipedia List of recreational number theory topics#L8BH, Amicable number (definition)

History

2026-11-02: add by m2/dev

4F6KQ4EFZD 4F6KQ4EFZD

URI	`m2://inv/4F6KQ4EFZD`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-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.27458#D18B (statement)

History

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

Examples 4F6MXYT1GS

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

Mentions

wikipedia: Wikipedia Explanatory power#AGLB, Examples (example)

History

2026-11-02: add by m2/dev

James Henry Weaver 4F6Q2YVHD2

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

Mentions

wikipedia: Wikipedia James Henry Weaver, James Henry Weaver (topic). Also Wikidata Q47516531

History

2026-11-02: add by m2/dev

David Edmunds 4F717QNZDH

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

Mentions

wikipedia: Wikipedia David Edmunds, David Edmunds (topic). Also Wikidata Q1174303

History

2026-11-02: add by m2/dev

4F78G7SBN2 4F78G7SBN2

URI	`m2://inv/4F78G7SBN2`
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.01354#OLTJ (statement). In BWD76W20W8/e1, lemma 3.2

History

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

4F7AH2G74W 4F7AH2G74W

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

Mentions

arxiv: arXiv 2610.01475#OZIS (statement). In A7VJF2FYSD/e1, theorem 1

History

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

Finite-tree fixed-point formula 4F7E317P9G

URI	`m2://inv/4F7E317P9G`
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.21454#LAIH, Finite-tree fixed-point formula (statement). In ZP2RJFZ3V2/e1, theorem 4.5

History

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

Béla Szőkefalvi-Nagy 4F7HV9RCBQ

URI	`m2://inv/4F7HV9RCBQ`
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#05EF, Béla Szőkefalvi-Nagy (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2EOV, Béla Szőkefalvi-Nagy (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DORO, Béla Szőkefalvi-Nagy (unknown)

History

2026-11-02: add by m2/dev

Mildred Esther Mathias 4F7P6W4ZFR

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#WTJ2, Mildred Esther Mathias (unknown)

History

2026-11-02: add by m2/dev

Kuranishi map 4F7RB29MY8

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#KM7W, Kuranishi map (definition)

History

2026-11-02: add by m2/dev

4F7WFNXQZV 4F7WFNXQZV

URI	`m2://inv/4F7WFNXQZV`
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.27078#PUNJ (definition)

History

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

Weissauer's theorem 4F81DZE13W

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

Mentions

wikipedia: Wikipedia Haran's diamond theorem#OCSY, Weissauer's theorem (statement)

History

2026-11-02: add by m2/dev

Beniamino Segre 4F825DSYFH

URI	`m2://inv/4F825DSYFH`
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#591C, Beniamino Segre (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#843L, Beniamino Segre (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8YMI, Beniamino Segre (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WFLT, Beniamino Segre (topic)

History

2026-11-02: add by m2/dev

Keybase 4F8ND1HZ8Q

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

Mentions

wikipedia: Wikipedia Keybase, Keybase (definition). Also Wikidata Q28409115

History

2026-11-02: add by m2/dev

4F8SRV0RGV 4F8SRV0RGV

URI	`m2://inv/4F8SRV0RGV`
Kind	definition
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#9VJ1 (definition). In F3MWRNBNED/e1, definition 3.1

History

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

4F8VXAZD29 4F8VXAZD29

URI	`m2://inv/4F8VXAZD29`
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.22296#NL8T (statement)

History

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

4F8X7BX9V8 4F8X7BX9V8

URI	`m2://inv/4F8X7BX9V8`
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.21489#98QY (statement). In R0Q0RV8XCF/e1, lemma 4.10

History

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

4F8YFYJE60 4F8YFYJE60

URI	`m2://inv/4F8YFYJE60`
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.08226#0GPK (statement). In V6EPE8XHAD/e1, lemma 3.8

History

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

Luminiferous aether 4F90TPA23G

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#0APL, Luminiferous aether (unknown)

History

2026-11-02: add by m2/dev

4F92BVF0QQ 4F92BVF0QQ

URI	`m2://inv/4F92BVF0QQ`
Kind	statement
Layer	research
MSC	49-XX, 62-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.11869#4R9L (statement). In B5GGGWNJA6/e1, lemma 6

History

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

4F94SDNAX3 4F94SDNAX3

URI	`m2://inv/4F94SDNAX3`
Kind	definition
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 2406.19866#ZTSG (definition). In 9F94CEQ1ZM/e1, definition 2.24

History

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

4F98MDG14F 4F98MDG14F

URI	`m2://inv/4F98MDG14F`
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.23779#NS9J (statement)

History

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

Geometric lattice 4F98MGNZCM

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

Mentions

wikipedia: Wikipedia Geometric lattice, Geometric lattice (definition). Also Wikidata Q5535493

History

2026-11-02: add by m2/dev

Efron--Stein inequality 4F9A121XWH

URI	`m2://inv/4F9A121XWH`
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.10474#C057, Efron--Stein inequality (statement). In MB29RAAQMG/e1, lemma 2.3

History

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

Definition 4F9AJCZTF5

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

Mentions

wikipedia: Wikipedia Sharpe ratio#0AH5, Definition (definition)

History

2026-11-02: add by m2/dev

Bernstein v. United States 4F9C7V1DBX

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

Mentions

wikipedia: Wikipedia Bernstein v. United States, Bernstein v. United States (definition). Also Wikidata Q4894574

History

2026-11-02: add by m2/dev

4F9FDY9FHC 4F9FDY9FHC

URI	`m2://inv/4F9FDY9FHC`
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.10902#8T4D (statement). In 96T1K6C3NZ/e1, theorem C

History

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

endomorphism 4F9HB0DBJ6

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

Mentions

wikidata: Wikidata Q1340800, endomorphism (unknown). Also EoM Endomorphism, MathWorld Endomorphism
wikipedia: Wikipedia Endomorphism, Endomorphism (definition). Also Wikidata Q1340800

History

2026-10-26: add by m2/dev

Michel Broué 4F9HGM6G69

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

Mentions

wikipedia: Wikipedia Michel Broué, Michel Broué (topic). Also Wikidata Q3309120

History

2026-11-02: add by m2/dev

Valerio Lucarini 4F9QFZYHES

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

Mentions

wikipedia: Wikipedia Valerio Lucarini, Valerio Lucarini (topic). Also Wikidata Q57165690

History

2026-11-02: add by m2/dev

RSA-100 4F9QMYKM5M

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

Mentions

wikipedia: Wikipedia RSA numbers#E812, RSA-100 (unknown)

History

2026-11-02: add by m2/dev

Oded Regev 4F9XGGF3TK

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

Mentions

wikipedia: Wikipedia List of cryptographers#JVVC, Oded Regev (topic)

History

2026-11-02: add by m2/dev

Sandra Mitchell Hedetniemi 4FA2S4QE4Q

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#KCJ7, Sandra Mitchell Hedetniemi (topic)

History

2026-11-02: add by m2/dev

Algorithms 4FAD04W5VF

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

Mentions

wikipedia: Wikipedia Flip distance#UUC7, Algorithms (definition)

History

2026-11-02: add by m2/dev

4FAEYV8E3B 4FAEYV8E3B

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

Mentions

arxiv: arXiv 2609.37893#LDJ4 (statement). In 8H0KHK7AMN/e1, lemma 3.6

History

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

Wolfgang Johannes Höppner 4FAJ2K247P

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

Mentions

wikipedia: Wikipedia List of German mathematicians#FNAR, Wolfgang Johannes Höppner (unknown)

History

2026-11-02: add by m2/dev

4FAJTNYX1X 4FAJTNYX1X

URI	`m2://inv/4FAJTNYX1X`
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.18859#KD79 (statement). In PSH9N14H7V/e1, lemma 1.2

History

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

Eigenvalue perturbation 4FAMFBY0S8

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

Mentions

wikipedia: Wikipedia Eigenvalue perturbation, Eigenvalue perturbation (definition). Also Wikidata Q5348914

History

2026-11-02: add by m2/dev

4FAPPHNSE1 4FAPPHNSE1

URI	`m2://inv/4FAPPHNSE1`
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 2204.01073#2PN2 (statement). In W4TYN4PGE8/e1, lemma 2.34

History

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

Macroscopic intervals 4FAT43C7N6

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

Mentions

arxiv: arXiv 2609.12271#V6LG, Macroscopic intervals (definition). In WGCET6KSQ7/e1, definition 4

History

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

Tortuosity 4FAY4M6A5V

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

Mentions

wikipedia: Wikipedia Tortuosity, Tortuosity (definition). Also Wikidata Q2301683

History

2026-11-02: add by m2/dev

4FB0MZK1F5 4FB0MZK1F5

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

Mentions

arxiv: arXiv 2609.27056#Z44A (definition)

History

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

Duffing map 4FB41QRCW0

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

Mentions

wikipedia: Wikipedia Duffing map, Duffing map (definition). Also Wikidata Q5312372

History

2026-11-02: add by m2/dev

register machine 4FB5FKH3V0

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

Mentions

wikipedia: Wikipedia Glossary of logic#M28J, register machine (definition)

History

2026-11-02: add by m2/dev

Brownian excursion 4FBB1XP1KM

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

Mentions

wikipedia: Wikipedia List of statistics articles#GFZS, Brownian excursion (definition)

History

2026-11-02: add by m2/dev

Duality principle 4FBC02PVPG

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

Mentions

wikipedia: Wikipedia Large sieve#R5C9, Duality principle (statement)

History

2026-11-02: add by m2/dev

4FBCXNT9S6 4FBCXNT9S6

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-9 (exercise). In E9HS8K3A52, exercise, section 7.1.4

History

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

4FBDYVKSVQ 4FBDYVKSVQ

URI	`m2://inv/4FBDYVKSVQ`
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#W4JB (statement). In TTRSZVT4VX/e1, theorem 2.28

History

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

4FBF2XDPTY 4FBF2XDPTY

URI	`m2://inv/4FBF2XDPTY`
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 2401.13523#F192 (statement). In DDA62XQTWW/e1, lemma 4.14

History

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

Definition 4FBJR7MJXK

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

Mentions

wikipedia: Wikipedia Viscosity solution#IHKY, Definition (definition)

History

2026-11-02: add by m2/dev

4FBNBKW0B6 4FBNBKW0B6

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/soundness.tex#cor:weak-soundness (statement). In PKGMM3P5QY, cor, section 22.15

History

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

Theodore M. Porter 4FBS3TPFF0

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#QZSB, Theodore M. Porter (unknown)

History

2026-11-02: add by m2/dev

4FBY71AKE3 4FBY71AKE3

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

Mentions

arxiv: arXiv 2504.00596#CCGI (statement). In F8RC6AENB0/e1, proposition 5.4

History

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

Poissonised stopping rule 4FC044Q8XK

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

Mentions

arxiv: arXiv 2609.26017#2SZR, Poissonised stopping rule (definition)

History

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

LB-space 4FC4WQJGG7

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

Mentions

wikipedia: Wikipedia LB-space, LB-space (definition). Also Wikidata Q96386529

History

2026-11-02: add by m2/dev

Self-learning in artificial neural network 4FC7YER48T

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

Mentions

wikipedia: Wikipedia Neural network (machine learning)#0UUF, Self-learning in artificial neural network (unknown)

History

2026-11-02: add by m2/dev

4FC95M7TQK 4FC95M7TQK

URI	`m2://inv/4FC95M7TQK`
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 2310.17520#UXJ3 (statement). In 93AJXFH963/e1, corollary 1

History

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

4FCCPZRHJJ 4FCCPZRHJJ

URI	`m2://inv/4FCCPZRHJJ`
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.31907#TF68 (statement). In 6B2PCEGCYZ/e1, proposition 3.7

History

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

One-dimensional Poincar\'e inequality 4FCF4WNJ7K

URI	`m2://inv/4FCF4WNJ7K`
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.32561#S0MY, One-dimensional Poincar\'e inequality (statement). In NBT0ZCHBB6/e1, lemma 2

History

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

Simson cubic 4FCHTBC62Y

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

Mentions

wikidata: Wikidata Q2350675, Simson cubic (unknown). Also MathWorld SimsonCubic

History

2026-10-26: add by m2/dev

"Weak=Strong" theorems 4FCQF06S5D

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

Mentions

wikipedia: Wikipedia Mollifier#B4F4, "Weak=Strong" theorems (statement)

History

2026-11-02: add by m2/dev

4FCTCTQ2P7 4FCTCTQ2P7

URI	`m2://inv/4FCTCTQ2P7`
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.26581#WGUP (statement)

History

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

Worcester County Mathematics League 4FD0KV5BYV

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

Mentions

wikipedia: Wikipedia List of United States regional mathematics competitions#LRCS, Worcester County Mathematics League (unknown)

History

2026-11-02: add by m2/dev

4FD685M9CA 4FD685M9CA

URI	`m2://inv/4FD685M9CA`
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.31126#YKTZ (statement). In GK1V5GEHTK/e1, theorem 2.14

History

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

Applications 4FDFXX871F

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

Mentions

wikipedia: Wikipedia Hahn–Banach theorem#ML4J, Applications (example)

History

2026-11-02: add by m2/dev

4FDJHZ0M6V 4FDJHZ0M6V

URI	`m2://inv/4FDJHZ0M6V`
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 2610.07292#98IN (statement). In PZ17NHGAKX/e1, lemma 9

History

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

4FDK1W4VRA 4FDK1W4VRA

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

Mentions

napkin: napkin tex/riemann-surface/line-bundles.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 85.3

History

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

4FDMM6DGF4 4FDMM6DGF4

URI	`m2://inv/4FDMM6DGF4`
Kind	statement
Layer	research
MSC	37-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.10511#DO8T (statement). In BTX64QG716/e1, corollary 3.4

History

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

4FDP1A0A3X 4FDP1A0A3X

URI	`m2://inv/4FDP1A0A3X`
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.19309#J72K (statement). In XKENQH35DW/e1, lemma C.3

History

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

Elliptic estimate 4FDV97GFXG

URI	`m2://inv/4FDV97GFXG`
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#LG3B, Elliptic estimate (statement)

History

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

4FDZBD7R07 4FDZBD7R07

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

Mentions

arxiv: arXiv 2609.37112#BQ1E (statement). In 5B10HAY4C3/e1, lemma 4.4

History

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

4FEBQ9Z6NT 4FEBQ9Z6NT

URI	`m2://inv/4FEBQ9Z6NT`
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.18242#C496 (statement). In VVC2FHQZZR/e1, theorem 5.1

History

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

Barrett reduction 4FEHWH6QQ0

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

Mentions

wikipedia: Wikipedia Barrett reduction, Barrett reduction (definition). Also Wikidata Q808880

History

2026-11-02: add by m2/dev

Manim 4FF4M8HN8E

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

Mentions

wikipedia: Wikipedia 3Blue1Brown#6M84, Manim (unknown)

History

2026-11-02: add by m2/dev

Conlon, Fox and Zhao 4FF7CFW31Z

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

Mentions

arxiv: arXiv 2609.29653#SS6F, Conlon, Fox and Zhao (statement)

History

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

4FFFX8W5YY 4FFFX8W5YY

URI	`m2://inv/4FFFX8W5YY`
Kind	problem
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.36622#WLUB (problem). In 9704QPRPR6/e1, problem 1.2

History

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

Gregory Chaitin 4FFM7Y89VV

URI	`m2://inv/4FFM7Y89VV`
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 Q930837, Gregory Chaitin (unknown). Also nLab Gregory Chaitin, ProofWiki Mathematician:Gregory_John_Chaitin
wikipedia: Wikipedia Gregory Chaitin, Gregory Chaitin (topic). Also Wikidata Q930837

History

2026-10-26: add by m2/dev

Gary Stormo 4FFV3MHAXE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0189, Gary Stormo (unknown)

History

2026-11-02: add by m2/dev

Nicod's axiom 4FFYACSMTH

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

Mentions

wikipedia: Wikipedia Nicod's axiom, Nicod's axiom (statement). Also Wikidata Q7028899

History

2026-11-02: add by m2/dev

4FGBW06K21 4FGBW06K21

URI	`m2://inv/4FGBW06K21`
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.23262#R7HN (statement)

History

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

4FGHPCZPTM 4FGHPCZPTM

URI	`m2://inv/4FGHPCZPTM`
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.23258#DS3G (statement)

History

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

Explicit example of element in $V^\vee$ 4FGJW8YCFE

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

Mentions

napkin: napkin tex/linalg/dual-trace.tex#example-4, Explicit example of element in $V^\vee$ (example). In RZP28ERRZV, example, section 57.2

History

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

Continuity of maximal covariance 4FGKKKN923

URI	`m2://inv/4FGKKKN923`
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#2GKC, Continuity of maximal covariance (statement). In 9YAE8FNQST/e1, lemma 17.5

History

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

4FGS0RD7A2 4FGS0RD7A2

URI	`m2://inv/4FGS0RD7A2`
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.09809#LH0I (statement). In 7NKQ6PR78N/e1, proposition 4.2

History

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

4FGSH5MVPP 4FGSH5MVPP

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 54.7

History

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

Noncanonical completed additive lift 4FGZMVNGZB

URI	`m2://inv/4FGZMVNGZB`
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.03520#40XG, Noncanonical completed additive lift (statement). In CSRZ9CWK69/e1, theorem 8.16

History

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

4FH843ZW3J 4FH843ZW3J

URI	`m2://inv/4FH843ZW3J`
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 2509.05577#XWPG (statement). In EFWBREMZAP/e1, proposition 0.1

History

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

Polyadic space 4FHBMNJM04

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

Mentions

wikipedia: Wikipedia Polyadic space, Polyadic space (definition). Also Wikidata Q25303805

History

2026-11-02: add by m2/dev

4FHHTAS24S 4FHHTAS24S

URI	`m2://inv/4FHHTAS24S`
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 2609.30067#H4DO (statement)

History

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

Natural logarithm plus 1 4FHQ014Z07

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#XGI5, Natural logarithm plus 1 (object)

History

2026-11-02: add by m2/dev

Savas Dimopoulos 4FHVZWYDMX

URI	`m2://inv/4FHVZWYDMX`
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 Q1386035, Savas Dimopoulos (unknown). Also nLab Savas Dimopoulos

History

2026-10-26: add by m2/dev

4FJ39B0H2F 4FJ39B0H2F

URI	`m2://inv/4FJ39B0H2F`
Kind	statement
Layer	research
MSC	49-XX, 51-XX, 52-XX, 53-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.03305#U9BX (statement). In WAJ5AZHF62/e1, lemma 3.4

History

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

4FJ5748R3Z 4FJ5748R3Z

URI	`m2://inv/4FJ5748R3Z`
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 2310.17520#Y22B (statement). In 93AJXFH963/e1, lemma 1

History

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

Lie bialgebra 4FJAAZHJ1G

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

Mentions

wikidata: Wikidata Q6543812, Lie bialgebra (unknown). Also nLab Lie bialgebra
wikipedia: Wikipedia Lie bialgebra, Lie bialgebra (definition). Also Wikidata Q6543812

History

2026-10-26: add by m2/dev

Weierstrass function 4FJANKPAXA

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#WFX2, Weierstrass function (unknown)
wikipedia: Wikipedia List of mathematical examples#VUE4, Weierstrass function (unknown)

History

2026-11-02: add by m2/dev

Accuracy paradox 4FJH5EWY6R

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

Mentions

wikipedia: Wikipedia Accuracy paradox, Accuracy paradox (statement). Also Wikidata Q60791852

History

2026-11-02: add by m2/dev

Property 4FJNYPS2BH

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

Mentions

wikipedia: Wikipedia Palindromic prime#TQ1I, Property (statement)

History

2026-11-02: add by m2/dev

4FJPT3AT32 4FJPT3AT32

URI	`m2://inv/4FJPT3AT32`
Kind	definition
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.14217#5EEC (definition). In K0DHYQC5B7/e1, definition 4.8

History

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

Quantum data fitting 4FJYRK2H37

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

Mentions

wikipedia: Wikipedia Quantum optimization algorithms#656Y, Quantum data fitting (unknown)

History

2026-11-02: add by m2/dev

4FK56YR6QD 4FK56YR6QD

URI	`m2://inv/4FK56YR6QD`
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.09897#5Z1P (statement). In NYA085FW0M/e1, theorem 3.2

History

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

4FKBH2X0ME 4FKBH2X0ME

URI	`m2://inv/4FKBH2X0ME`
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.28808#P4VY (statement)

History

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

4FKC2Q5AZ8 4FKC2Q5AZ8

URI	`m2://inv/4FKC2Q5AZ8`
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.20242#M7DE (statement). In TAX627CRH2/e1, proposition 2.3

History

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

4FKH3ZHGHP 4FKH3ZHGHP

URI	`m2://inv/4FKH3ZHGHP`
Kind	statement
Layer	research
MSC	13-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.10925#4IWE (statement). In 9604WYX0BW/e1, lemma 5.3

History

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

Alabama paradox 4FKJMTZBQM

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

Mentions

wikipedia: Wikipedia Apportionment paradox#0OLY, Alabama paradox (statement)

History

2026-11-02: add by m2/dev

4FKMJVHVM7 4FKMJVHVM7

URI	`m2://inv/4FKMJVHVM7`
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.35678#THEC (statement). In 4X4ZS7CEKD/e1, theorem 2

History

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

Expected utility of a strategy profile 4FM1HD4JWW

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

Mentions

arxiv: arXiv 2609.26265#PZ5X, Expected utility of a strategy profile (definition)

History

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

Examples 4FM3ZRDQGM

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

Mentions

wikipedia: Wikipedia Η set#L72I, Examples (example)

History

2026-11-02: add by m2/dev

ISBN 4FMHQRHCYW

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#W2AI, ISBN (unknown)

History

2026-11-02: add by m2/dev

4FMKB9BP6P 4FMKB9BP6P

URI	`m2://inv/4FMKB9BP6P`
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 2506.16491#SBUK (statement). In P9J6P06Y40/e1, lemma 6.4

History

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

4FMN32M4GN 4FMN32M4GN

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

Mentions

arxiv: arXiv 2609.23202#CDS6 (statement)

History

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

Mark Vishik's seminar at Moscow State University 4FMN6ENNM8

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

Mentions

wikipedia: Wikipedia Mark Vishik#E59H, Mark Vishik's seminar at Moscow State University (unknown)

History

2026-11-02: add by m2/dev

4FMNZ6442P 4FMNZ6442P

URI	`m2://inv/4FMNZ6442P`
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 2308.05066#LNAN (statement). In 1QSCT53ZED/e1, lemma 2.6

History

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

Frank den Hollander 4FN61SGYHV

URI	`m2://inv/4FN61SGYHV`
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#EIF4, Frank den Hollander (topic)

History

2026-11-02: add by m2/dev

Vega (finance) 4FNGA4HTKJ

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

Mentions

wikipedia: Wikipedia Greeks (finance)#IFF9, Vega (finance) (unknown)

History

2026-11-02: add by m2/dev

Nicolaas Marinus Hugenholtz 4FNMXT20P4

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VFEV, Nicolaas Marinus Hugenholtz (unknown)

History

2026-11-02: add by m2/dev

4FP7A70EWK 4FP7A70EWK

URI	`m2://inv/4FP7A70EWK`
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 1904.09810#2LP5 (definition). In T1VFA7TXPA/e1, definition 68

History

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

Lévy skew alpha-stable distribution 4FP7CNC4WK

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

Mentions

wikipedia: Wikipedia List of probability distributions#079V, Lévy skew alpha-stable distribution (definition)

History

2026-11-02: add by m2/dev

4FP9F81CHW 4FP9F81CHW

URI	`m2://inv/4FP9F81CHW`
Kind	definition
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.26366#496X (definition)

History

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

Special cases 4FPASGF9WF

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

Mentions

wikipedia: Wikipedia Diminished trapezohedron#MOXS, Special cases (statement)

History

2026-11-02: add by m2/dev

4FPBNFMCTD 4FPBNFMCTD

URI	`m2://inv/4FPBNFMCTD`
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#9X2T (statement)

History

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

4FPCY0XTZZ 4FPCY0XTZZ

URI	`m2://inv/4FPCY0XTZZ`
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.21529#4ITN (statement)

History

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

4FPEZHW79C 4FPEZHW79C

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

Mentions

open_logic: open_logic content/methods/proofs/using-definitions.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 45.4

History

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

Example 4FPHN3VV0B

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

Mentions

wikipedia: Wikipedia Wave equation#TRW4, Example (example)

History

2026-11-02: add by m2/dev

Masanori Ohya 4FPP8F8PQJ

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

Mentions

wikipedia: Wikipedia Masanori Ohya, Masanori Ohya (topic). Also Wikidata Q6782591
wikipedia: Wikipedia Shoichiro Sakai, Shoichiro Sakai (topic). Also Wikidata Q1542902

History

2026-11-02: add by m2/dev

4FPS277Q0K 4FPS277Q0K

URI	`m2://inv/4FPS277Q0K`
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.31220#SSG2 (statement). In JMWCGMNE84/e1, theorem 5.3

History

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

Serial dependence 4FQ4F3YJPS

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

Mentions

wikipedia: Wikipedia Autocorrelation#GLR2, Serial dependence (unknown)

History

2026-11-02: add by m2/dev

Gödel numbering 4FQCKQPF76

URI	`m2://inv/4FQCKQPF76`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Gödel numbering MFJXPAF0R0

Mentions

wikidata: Wikidata Q1451046, Gödel numbering (concept). Also nLab Gödel numbering
wikipedia: Wikipedia Gödel numbering, Gödel numbering (definition). Also Wikidata Q1451046

History

2026-10-26: add by m2/dev

4FQDMNGFX4 4FQDMNGFX4

URI	`m2://inv/4FQDMNGFX4`
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 2401.00191#7N19 (statement). In ZMH2KJDAWJ/e1, theorem 3.6

History

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

Limit at infinity 4FQEYKFFEK

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

Mentions

wikipedia: Wikipedia Limit of a function#QUYF, Limit at infinity (unknown)

History

2026-11-02: add by m2/dev

Statement 4FQN5QA056

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

Mentions

wikipedia: Wikipedia Finsler–Hadwiger theorem#F7SV, Statement (statement)

History

2026-11-02: add by m2/dev

4FQZ8TM3J0 4FQZ8TM3J0

URI	`m2://inv/4FQZ8TM3J0`
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 2610.05973#OUUW (statement). In APGTNJ233H/e1, lemma 2.2

History

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

Example 4FR6XG344N

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

Mentions

wikipedia: Wikipedia Ackermann function#F5FO, Example (example)

History

2026-11-02: add by m2/dev

4FR9TRKDAT 4FR9TRKDAT

URI	`m2://inv/4FR9TRKDAT`
Kind	statement
Layer	research
MSC	49-XX, 62-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.11869#2W4S (statement). In B5GGGWNJA6/e1, lemma 1

History

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

4FRKMSGP7Y 4FRKMSGP7Y

URI	`m2://inv/4FRKMSGP7Y`
Kind	statement
Layer	research
MSC	14-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.06669#0W4D (statement). In YXD3950ZXR/e1, lemma A.1

History

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

Pressure distribution in a water wave 4FRPTXJB00

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

Mentions

wikipedia: Wikipedia Airy wave theory#SFM9, Pressure distribution in a water wave (unknown)

History

2026-11-02: add by m2/dev

4FRRWRVGWF 4FRRWRVGWF

URI	`m2://inv/4FRRWRVGWF`
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.13556#H84Z (statement). In 5ZB8N3YY72/e1, lemma 5.2

History

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

4FRT4WYXE4 4FRT4WYXE4

URI	`m2://inv/4FRT4WYXE4`
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#8VPB (definition). In B8MJT0GGW8/e1, definition 3.18

History

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

Centre 4FRTY9DQBH

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#MOZV, Centre (definition)

History

2026-11-02: add by m2/dev

density of rational numbers 4FS0EK632M

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

Mentions

lebl_ra: lebl_ra index/7.2.2/density-of-rational-numbers, density of rational numbers (concept). In E59CDZA4DP, index, section 7.2.2

History

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

Determinant identity 4FS5FPWAXZ

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

Mentions

arxiv: arXiv 2609.25762#KLOG, Determinant identity (statement)

History

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

Exponential dichotomy 4FS7YH0PM2

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

Mentions

wikipedia: Wikipedia Exponential dichotomy, Exponential dichotomy (definition). Also Wikidata Q5421516

History

2026-11-02: add by m2/dev

4FSPTTFHPN 4FSPTTFHPN

URI	`m2://inv/4FSPTTFHPN`
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.13378#R3RL (statement). In QAH7SV1JT6/e1, theorem 1.2

History

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

C. S. Venkataraman 4FSRXZ0NHC

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

Mentions

wikipedia: Wikipedia C. S. Venkataraman, C. S. Venkataraman (topic). Also Wikidata Q5006217

History

2026-11-02: add by m2/dev

free, generation of an inductive type 4FT4956FSB

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

Mentions

hott_book: hott_book index/8.8/free-generation-of-an-inductive-type, free, generation of an inductive type (concept). In N54F33XE07, index, section 8.8

History

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

SMAWK algorithm 4FT8DGX1SK

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

Mentions

wikipedia: Wikipedia SMAWK algorithm, SMAWK algorithm (definition). Also Wikidata Q17103377

History

2026-11-02: add by m2/dev

Properties 4FT8PM3013

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

Mentions

wikipedia: Wikipedia Square cupola#CBKD, Properties (statement)

History

2026-11-02: add by m2/dev

Construction 4FT92NHDE6

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

Mentions

wikipedia: Wikipedia Truncated dodecahedron#MH3Z, Construction (definition)

History

2026-11-02: add by m2/dev

4FTB69BZ1X 4FTB69BZ1X

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#prop-1 (statement). In E59CDZA4DP, prop, section 11.1.1

History

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

4FTCG4VBZ2 4FTCG4VBZ2

URI	`m2://inv/4FTCG4VBZ2`
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.02061#4G23 (statement). In F5STMSPR6X/e1, theorem 4.4

History

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

Minimal residual method 4FTCHTDTXW

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

Mentions

wikipedia: Wikipedia Minimal residual method, Minimal residual method (definition). Also Wikidata Q1453478

History

2026-11-02: add by m2/dev

Oswaldo Castro 4FTCZGZ9SY

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

Mentions

wikipedia: Wikipedia Oswaldo Castro, Oswaldo Castro (topic). Also Wikidata Q104762381

History

2026-11-02: add by m2/dev

4FTFPXTSVP 4FTFPXTSVP

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#cor:two-sided inverse (statement). In P1C114YBXG, corollary, section 1

History

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

Slack variable 4FTKBZMXZ7

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

Mentions

wikipedia: Wikipedia Slack variable, Slack variable (definition). Also Wikidata Q1765718

History

2026-11-02: add by m2/dev

4FTMAYZMZW 4FTMAYZMZW

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

Mentions

arxiv: arXiv 2610.08385#3NX0 (statement). In D979582ST2/e1, lemma 8

History

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

4FTQBHBREC 4FTQBHBREC

URI	`m2://inv/4FTQBHBREC`
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.03988#QWHK (statement). In PQ2X97H1T9/e1, corollary 1.2

History

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

4FTQD0Q61C 4FTQD0Q61C

URI	`m2://inv/4FTQD0Q61C`
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.28669#7T3J (statement)

History

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

4FTXD623K9 4FTXD623K9

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-74 (proof). In VNMV985MXX, proof, section 6.4

History

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

Weyl algebra 4FV2RS9XYT

URI	`m2://inv/4FV2RS9XYT`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Weyl algebra 98QE7KY55W

Mentions

wikidata: Wikidata Q1069378, Weyl algebra (concept). Also nLab Weyl algebra
wikipedia: Wikipedia Weyl algebra, Weyl algebra (definition). Also Wikidata Q1069378

History

2026-10-26: add by m2/dev

Examples 4FV3VZA6C7

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

Mentions

wikipedia: Wikipedia Biconnected graph#AOWO, Examples (example)

History

2026-11-02: add by m2/dev

Frank B. James 4FV884KY65

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#ZORM, Frank B. James (unknown)

History

2026-11-02: add by m2/dev

Complement of a language 4FVC3Q0FR9

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

Mentions

wikipedia: Wikipedia Formal language#L3GH, Complement of a language (unknown)

History

2026-11-02: add by m2/dev

Log-logistic distribution 4FVD62HFQP

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

Mentions

wikipedia: Wikipedia Log-logistic distribution, Log-logistic distribution (definition). Also Wikidata Q3258534

History

2026-11-02: add by m2/dev

Reinhardt domain, complete 4FVETSWR5V

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

Mentions

lebl_scv: lebl_scv index/2.6/reinhardt-domain-complete, Reinhardt domain, complete (concept). In VNMV985MXX, index, section 2.6

History

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

4FVNFVD5DB 4FVNFVD5DB

URI	`m2://inv/4FVNFVD5DB`
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.36717#M69A (statement). In 69FBWG9P3B/e1, lemma 3.11

History

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

4FVQ283W7Z 4FVQ283W7Z

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

Mentions

arxiv: arXiv 2312.06581#NF4B (statement). In WXJ2V3HA2R/e1, lemma 2.3

History

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

Inside-outside algorithm 4FW0RE3DPH

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

Mentions

wikipedia: Wikipedia List of algorithms#J4ZS, Inside-outside algorithm (unknown)

History

2026-11-02: add by m2/dev

Miodrag Petković 4FW80ZF6SJ

URI	`m2://inv/4FW80ZF6SJ`
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 Q6871366, Miodrag Petković (unknown). Also ProofWiki Mathematician:Miodrag_S._Petković

History

2026-10-26: add by m2/dev

4FWGQ8F6F7 4FWGQ8F6F7

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#prop-2 (statement). In E59CDZA4DP, prop, section 2.1.2

History

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

Examples 4FWKKTNETE

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

Mentions

wikipedia: Wikipedia Springer resolution#5KMJ, Examples (example)

History

2026-11-02: add by m2/dev

4FWMNAACPT 4FWMNAACPT

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-21 (exercise). In E59CDZA4DP, exercise, section 6.3.3

History

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

4FWN0WES34 4FWN0WES34

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

Mentions

hott_book: hott_book homotopy.tex#lem:hspace-S1 (statement). In N54F33XE07, lem, section 7.5.3

History

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

Sharp maximum 4FWSYWMFQQ

URI	`m2://inv/4FWSYWMFQQ`
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.01328#USJT, Sharp maximum (statement). In GNY2MTPWW6/e1, theorem 4.3

History

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

Bounded quantifier 4FWVZGZENE

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

Mentions

wikipedia: Wikipedia Bounded quantifier, Bounded quantifier (definition). Also Wikidata Q4949986

History

2026-11-02: add by m2/dev

4FX0QYX93Q 4FX0QYX93Q

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

Mentions

arxiv: arXiv 2610.08074#0FSO (statement). In ZRPYF750AV/e1, theorem B

History

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

4FX5HY0NAZ 4FX5HY0NAZ

URI	`m2://inv/4FX5HY0NAZ`
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.09562#VQRD (statement). In 2XH87FWG8Y/e1, theorem 3.3

History

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

Utility maximization problem 4FX9X0ZVK9

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

Mentions

wikipedia: Wikipedia Utility maximization problem, Utility maximization problem (problem). Also Wikidata Q3274096

History

2026-11-02: add by m2/dev

4FXF9KAXFB 4FXF9KAXFB

URI	`m2://inv/4FXF9KAXFB`
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 2204.01073#I3Y9 (statement). In W4TYN4PGE8/e1, corollary 3.9

History

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

Poincaré lemma with compact support 4FXKP42T1A

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

Mentions

wikipedia: Wikipedia Poincaré lemma#8TNH, Poincaré lemma with compact support (statement)

History

2026-11-02: add by m2/dev

Hooke's law 4FXNATG604

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

Mentions

wikipedia: Wikipedia Hooke's law, Hooke's law (statement). Also Wikidata Q170282

History

2026-11-02: add by m2/dev

Symmetry 4FXSJH0T05

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

Mentions

wikipedia: Wikipedia Floral formula#P27Z, Symmetry (statement)

History

2026-11-02: add by m2/dev

4FXSTWMT7K 4FXSTWMT7K

URI	`m2://inv/4FXSTWMT7K`
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.26984#5HJ5 (statement)

History

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

4FXXEDFQYP 4FXXEDFQYP

URI	`m2://inv/4FXXEDFQYP`
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.21298#Q7SD (statement). In AXWM2MBYXV/e1, theorem 1.7

History

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

4FXY9Z5WS6 4FXY9Z5WS6

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

Mentions

arxiv: arXiv 2610.03559#FSX5 (statement). In R68THJCHX6/e1, corollary 1

History

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

Galois group 4FXZPB579M

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

Mentions

wikipedia: Wikipedia Glossary of field theory#8XL7, Galois group (definition)

History

2026-11-02: add by m2/dev

size 4FY1R5JP7C

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#KK76, size (definition)

History

2026-11-02: add by m2/dev

\textbf{Finite-time error estimates for UBU-type ULMC schemes 4FY4DF471E

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

Mentions

arxiv: arXiv 2609.20713#V64J, \textbf{Finite-time error estimates for UBU-type ULMC schemes (statement)

History

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

4FY80W161Y 4FY80W161Y

URI	`m2://inv/4FY80W161Y`
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.26450#SHWY (statement)

History

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

Agmon's inequality 4FY8XZ0EKN

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

Mentions

wikipedia: Wikipedia Agmon's inequality, Agmon's inequality (statement). Also Wikidata Q4692965

History

2026-11-02: add by m2/dev

Definition 4FYB81GWXR

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

Mentions

wikipedia: Wikipedia Theil–Sen estimator#LYDF, Definition (definition)

History

2026-11-02: add by m2/dev

acnode 4FYBFMNPWN

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#MNR8, acnode (definition)

History

2026-11-02: add by m2/dev

4FYDGNGTYH 4FYDGNGTYH

URI	`m2://inv/4FYDGNGTYH`
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.13846#STKX (statement). In DN3HGHGRYJ/e1, proposition 6.4

History

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

nilradical 4FYPZDQF52

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#MSA7, nilradical (definition)

History

2026-11-02: add by m2/dev

scalene triangle 4FYQDN5STE

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

Mentions

wikidata: Wikidata Q4897191, scalene triangle (unknown). Also MathWorld ScaleneTriangle

History

2026-10-26: add by m2/dev

Leah Findlater 4FYQFPC108

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#279M, Leah Findlater (unknown)

History

2026-11-02: add by m2/dev

real vector bundle 4FZ0ZEG2S7

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

Mentions

wikidata: Wikidata Q78351921, real vector bundle (unknown). Also MathWorld RealVectorBundle, nLab real vector bundle

History

2026-10-26: add by m2/dev

Example 4FZ87MP9RS

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

Mentions

wikipedia: Wikipedia Caustic (mathematics)#T0MB, Example (example)

History

2026-11-02: add by m2/dev

4FZAMNQHAE 4FZAMNQHAE

URI	`m2://inv/4FZAMNQHAE`
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.32338#X52E (statement). In HVY45JQRNK/e1, corollary 5.2

History

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

4FZB0AQZ07 4FZB0AQZ07

URI	`m2://inv/4FZB0AQZ07`
Kind	statement
Layer	research
MSC	14-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.05850#9O5X (statement). In D424GB5MAW/e1, proposition 3.2

History

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

HSTS Preload List 4FZC8YB46A

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

Mentions

wikipedia: Wikipedia HTTP Strict Transport Security#QWZP, HSTS Preload List (unknown)

History

2026-11-02: add by m2/dev

Spectral theorem 4FZJ3350XA

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

Mentions

wikipedia: Wikipedia Spectral theory of normal C*-algebras#A1Z8, Spectral theorem (statement)

History

2026-11-02: add by m2/dev