Inventory rows 5R

5R01XK6SCJ 5R01XK6SCJ

URI	`m2://inv/5R01XK6SCJ`
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.14838#790W (statement). In J7ZX3WWRQP/e1, theorem 3.12

History

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

natural deduction 5R025R12ZQ

URI	`m2://inv/5R025R12ZQ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Natural deduction 6KT3BJZ7D1

Mentions

wikidata: Wikidata Q1572108, natural deduction (unknown). Also nLab natural deduction
wikipedia: Wikipedia Natural deduction, Natural deduction (definition). Also Wikidata Q1572108

History

2026-10-26: add by m2/dev

Michael Somos 5R046CPSRB

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

Mentions

wikipedia: Wikipedia Michael Somos, Michael Somos (topic). Also Wikidata Q6834512

History

2026-11-02: add by m2/dev

\texttt{Explicit form of the Lagrange multiplier 5R0916RX8F

URI	`m2://inv/5R0916RX8F`
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.06343#YW6P, \texttt{Explicit form of the Lagrange multiplier (statement). In R8176XJ535/e1, theorem 4.1

History

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

5R0ANW9K08 5R0ANW9K08

URI	`m2://inv/5R0ANW9K08`
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.14055#0FRG (statement). In AKMGN13HE1/e1, theorem 1.1

History

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

Principles of MHE 5R0DSF8689

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

Mentions

wikipedia: Wikipedia Moving horizon estimation#8XPO, Principles of MHE (statement)

History

2026-11-02: add by m2/dev

Bézier surface 5R0JC68Q9N

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

Mentions

wikipedia: Wikipedia List of numerical computational geometry topics#EMC3, Bézier surface (definition)
wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#EJEA, Bézier surface (definition)

History

2026-11-02: add by m2/dev

5R0JCA13KY 5R0JCA13KY

URI	`m2://inv/5R0JCA13KY`
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.19437#42AX (statement). In 9PXXGQ978Z/e1, lemma 2.8

History

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

Topics in cryptography 5R0MKJ9KBP

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

Mentions

wikipedia: Wikipedia List of number theory topics#T2W1, Topics in cryptography (topic)

History

2026-11-02: add by m2/dev

Outer descent with infeasible iterates 5R0NP354TP

URI	`m2://inv/5R0NP354TP`
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.34099#R3H7, Outer descent with infeasible iterates (statement). In 4X2SAM9HR2/e1, lemma 4

History

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

A small OCPT and its generator cospans 5R0SF3SC7Q

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

Mentions

arxiv: arXiv 2609.20478#W1GL, A small OCPT and its generator cospans (example)

History

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

Inverse-chi-squared distribution 5R0VR2GRT2

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

Mentions

wikidata: Wikidata Q3258519, Inverse-chi-squared distribution (unknown). Also MathWorld InverseChi-SquaredDistribution
wikipedia: Wikipedia Inverse-chi-squared distribution, Inverse-chi-squared distribution (definition). Also Wikidata Q3258519

History

2026-10-26: add by m2/dev

5R16G7V8YJ 5R16G7V8YJ

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

Mentions

arxiv: arXiv 2610.20593#4NH5 (definition). In 7GMD8J4200/e1, definition 20

History

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

A fixed family of transverse sections 5R18N7JPZ8

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

Mentions

arxiv: arXiv 2610.12351#QYU8, A fixed family of transverse sections (statement). In G1S5YM8TSR/e1, lemma 2.1

History

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

5R1A3G8Y0E 5R1A3G8Y0E

URI	`m2://inv/5R1A3G8Y0E`
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 2411.05198#RTZD (statement). In NJWY6HPFHG/e1, lemma 10

History

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

5R1GX6KZXA 5R1GX6KZXA

URI	`m2://inv/5R1GX6KZXA`
Kind	definition
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.21092#2QBQ (definition). In AGJE43FTF8/e1, definition 8.9

History

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

5R1HBFC9WC 5R1HBFC9WC

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

Mentions

arxiv: arXiv 0809.4587#PTMG (statement). In KQ8JPHDKKE/e1, proposition 9.3.1

History

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

Inverse-variance weighting 5R1Q6ED4CN

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

Mentions

wikipedia: Wikipedia List of statistics articles#GB3W, Inverse-variance weighting (definition)

History

2026-11-02: add by m2/dev

5R1WPX7JQ7 5R1WPX7JQ7

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-24 (exercise). In VNMV985MXX, exercise, section 1.2

History

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

Equiangular polygon theorem 5R2299EYJY

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

Mentions

wikipedia: Wikipedia Equiangular polygon#JJ8A, Equiangular polygon theorem (statement)

History

2026-11-02: add by m2/dev

5R24T99J5A 5R24T99J5A

URI	`m2://inv/5R24T99J5A`
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.07530#P92U (statement). In C7QZ0VPBC8/e1, proposition A.5

History

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

Example 5R24WF5YTH

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

Mentions

wikipedia: Wikipedia Change of basis#LJMM, Example (example)

History

2026-11-02: add by m2/dev

Dual norm 5R2C217GTP

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

Mentions

wikipedia: Wikipedia Dual norm, Dual norm (definition). Also Wikidata Q5310221

History

2026-11-02: add by m2/dev

spirolateral 5R2ET8G09W

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

Mentions

wikidata: Wikidata Q106515296, spirolateral (unknown). Also MathWorld Spirolateral
wikipedia: Wikipedia Spirolateral, Spirolateral (definition). Also Wikidata Q106515296

History

2026-10-26: add by m2/dev

5R2QVV8HTV 5R2QVV8HTV

URI	`m2://inv/5R2QVV8HTV`
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.30354#KVAA (statement). In B81DM51XSK/e1, theorem 1

History

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

5R33SW1GBY 5R33SW1GBY

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

Mentions

arxiv: arXiv 2610.18270#CY6K (statement). In CPDMYJ0NJV/e1, lemma 6.6

History

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

5R36A5WNH8 5R36A5WNH8

URI	`m2://inv/5R36A5WNH8`
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.13913#C8MW (statement). In BW5GVH97JE/e1, theorem 1.2

History

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

Dependent-pair bound 5R385HWB65

URI	`m2://inv/5R385HWB65`
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.40252#UGXF, Dependent-pair bound (statement). In 7MVPNFPRKB/e1, lemma 5.4

History

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

5R388R30G1 5R388R30G1

URI	`m2://inv/5R388R30G1`
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.30637#GD79 (statement). In 6G1KBA0SXV/e1, lemma 3.29

History

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

Optimal information-bounded decision representation 5R3AFY6YSN

URI	`m2://inv/5R3AFY6YSN`
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.11038#2FL5, Optimal information-bounded decision representation (statement). In RY8QBYR4SE/e1, theorem 5.1

History

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

Cost of backward evaluation 5R3FETV71K

URI	`m2://inv/5R3FETV71K`
Kind	statement
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#VEAJ, Cost of backward evaluation (statement)

History

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

Fluid–structure interaction 5R3FWM0YX3

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

Mentions

wikipedia: Wikipedia Fluid–structure interaction, Fluid–structure interaction (definition). Also Wikidata Q478010

History

2026-11-02: add by m2/dev

5R3HVJ3D35 5R3HVJ3D35

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

History

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

5R425F8R4B 5R425F8R4B

URI	`m2://inv/5R425F8R4B`
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.15770#88WY (statement). In DXFR0BNE47/e1, lemma 3.2

History

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

Audrey Terras 5R45JR9TEC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0WQP, Audrey Terras (topic)

History

2026-11-02: add by m2/dev

Example 5R45MSXQW4

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

Mentions

wikipedia: Wikipedia Fermat primality test#D4DF, Example (example)

History

2026-11-02: add by m2/dev

5R4A0ESTHE 5R4A0ESTHE

URI	`m2://inv/5R4A0ESTHE`
Kind	statement
Layer	research
MSC	35-XX, 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 2501.01612#CVOG (statement). In A5KESSK05N/e1, lemma 4.1

History

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

Forty Mile 5R4WQ1F8RK

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

Mentions

wikipedia: Wikipedia List of places with numeric names#XZDI, Forty Mile (unknown)

History

2026-11-02: add by m2/dev

5R50RB9NFK 5R50RB9NFK

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#definition-1 (definition). In P1C114YBXG, definition, section H

History

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

5R51K8122W 5R51K8122W

URI	`m2://inv/5R51K8122W`
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 1903.07030#ONSA (definition). In 9H45HQE7AZ/e1, definition 3.46

History

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

Tiles 5R529T9092

URI	`m2://inv/5R529T9092`
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#9NNN, Tiles (definition). In REDG6QVHM3/e1, definition 9.6

History

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

Slater Bradley 5R538SBMV7

URI	`m2://inv/5R538SBMV7`
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#L211, Slater Bradley (unknown)

History

2026-11-02: add by m2/dev

5R57FCM43G 5R57FCM43G

URI	`m2://inv/5R57FCM43G`
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.02097#WZA8 (statement). In DQSRCCAG6G/e1, theorem 1

History

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

5R5B0SRWBD 5R5B0SRWBD

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

Mentions

open_logic: open_logic content/set-theory/ordinals/basic.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 72.2

History

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

Uniform concentration of empirical rooted signatures 5R5BR7SPCG

URI	`m2://inv/5R5BR7SPCG`
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 2607.01358#UMOC, Uniform concentration of empirical rooted signatures (statement). In H808CYZ7YM/e1, theorem 4.1

History

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

Azumaya algebra 5R5CZ0M66E

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

Mentions

wikipedia: Wikipedia List of algebras#I3O2, Azumaya algebra (definition)

History

2026-11-02: add by m2/dev

5R5GFMR61S 5R5GFMR61S

URI	`m2://inv/5R5GFMR61S`
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.02870#91H1 (statement). In JJQQJ4KX94/e1, theorem 3.14

History

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

5R5GTVA5KM 5R5GTVA5KM

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

Mentions

arxiv: arXiv 2610.09333#4NJ4 (definition). In Z9HC1EDTQP/e1, definition 2.8

History

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

Σ3-formulas and concepts 5R5K5EB8DH

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

Mentions

wikipedia: Wikipedia Lévy hierarchy#STXP, Σ3-formulas and concepts (statement)

History

2026-11-02: add by m2/dev

Marinus of Tyre 5R5NSS8E1K

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

Mentions

wikipedia: Wikipedia Marinus of Tyre, Marinus of Tyre (topic). Also Wikidata Q706319

History

2026-11-02: add by m2/dev

5R621P0HYA 5R621P0HYA

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

Mentions

arxiv: arXiv 2508.21045#2G8D (statement). In CGA36VE1C5/e1, fact 3.8.3

History

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

5R6807152R 5R6807152R

URI	`m2://inv/5R6807152R`
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.10745#XFMY (statement). In 5MJ4NJ5ZCV/e1, lemma 2.26

History

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

enumerable set 5R6AG7WD6E

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

Mentions

wikipedia: Wikipedia Glossary of set theory#88Y6, enumerable set (definition)

History

2026-11-02: add by m2/dev

Gibbs sampling 5R6CV82B6C

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

Mentions

wikipedia: Wikipedia Gibbs sampling, Gibbs sampling (definition). Also Wikidata Q1191905

History

2026-11-02: add by m2/dev

Exponential transform for the entropic reflected quadratic BSDE 5R6JQBX9PN

URI	`m2://inv/5R6JQBX9PN`
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.23768#F1Z7, Exponential transform for the entropic reflected quadratic BSDE (statement)

History

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

Norm 5R6NEB1J2Y

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

Mentions

wikipedia: Wikipedia Norm (abelian group), Norm (definition). Also Wikidata Q7051412

History

2026-11-02: add by m2/dev

Suspension 5R6P5AANAB

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

Mentions

wikipedia: Wikipedia Suspension (dynamical systems), Suspension (definition). Also Wikidata Q7649214

History

2026-11-02: add by m2/dev

5R71Y98SD6 5R71Y98SD6

URI	`m2://inv/5R71Y98SD6`
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.16554#4JQ7 (statement). In GWNT8HEZG1/e1, corollary 4.35

History

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

5R74WSFMXD 5R74WSFMXD

URI	`m2://inv/5R74WSFMXD`
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.37584#AKMR (statement). In 66F6N3BJWV/e1, proposition 4.4

History

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

5R75PCGKSB 5R75PCGKSB

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

Mentions

napkin: napkin tex/alg-NT/artin.tex#example-4 (example). In RZP28ERRZV, example, section 8.5

History

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

the exact universal exponent 5R797NFDMG

URI	`m2://inv/5R797NFDMG`
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#00AO, the exact universal exponent (statement)

History

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

5R7C2DV66A 5R7C2DV66A

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

Mentions

arxiv: arXiv 2610.18847#GN62 (statement). In DZ12XTTJSM/e1, proposition 5.3

History

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

Generalizations 5R7CMRPT4M

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

Mentions

wikipedia: Wikipedia Weierstrass transform#H3Z2, Generalizations (statement)

History

2026-11-02: add by m2/dev

Tim Holt 5R7F1AF8RY

URI	`m2://inv/5R7F1AF8RY`
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#J4QB, Tim Holt (unknown)

History

2026-11-02: add by m2/dev

5R7KNWAA6C 5R7KNWAA6C

URI	`m2://inv/5R7KNWAA6C`
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.39307#UR0X (statement). In QFBGPGRP1P/e1, lemma 3.5

History

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

5R7WNHZRW8 5R7WNHZRW8

URI	`m2://inv/5R7WNHZRW8`
Kind	example
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.24577#UH7H (example)

History

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

5R7WNRSF71 5R7WNRSF71

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

Mentions

arxiv: arXiv 2610.10469#MXD2 (statement). In Q39BEKW6D9/e1, proposition 2.11

History

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

Field expansion lemma 5R816ECTVA

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

Mentions

wikipedia: Wikipedia Arrow's impossibility theorem#HGH3, Field expansion lemma (statement)

History

2026-11-02: add by m2/dev

proper 5R8CM001C0

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#ZLGB, proper (definition)

History

2026-11-02: add by m2/dev

5R8DBBXKKB 5R8DBBXKKB

URI	`m2://inv/5R8DBBXKKB`
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 2609.28357#M05M (statement)

History

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

Homogeneous power converts the common radial index to one 5R8DQDNNZ6

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

Mentions

arxiv: arXiv 2609.29658#3TQT, Homogeneous power converts the common radial index to one (statement)

History

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

5R8E32NCQJ 5R8E32NCQJ

URI	`m2://inv/5R8E32NCQJ`
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 2112.05010#1F4C (statement). In 4SZNPS3Z00/e1, proposition 4.13

History

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

Věra Trnková 5R8GFE40RS

URI	`m2://inv/5R8GFE40RS`
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 Q68642069, Věra Trnková (unknown). Also nLab Věra Trnková

History

2026-10-26: add by m2/dev

5R8K36BRBB 5R8K36BRBB

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

Mentions

arxiv: arXiv 2610.18620#SASB (statement). In 6WJ0R9YEBR/e1, proposition 4.10

History

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

Rasmussen Reports 5R8QTNX7K4

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

Mentions

wikipedia: Wikipedia List of polling organizations#4PCQ, Rasmussen Reports (unknown)

History

2026-11-02: add by m2/dev

No-wandering-domain theorem 5R92B11G5Q

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

Mentions

mathlib_1000: mathlib_1000 Q4455025, No wandering domain theorem (statement). Also Wikidata Q4455025
thousand_plus: thousand_plus Q4455025, No wandering domain theorem (statement). Also Wikidata Q4455025, Wikipedia No wandering domain theorem
wikipedia: Wikipedia No-wandering-domain theorem, No-wandering-domain theorem (statement). Also Wikidata Q4455025

History

2026-10-26: add by m2/dev

5R9AFVE89K 5R9AFVE89K

URI	`m2://inv/5R9AFVE89K`
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.28143#VC9Y (statement)

History

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

Amin Shokrollahi 5R9AKWXW16

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#LPHL, Amin Shokrollahi (topic)

History

2026-11-02: add by m2/dev

Heteroscedasticity 5R9CSNX7CY

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

Mentions

wikipedia: Wikipedia List of statistics articles#VLF7, Heteroscedasticity (definition)

History

2026-11-02: add by m2/dev

Avi Wigderson 5R9CYVNJPY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#KNGI, Avi Wigderson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HFHM, Avi Wigderson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P19G, Avi Wigderson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X9EF, Avi Wigderson (topic)

History

2026-11-02: add by m2/dev

Otto E. Neugebauer 5R9M8WGH5G

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

Mentions

wikipedia: Wikipedia Otto E. Neugebauer, Otto E. Neugebauer (topic). Also Wikidata Q111996

History

2026-11-02: add by m2/dev

Compatible system of ℓ-adic representations 5R9PHVSJ67

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

Mentions

wikipedia: Wikipedia Compatible system of ℓ-adic representations, Compatible system of ℓ-adic representations (definition). Also Wikidata Q5156162

History

2026-11-02: add by m2/dev

5R9PYJVJ6J 5R9PYJVJ6J

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

Mentions

arxiv: arXiv 2609.29531#ZU01 (statement)

History

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

5R9QB9Z4VW 5R9QB9Z4VW

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

Mentions

arxiv: arXiv 2610.12131#QHSJ (definition). In NYT07WF46A/e1, definition 3.5

History

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

5R9RD7BNH5 5R9RD7BNH5

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

Mentions

arxiv: arXiv 2610.17541#WO7J (definition). In 9PHDBFMHH6/e1, definition

History

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

Hans Zassenhaus 5R9VD5GX4C

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#T7X0, Hans Zassenhaus (topic)
wikipedia: Wikipedia List of German mathematicians#9QU3, Hans Zassenhaus (topic)

History

2026-11-02: add by m2/dev

multiplicative magic square 5R9VPQ3YYC

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

Mentions

wikidata: Wikidata Q2940400, multiplicative magic square (unknown). Also MathWorld MultiplicationMagicSquare

History

2026-10-26: add by m2/dev

5RA00PKQJH 5RA00PKQJH

URI	`m2://inv/5RA00PKQJH`
Kind	definition
Layer	research
MSC	05-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.39593#14HA (definition). In BF0RYHPMS1/e1, definition 4.8

History

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

5RA671SS6X 5RA671SS6X

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

Mentions

arxiv: arXiv 2609.26386#BOOF (definition)

History

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

Epoch $\Omega$-regularized $Q$-learning with $\alpha_j\equiv 1$ 5RA85KMK33

URI	`m2://inv/5RA85KMK33`
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.14988#YK19, Epoch $\Omega$-regularized $Q$-learning with $\alpha_j\equiv 1$ (statement). In B29M4E6KGC/e1, theorem 2

History

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

Examples 5RA93FCDZ8

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

Mentions

wikipedia: Wikipedia Convex conjugate#QR32, Examples (example)

History

2026-11-02: add by m2/dev

Delfino Codazzi 5RAD0TEJP8

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#OU0C, Delfino Codazzi (topic)

History

2026-11-02: add by m2/dev

Nash embedding theorem 5RAESR75NK

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

Mentions

wikipedia: Wikipedia List of theorems#N2MI, Nash embedding theorem (statement)

History

2026-11-02: add by m2/dev

Statement of the lemma 5RAJPJ7RKC

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

Mentions

wikipedia: Wikipedia Morse–Palais lemma#6T4H, Statement of the lemma (statement)

History

2026-11-02: add by m2/dev

5RAVJSZ7SR 5RAVJSZ7SR

URI	`m2://inv/5RAVJSZ7SR`
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#C9UU (statement). In 6DZPR52HRP/e1, theorem 3.1

History

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

5RB0BZMHT4 5RB0BZMHT4

URI	`m2://inv/5RB0BZMHT4`
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.26401#17TD (statement)

History

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

Dupin hypersurface 5RB2XB8CSH

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

Mentions

wikipedia: Wikipedia Dupin hypersurface, Dupin hypersurface (definition). Also Wikidata Q25080784

History

2026-11-02: add by m2/dev

5RB4879MK0 5RB4879MK0

URI	`m2://inv/5RB4879MK0`
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.24845#IDW3 (statement)

History

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

5RB5P9K9FZ 5RB5P9K9FZ

URI	`m2://inv/5RB5P9K9FZ`
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 2409.19687#OVBK (statement). In GWP0HYMDE3/e1, lemma 1

History

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

Gauss's lemma 5RB8S2099G

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

Mentions

wikipedia: Wikipedia Gauss's lemma (number theory), Gauss's lemma (statement). Also Wikidata Q2526246

History

2026-11-02: add by m2/dev

Rebekah Brooks 5RBHRH97HS

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#GKBB, Rebekah Brooks (unknown)

History

2026-11-02: add by m2/dev

Preservation of stability 5RBJTGM43Y

URI	`m2://inv/5RBJTGM43Y`
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.11002#7A4G, Preservation of stability (statement). In P55JSAYR3T/e1, lemma

History

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

Prefix counting 5RBKYXZS8K

URI	`m2://inv/5RBKYXZS8K`
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.31782#T0YD, Prefix counting (statement). In YAYP5VZ94H/e1, lemma 3.1

History

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

5RBR0BSS97 5RBR0BSS97

URI	`m2://inv/5RBR0BSS97`
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 2508.17181#KEC4 (statement). In 2QR18WK8KH/e1, lemma 12

History

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

variance 5RBZZTTCQ0

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

Mentions

applied_combinatorics: applied_combinatorics index/10.5.1/variance, variance (concept). In QKM9DD2H56, index, section 10.5.1

History

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

5RC01GC3DZ 5RC01GC3DZ

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 50.2

History

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

Kőnig's theorem 5RC4Y9GMAK

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

Mentions

mathlib_1000: mathlib_1000 Q1077462, König's theorem (set theory) (statement). Also Mathlib Cardinal.sum_lt_prod, Wikidata Q1077462
thousand_plus: thousand_plus Q1077462, König's theorem (set theory) (statement). Also Mathlib Cardinal.sum_lt_prod, Wikidata Q1077462, Wikipedia König's theorem (set theory)
wikipedia: Wikipedia Kőnig's theorem (set theory), Kőnig's theorem (statement). Also Wikidata Q1077462

History

2026-10-26: add by m2/dev

5RC6JJFE0X 5RC6JJFE0X

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

Mentions

arxiv: arXiv 2609.21949#5294 (statement)

History

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

Function theory 5RC6P9CWB0

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#7OX1, Function theory (definition)

History

2026-11-02: add by m2/dev

Linear graph grammar 5RCAT2HFR2

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

Mentions

wikipedia: Wikipedia Linear graph grammar, Linear graph grammar (definition). Also Wikidata Q28403570

History

2026-11-02: add by m2/dev

5RCJT6AMGG 5RCJT6AMGG

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

Mentions

arxiv: arXiv 2610.08039#Q57D (definition). In Y1K8WE4MDP/e1, definition 2.5

History

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

Well-founded phenomena 5RCJZG4MCH

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

Mentions

wikipedia: Wikipedia Gottfried Wilhelm Leibniz#J9X4, Well-founded phenomena (unknown)

History

2026-11-02: add by m2/dev

5RCMMCT5CB 5RCMMCT5CB

URI	`m2://inv/5RCMMCT5CB`
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.11395#3SG2 (example). In T3W7SMWQ73/e1, example 43

History

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

Beltrami's theorem 5RCSSKFB6J

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

Mentions

wikipedia: Wikipedia List of theorems#RP9W, Beltrami's theorem (statement)

History

2026-11-02: add by m2/dev

Ciro Ciliberto 5RCYGEVYX9

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

Mentions

wikipedia: Wikipedia Ciro Ciliberto, Ciro Ciliberto (topic). Also Wikidata Q15454828

History

2026-11-02: add by m2/dev

5RD7T79ZGF 5RD7T79ZGF

URI	`m2://inv/5RD7T79ZGF`
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.19214#1W06 (statement). In WZPD7TNNY9/e1, theorem 1.2

History

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

Friedmann equations 5RD9V60N7V

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

Mentions

wikipedia: Wikipedia Friedmann equations, Friedmann equations (definition). Also Wikidata Q467736

History

2026-11-02: add by m2/dev

Regular element of a Lie algebra 5RDCYZ2P10

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

Mentions

wikipedia: Wikipedia Regular element of a Lie algebra, Regular element of a Lie algebra (definition). Also Wikidata Q7309598

History

2026-11-02: add by m2/dev

Example 5RDDSD6HGS

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

Mentions

wikipedia: Wikipedia Damm algorithm#QJU1, Example (example)

History

2026-11-02: add by m2/dev

5RDGFDB3RZ 5RDGFDB3RZ

URI	`m2://inv/5RDGFDB3RZ`
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 2610.18483#VHUV (statement). In FF4HDVF1DC/e1, lemma 2.3

History

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

Gaussian logarithm 5RDJQE9VPV

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

Mentions

wikipedia: Wikipedia Gaussian logarithm, Gaussian logarithm (definition). Also Wikidata Q55612369

History

2026-11-02: add by m2/dev

5RDK4X2K5B 5RDK4X2K5B

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

Mentions

arxiv: arXiv 2610.22074#0UYR (statement). In F3BKXXPR3K/e1, proposition 4.4

History

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

Key schedule 5RDMR50XSA

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

Mentions

wikipedia: Wikipedia Key schedule, Key schedule (definition). Also Wikidata Q2569509

History

2026-11-02: add by m2/dev

5RDQ36EAD1 5RDQ36EAD1

URI	`m2://inv/5RDQ36EAD1`
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.32383#ABEP (statement). In 94GZYA55Q5/e1, lemma 3

History

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

The geometry and topology of three-manifolds 5RDR6V22SC

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

Mentions

wikipedia: Wikipedia The geometry and topology of three-manifolds, The geometry and topology of three-manifolds (definition). Also Wikidata Q7777011

History

2026-11-02: add by m2/dev

Examples 5RDS55PQWZ

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

Mentions

wikipedia: Wikipedia Iwasawa decomposition#Z1F9, Examples (example)

History

2026-11-02: add by m2/dev

List of types of sets 5RDZAZBGN1

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

Mentions

wikipedia: Wikipedia List of types of sets, List of types of sets (topic). Also Wikidata Q28659876

History

2026-11-02: add by m2/dev

5RE1NGRST7 5RE1NGRST7

URI	`m2://inv/5RE1NGRST7`
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.21098#TUHU (statement)

History

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

Formula 5RE6355NSZ

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

Mentions

wikipedia: Wikipedia Centered octahedral number#S319, Formula (statement)

History

2026-11-02: add by m2/dev

K-frame 5REF6JGD31

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

Mentions

wikipedia: Wikipedia K-frame, K-frame (definition). Also Wikidata Q6322834

History

2026-11-02: add by m2/dev

5REGD2M28V 5REGD2M28V

URI	`m2://inv/5REGD2M28V`
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.01818#6T6W (statement). In DA31J9XJ4J/e1, lemma B.1

History

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

5REGNR6VK1 5REGNR6VK1

URI	`m2://inv/5REGNR6VK1`
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.26477#E8RV (statement)

History

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

formula for primes 5RF1FV9H5S

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

Mentions

wikidata: Wikidata Q1136501, formula for primes (unknown). Also MathWorld PrimeFormulas
wikipedia: Wikipedia Formula for primes, Formula for primes (statement). Also Wikidata Q1136501

History

2026-10-26: add by m2/dev

Eugene Grebenik 5RFAE0SDKK

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#6EZB, Eugene Grebenik (unknown)

History

2026-11-02: add by m2/dev

5RFGKM3F1Y 5RFGKM3F1Y

URI	`m2://inv/5RFGKM3F1Y`
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.10570#D3OO (statement). In V0MA250K2P/e1, lemma 4.2

History

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

Determining the number of clusters in a data set 5RFJBQ8TEV

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

Mentions

wikipedia: Wikipedia Determining the number of clusters in a data set, Determining the number of clusters in a data set (definition). Also Wikidata Q5265701

History

2026-11-02: add by m2/dev

5RFK2R1ENP 5RFK2R1ENP

URI	`m2://inv/5RFK2R1ENP`
Kind	definition
Layer	research
MSC	01-XX, 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.28552#HC0R (definition)

History

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

Cylinder unions 5RFMXC6KDC

URI	`m2://inv/5RFMXC6KDC`
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.28028#P4FI, Cylinder unions (statement)

History

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

Properties 5RFT6R41NE

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

Mentions

wikipedia: Wikipedia Pullback (category theory)#O8TU, Properties (statement)

History

2026-11-02: add by m2/dev

5RFTHXGAJP 5RFTHXGAJP

URI	`m2://inv/5RFTHXGAJP`
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 2406.07116#FGV2 (statement). In 5B030CB2RK/e1, proposition A.8

History

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

Additivity 5RFX604V0M

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

Mentions

arxiv: arXiv 2609.01473#VH50, Additivity (statement). In ABS9M47F4K/e1, proposition 4.9

History

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

Partition of unity 5RG61VW4B7

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

Mentions

wikipedia: Wikipedia List of partition topics#WQC6, Partition of unity (definition)

History

2026-11-02: add by m2/dev

5RG7X1MVXV 5RG7X1MVXV

URI	`m2://inv/5RG7X1MVXV`
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 2111.08123#JEVF (statement). In TAAB0QAKAG/e1, lemma 3.1

History

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

Deng-Hani-Ma 5RG8MN6BNN

URI	`m2://inv/5RG8MN6BNN`
Kind	statement
Layer	research
MSC	35-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 2609.38061#2PFV, Deng-Hani-Ma (statement). In XFBW60M3AR/e1, theorem 1.1

History

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

Positive finite coefficients 5RGDKE5Q98

URI	`m2://inv/5RGDKE5Q98`
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.18214#2SSY, Positive finite coefficients (statement). In S4NXHVGB0Q/e1, lemma 6.1

History

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

Laplace–Stieltjes transform 5RGEA9T0SA

URI	`m2://inv/5RGEA9T0SA`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Laplace–Stieltjes transform KHRTBP37VD

Mentions

wikidata: Wikidata Q3997728, Laplace–Stieltjes transform (concept). Also MathWorld Laplace-StieltjesTransform
wikipedia: Wikipedia Laplace–Stieltjes transform, Laplace–Stieltjes transform (definition). Also Wikidata Q3997728

History

2026-10-26: add by m2/dev

5RGFZZVPSG 5RGFZZVPSG

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

Mentions

open_logic: open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 28.6

History

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

Ascending chain 5RGH2Y0K1N

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

Mentions

wikipedia: Wikipedia Total order#1VBJ, Ascending chain (unknown)

History

2026-11-02: add by m2/dev

Applications 5RGKVTVDA1

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

Mentions

wikipedia: Wikipedia Graph theory#KYGP, Applications (example)

History

2026-11-02: add by m2/dev

Hartogs 5RGP2PQ31S

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#2AIK, Hartogs (definition)

History

2026-11-02: add by m2/dev

Positivity of the empirical marginal state 5RGQSPEWZ6

URI	`m2://inv/5RGQSPEWZ6`
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.00117#TYCH, Positivity of the empirical marginal state (statement). In 4G2BDP206S/e1, lemma 5

History

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

1 510 5RGTEYM9HM

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

Mentions

wikipedia: Wikipedia 1000 (number)#SY7B, 1 510 (unknown)

History

2026-11-02: add by m2/dev

5RGWV5FG6B 5RGWV5FG6B

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

Mentions

open_logic: open_logic content/methods/induction/inductive-definitions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 44.1

History

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

Examples 5RGWZ66JE2

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

Mentions

wikipedia: Wikipedia Binomial theorem#OIXQ, Examples (example)

History

2026-11-02: add by m2/dev

Jean E. Rubin 5RGYEHS8EV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VIVI, Jean E. Rubin (unknown)

History

2026-11-02: add by m2/dev

5RGZ3GJGJE 5RGZ3GJGJE

URI	`m2://inv/5RGZ3GJGJE`
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#VAJF (statement). In KAYGQMQPGS/e1, theorem 5.4

History

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

Hesse's theorem 5RGZDJ4XST

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

Mentions

wikipedia: Wikipedia Hesse's theorem, Hesse's theorem (statement). Also Wikidata Q5746158

History

2026-11-02: add by m2/dev

Perl Data Language 5RH1YQTEKW

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#87W4, Perl Data Language (unknown)

History

2026-11-02: add by m2/dev

5RHGHEDFCS 5RHGHEDFCS

URI	`m2://inv/5RHGHEDFCS`
Kind	statement
Layer	research
MSC	20-XX, 22-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.09319#Q4ZG (statement). In GMRT5GHBZS/e1, theorem 2.8

History

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

Primitive ring 5RHGMB9KR1

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

Mentions

wikipedia: Wikipedia Primitive ring, Primitive ring (definition). Also Wikidata Q2895708

History

2026-11-02: add by m2/dev

Leviathan number 5RHKGVMGKC

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

Mentions

wikidata: Wikidata Q10338608, Leviathan number (unknown). Also MathWorld LeviathanNumber

History

2026-10-26: add by m2/dev

Entscheidungsproblem 5RHNDZJ1F9

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

Mentions

wikipedia: Wikipedia Glossary of logic#VR4W, Entscheidungsproblem (definition)

History

2026-11-02: add by m2/dev

Modularity theorem 5RHNMG9RBD

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

Mentions

wikipedia: Wikipedia Modularity theorem#7X61, Modularity theorem (statement)

History

2026-11-02: add by m2/dev

5RHQVDY5E2 5RHQVDY5E2

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

Mentions

arxiv: arXiv 2610.09561#VABJ (statement). In WDV5E2CVTR/e1, lemma 6.4

History

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

5RHSK29SHB 5RHSK29SHB

URI	`m2://inv/5RHSK29SHB`
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.38069#FHFP (statement). In K0E0H4RV6Y/e1, lemma 2

History

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

5RHWJ8RYMT 5RHWJ8RYMT

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

Mentions

arxiv: arXiv 2210.17066#XQL3 (definition). In X2AEJAQEP8/e1, definition 3.7

History

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

5RHZVS8NRP 5RHZVS8NRP

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

Mentions

napkin: napkin tex/H113/structure.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 6.2

History

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

5RJ5EK74AZ 5RJ5EK74AZ

URI	`m2://inv/5RJ5EK74AZ`
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.35030#092U (statement). In DPT4P2BTEW/e1, proposition 2.1

History

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

5RJ7W50HMT 5RJ7W50HMT

URI	`m2://inv/5RJ7W50HMT`
Kind	statement
Layer	research
MSC	30-XX, 32-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.10505#RT1B (statement). In JW8HH6EPG2/e1, lemma 4.12

History

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

Applications 5RJ81F5R3R

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

Mentions

wikipedia: Wikipedia Constant-mean-curvature surface#R733, Applications (example)

History

2026-11-02: add by m2/dev

F 5RJDFV9KJ9

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

Mentions

wikipedia: Wikipedia Glossary of set theory#S312, F (definition)

History

2026-11-02: add by m2/dev

Plane of vibration 5RJHRKHK70

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

Mentions

wikipedia: Wikipedia Plane of polarization#C03V, Plane of vibration (unknown)

History

2026-11-02: add by m2/dev

5RJTFQT69X 5RJTFQT69X

URI	`m2://inv/5RJTFQT69X`
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.20588#VKN3 (statement)

History

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

Albanese variety 5RJVA9SJ6G

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#ZM26, Albanese variety (definition)

History

2026-11-02: add by m2/dev

Poisson approximation 5RJX6VJ79Q

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

Mentions

wikipedia: Wikipedia Binomial distribution#GEQH, Poisson approximation (unknown)

History

2026-11-02: add by m2/dev

5RK0D0E7NF 5RK0D0E7NF

URI	`m2://inv/5RK0D0E7NF`
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-25 (exercise). In E9HS8K3A52, exercise, section 6.2.4

History

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

5RK2HM885W 5RK2HM885W

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

Mentions

arxiv: arXiv 2610.10875#PRA0 (statement). In N91F15MHW1/e1, proposition 6

History

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

Realization 5RK7MT1DKQ

URI	`m2://inv/5RK7MT1DKQ`
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#B9GZ, Realization (statement). In EFWBREMZAP/e1, theorem 1.2

History

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

Stata 5RK8NGEDH8

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

Mentions

wikipedia: Wikipedia List of statistics articles#TBB6, Stata (definition)

History

2026-11-02: add by m2/dev

5RKM94RKK2 5RKM94RKK2

URI	`m2://inv/5RKM94RKK2`
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.09390#F02L (statement). In 7SSKW778T8/e1, theorem 7

History

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

Smirnov space 5RKS0KJP3A

URI	`m2://inv/5RKS0KJP3A`
Kind	example
Layer	research
MSC	54-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.33841#VSRU, Smirnov space (example). In 3CVQHT206K/e1, example 2.4

History

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

5RKW08E6R0 5RKW08E6R0

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

Mentions

arxiv: arXiv 2610.19533#55PG (statement). In RG4Z9C6ANS/e1, lemma 3.2

History

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

basis 5RKWJTV8FZ

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

Mentions

austin_ula: austin_ula index/3.2.2/basis, basis (concept). In 649HGZKE96, index, section 3.2.2

History

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

5RM8TR521J 5RM8TR521J

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

Mentions

arxiv: arXiv 2610.08776#DO5C (statement). In ZQ4M778EA7/e1, corollary C

History

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

Uses 5RM9GNSQVN

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

Mentions

wikipedia: Wikipedia Monad (category theory)#9JCX, Uses (example)

History

2026-11-02: add by m2/dev

Edinburgh Mathematical Society 5RM9RXM1ZN

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

Mentions

wikipedia: Wikipedia Edinburgh Mathematical Society, Edinburgh Mathematical Society (definition). Also Wikidata Q1284744

History

2026-11-02: add by m2/dev

Fifth-order Korteweg–De Vries equation 5RMB6WA137

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

Mentions

wikipedia: Wikipedia Fifth-order Korteweg–De Vries equation, Fifth-order Korteweg–De Vries equation (definition). Also Wikidata Q15835721

History

2026-11-02: add by m2/dev

5RMKPXDC0J 5RMKPXDC0J

URI	`m2://inv/5RMKPXDC0J`
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.08104#IAQO (statement). In AH6BX8RZTW/e1, corollary 1.6

History

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

Domination and surrogate exp-concavity 5RMN5HA6CK

URI	`m2://inv/5RMN5HA6CK`
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.20187#XDCT, Domination and surrogate exp-concavity (statement). In N280AVNNBY/e1, lemma B.1

History

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

Raphael Flauger 5RMY2VBJHD

URI	`m2://inv/5RMY2VBJHD`
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 Q22669803, Raphael Flauger (unknown). Also nLab Raphael Flauger

History

2026-10-26: add by m2/dev

Liouville's equation 5RN4NH06YG

URI	`m2://inv/5RN4NH06YG`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Liouville's equation C8E0TWY3WT

Mentions

wikidata: Wikidata Q2184037, Liouville's equation (concept). Also MathWorld LiouvillesEquation, nLab Liouville's equation
wikipedia: Wikipedia Liouville's equation, Liouville's equation (definition). Also Wikidata Q2184037

History

2026-10-26: add by m2/dev

Leonard Susskind 5RN99FC5M3

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

Mentions

wikipedia: Wikipedia List of string theory topics#SRKC, Leonard Susskind (unknown)

History

2026-11-02: add by m2/dev

5RNAG9DA4K 5RNAG9DA4K

URI	`m2://inv/5RNAG9DA4K`
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.20421#EQ12 (statement). In Q4R7J8JE3F/e1, lemma 2.13

History

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

Oseen equations 5RNCMMX31A

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

Mentions

wikipedia: Wikipedia Oseen equations, Oseen equations (definition). Also Wikidata Q2033185

History

2026-11-02: add by m2/dev

Wiener process 5RNJKSB35Y

URI	`m2://inv/5RNJKSB35Y`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Wiener process 22735FGJV6

Mentions

wikidata: Wikidata Q1056809, Wiener process (unknown). Also EoM Wiener process, MathWorld WienerProcess
wikipedia: Wikipedia Wiener process, Wiener process (definition). Also Wikidata Q1056809

History

2026-10-26: add by m2/dev

5RNXWM82GP 5RNXWM82GP

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

Mentions

arxiv: arXiv 2609.34570#KZLS (statement). In EVFX1R7ZDD/e1, corollary 5

History

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

Periodic point attractor 5RNYFHJAXW

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

Mentions

wikipedia: Wikipedia Attractor#BUEU, Periodic point attractor (unknown)

History

2026-11-02: add by m2/dev

5RP09KX9QS 5RP09KX9QS

URI	`m2://inv/5RP09KX9QS`
Kind	definition
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.27800#Q24L (definition)

History

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

Ramanujan computer centre, Department of Mathematics, Rajdhani College 5RP2F0F6EH

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

Mentions

wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#YK9M, Ramanujan computer centre, Department of Mathematics, Rajdhani College (unknown)

History

2026-11-02: add by m2/dev

Polylogarithm ladder 5RP7ADE10C

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

Mentions

wikipedia: Wikipedia Polylogarithm#U1BD, Polylogarithm ladder (unknown)

History

2026-11-02: add by m2/dev

5RP8JX8RAB 5RP8JX8RAB

URI	`m2://inv/5RP8JX8RAB`
Kind	statement
Layer	research
MSC	11-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 2004.12552#JMWH (statement). In TWPE10CZ1S/e1, corollary 5.4

History

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

Affine bundle 5RPKYGF22D

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

Mentions

wikipedia: Wikipedia Affine bundle, Affine bundle (definition). Also Wikidata Q17001860

History

2026-11-02: add by m2/dev

Number theoretic Hilbert transform 5RPRENHANG

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

Mentions

wikipedia: Wikipedia Number theoretic Hilbert transform, Number theoretic Hilbert transform (definition). Also Wikidata Q25303776

History

2026-11-02: add by m2/dev

Michaelis–Menten kinetics 5RPYG7Y2TQ

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

Mentions

wikipedia: Wikipedia Michaelis–Menten kinetics, Michaelis–Menten kinetics (definition). Also Wikidata Q613955

History

2026-11-02: add by m2/dev

Definition 5RPZK5P3ZQ

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

Mentions

wikipedia: Wikipedia Frobenius characteristic map#3P3U, Definition (definition)

History

2026-11-02: add by m2/dev

Properties 5RQ0YAEQS2

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

Mentions

wikipedia: Wikipedia Wigner–Weyl transform#94TH, Properties (statement)

History

2026-11-02: add by m2/dev

Eberhard Kirchberg 5RQCCHYG7Z

URI	`m2://inv/5RQCCHYG7Z`
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#TM1R, Eberhard Kirchberg (unknown)

History

2026-11-02: add by m2/dev

trinodal 5RQDQ6FS4E

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#W6CF, trinodal (definition)

History

2026-11-02: add by m2/dev

5RQGHYQP3K 5RQGHYQP3K

URI	`m2://inv/5RQGHYQP3K`
Kind	definition
Layer	research
MSC	16-XX, 20-XX, 22-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 2607.00146#NZQ6 (definition). In 6KR7Z5ETRY/e1, definition 2.58

History

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

5RQH5KJTSF 5RQH5KJTSF

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

Mentions

arxiv: arXiv 2609.31527#BA9Y (definition). In ZQ2YZ4P6P5/e1, definition 2.4

History

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

Definition 5RQXFS6K6G

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

Mentions

wikipedia: Wikipedia Dense set#563L, Definition (definition)

History

2026-11-02: add by m2/dev

Lebesgue constants (Fourier series) 5RQYC53ST0

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

Mentions

wikidata: Wikidata Q123459622, Lebesgue constants (Fourier series) (unknown). Also EoM Lebesgue_constants

History

2026-10-26: add by m2/dev

Q-Racah polynomials 5RQYJ4H52W

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

Mentions

wikipedia: Wikipedia Q-Racah polynomials, Q-Racah polynomials (definition). Also Wikidata Q7265284

History

2026-11-02: add by m2/dev

Sylvia Wiegand 5RRQJH5PKS

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#YJNM, Sylvia Wiegand (topic)

History

2026-11-02: add by m2/dev

5RRSND3GRN 5RRSND3GRN

URI	`m2://inv/5RRSND3GRN`
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.02379#56A7 (statement). In W9E40AZJ03/e1, lemma 3.2

History

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

5RRV4883AV 5RRV4883AV

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

Mentions

arxiv: arXiv 2610.20558#386Z (statement). In 46370P3Y9S/e1, lemma 2.11

History

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

5RRVY0Q7V8 5RRVY0Q7V8

URI	`m2://inv/5RRVY0Q7V8`
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.05459#07NU (statement). In VYW16D089Y/e1, theorem 4.7

History

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

Payload error checks 5RS5DSX8BT

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

Mentions

arxiv: arXiv math/0003117#5ASH, Payload error checks (definition). In WD2NCBV9F0/e1, definition 19.3

History

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

Aggregate pattern 5RS7JYPT0T

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

Mentions

wikipedia: Wikipedia List of statistics articles#EENI, Aggregate pattern (definition)

History

2026-11-02: add by m2/dev

5RS7RQ6WVX 5RS7RQ6WVX

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

Mentions

arxiv: arXiv math/0301148#DXO6 (statement). In 5RE15848Z0/e1, corollary 3.5

History

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

5RS9H26KRD 5RS9H26KRD

URI	`m2://inv/5RS9H26KRD`
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.16328#QGG4 (statement). In F6C1FJNXQW/e1, theorem 2

History

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

Algorithms 5RS9T5HJ2F

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

Mentions

wikipedia: Wikipedia Split (graph theory)#7J4S, Algorithms (definition)

History

2026-11-02: add by m2/dev

Broad incidence 5RSCB529HM

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

Mentions

arxiv: arXiv 2609.34675#ZSSD, Broad incidence (definition). In C93BAXKJVD/e1, definition 3.3

History

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

5RSDY94PW1 5RSDY94PW1

URI	`m2://inv/5RSDY94PW1`
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 2207.05628#KX65 (statement). In 9JPKTEWW4W/e1, lemma 2.4

History

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

Gelfond–Schneider theorem 5RSEBVZ2K4

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

Mentions

wikipedia: Wikipedia List of theorems#M0VG, Gelfond–Schneider theorem (statement)

History

2026-11-02: add by m2/dev

Eva Petkova 5RSFT6EGBZ

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#RP7T, Eva Petkova (unknown)

History

2026-11-02: add by m2/dev

Example 5RSME3HYME

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

Mentions

wikipedia: Wikipedia Kruskal–Wallis test#9XUQ, Example (example)

History

2026-11-02: add by m2/dev

Goodman's theorem 5RSRYCM71R

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

Mentions

wikipedia: Wikipedia Goodman's theorem, Goodman's theorem (statement). Also Wikidata Q141446824

History

2026-11-02: add by m2/dev

Analytic network process 5RSTE14ATD

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

Mentions

wikipedia: Wikipedia Analytic network process, Analytic network process (definition). Also Wikidata Q485190

History

2026-11-02: add by m2/dev

Octagonal tiling 5RSVY4NN71

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

Mentions

wikipedia: Wikipedia Octagonal tiling, Octagonal tiling (object). Also Wikidata Q7076726

History

2026-11-02: add by m2/dev

5RSZ9AYZWV 5RSZ9AYZWV

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

Mentions

arxiv: arXiv 2610.15432#ZXY4 (statement). In D1DFM4WYEW/e1, lemma 7.5

History

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

Tschirnhaus transformation 5RT5J7ZSD6

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

Mentions

wikidata: Wikidata Q2670133, Tschirnhaus transformation (definition). Also MathWorld TschirnhausenTransformation, ProofWiki Definition:Tschirnhaus_Transformation
wikipedia: Wikipedia Tschirnhaus transformation, Tschirnhaus transformation (definition). Also Wikidata Q2670133

History

2026-10-26: add by m2/dev

5RT64J632P 5RT64J632P

URI	`m2://inv/5RT64J632P`
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#8W96 (statement). In WXJ2V3HA2R/e1, lemma G.3

History

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

5RTA51VETT 5RTA51VETT

URI	`m2://inv/5RTA51VETT`
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.23279#TP3P (definition)

History

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

5RTHWT2PGA 5RTHWT2PGA

URI	`m2://inv/5RTHWT2PGA`
Kind	statement
Layer	research
MSC	53-XX, 57-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.17045#T3SV (statement). In PA6JQDSKQT/e1, proposition 4.14

History

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

piecewise linear function 5RTM2H183G

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

Mentions

wikidata: Wikidata Q2375229, piecewise linear function (unknown). Also MathWorld PiecewiseLinearFunction
wikipedia: Wikipedia Piecewise linear function, Piecewise linear function (definition). Also Wikidata Q2375229

History

2026-10-26: add by m2/dev

5RTRBGP5EX 5RTRBGP5EX

URI	`m2://inv/5RTRBGP5EX`
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.31102#C3TH (statement). In 7CADATJMAA/e1, theorem 4.1

History

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

The Hahn–Banach theorem 5RV0A0P24W

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

Mentions

wikipedia: Wikipedia Continuous linear extension#1CFX, The Hahn–Banach theorem (statement)

History

2026-11-02: add by m2/dev

5RV56X111M 5RV56X111M

URI	`m2://inv/5RV56X111M`
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.20528#KL5D (statement)

History

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

Total dual integrality 5RVPWR355B

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

Mentions

wikipedia: Wikipedia Total dual integrality, Total dual integrality (definition). Also Wikidata Q7828108

History

2026-11-02: add by m2/dev

Long time Wasserstein stability 5RVSW6J026

URI	`m2://inv/5RVSW6J026`
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.09522#UYNR, Long time Wasserstein stability (statement). In KKR9167FPT/e1, lemma 18

History

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

5RVT0EVZDF 5RVT0EVZDF

URI	`m2://inv/5RVT0EVZDF`
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.27114#BYAC (statement)

History

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

Ramified Hasse-phase comparison 5RVY498W7Y

URI	`m2://inv/5RVY498W7Y`
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#5Y6E, Ramified Hasse-phase comparison (statement). In 5BZQS1KY9A/e1, proposition 5.6

History

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

Weyl's formula 5RW64K7QMP

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

Mentions

wikipedia: Wikipedia Hearing the shape of a drum#TL5X, Weyl's formula (statement)

History

2026-11-02: add by m2/dev

Generalizations 5RWJ613H55

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

Mentions

wikipedia: Wikipedia Projection (linear algebra)#A9XI, Generalizations (statement)

History

2026-11-02: add by m2/dev

5RWPN2E0Z7 5RWPN2E0Z7

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

Mentions

arxiv: arXiv 2609.28336#MKF4 (statement)

History

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

Gramian conditions for $\ms{KXO}_\tau$ and $\ms{KAO}_\tau$ 5RWSJTSMXB

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

Mentions

arxiv: arXiv 2609.36334#D3QI, Gramian conditions for $\ms{KXO}_\tau$ and $\ms{KAO}_\tau$ (statement). In YVB70SBGN1/e1, theorem

History

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

X + Y sorting 5RWXVZ8TJ3

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

Mentions

wikipedia: Wikipedia X + Y sorting, X + Y sorting (conjecture). Also Wikidata Q18395653

History

2026-11-02: add by m2/dev

5RX0HW86M5 5RX0HW86M5

URI	`m2://inv/5RX0HW86M5`
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.22465#MHX8 (statement)

History

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

5RX54N0DZN 5RX54N0DZN

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

Mentions

arxiv: arXiv 2609.25468#40G8 (statement)

History

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

5RX93XPYBP 5RX93XPYBP

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

Mentions

napkin: napkin tex/topology/top-more.tex#definition-10 (definition). In RZP28ERRZV, definition, section 101.7

History

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

Right split 5RXDHB8QRG

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

Mentions

wikipedia: Wikipedia Splitting lemma#0HYD, Right split (definition)

History

2026-11-02: add by m2/dev

5RXK1C89YC 5RXK1C89YC

URI	`m2://inv/5RXK1C89YC`
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.30113#L4DY (statement)

History

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

Lagrange–Bürmann formula 5RXY288R81

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

Mentions

wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#6FGQ, Lagrange–Bürmann formula (statement)

History

2026-11-02: add by m2/dev

5RY1PRRA5P 5RY1PRRA5P

URI	`m2://inv/5RY1PRRA5P`
Kind	statement
Layer	research
MSC	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.02244#DW09 (statement). In 3REM2EXQK7/e1, theorem

History

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

5RY1Z1N8CN 5RY1Z1N8CN

URI	`m2://inv/5RY1Z1N8CN`
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.32977#FPSH (statement). In 4KT9TK3MG4/e1, lemma E.2

History

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

Statement 5RY5GJ4TJ2

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

Mentions

wikipedia: Wikipedia Bott residue formula#BH53, Statement (statement)

History

2026-11-02: add by m2/dev

5RYGR8G1ZQ 5RYGR8G1ZQ

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

Mentions

arxiv: arXiv 2610.12330#NZMG (statement). In XHSKEPT3VD/e1, corollary 4.4

History

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

Examples 5RYS0E7DZ0

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

Mentions

wikipedia: Wikipedia Grothendieck category#5D60, Examples (example)

History

2026-11-02: add by m2/dev

Functional central limit theorem 5RYTSRJ7JB

URI	`m2://inv/5RYTSRJ7JB`
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 2609.27851#HKZT, Functional central limit theorem (statement)

History

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

L. D. Faddeev 5RZ2KV2S4P

URI	`m2://inv/5RZ2KV2S4P`
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#YGAD, L. D. Faddeev (topic)

History

2026-11-02: add by m2/dev

Preventable fraction among the unexposed 5RZCV4YYHT

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

Mentions

wikipedia: Wikipedia Preventable fraction among the unexposed, Preventable fraction among the unexposed (definition). Also Wikidata Q7242401

History

2026-11-02: add by m2/dev

Szemerédi's theorem 5RZGK6J9KD

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

Mentions

wikipedia: Wikipedia List of number theory topics#45WF, Szemerédi's theorem (statement)

History

2026-11-02: add by m2/dev

5RZJF15T6Y 5RZJF15T6Y

URI	`m2://inv/5RZJF15T6Y`
Kind	statement
Layer	research
MSC	14-XX, 20-XX, 22-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.01694#4Y5M (statement). In EBMHYN0XK9/e1, lemma 2.11

History

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

Fort George G. Meade Museum 5RZNJ9MC31

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

Mentions

wikipedia: Wikipedia Fort Meade#2J83, Fort George G. Meade Museum (unknown)

History

2026-11-02: add by m2/dev

Stanisław Solski 5RZS56J1TV

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

Mentions

wikipedia: Wikipedia Stanisław Solski, Stanisław Solski (topic). Also Wikidata Q16606193

History

2026-11-02: add by m2/dev

5RZSBTJ0WR 5RZSBTJ0WR

URI	`m2://inv/5RZSBTJ0WR`
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.22272#E9P7 (statement). In 4VZV5V0YD6/e1, lemma 3

History

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

5RZTCRQNSY 5RZTCRQNSY

URI	`m2://inv/5RZTCRQNSY`
Kind	statement
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#OVO3 (statement). In 7V3HG30ZGW/e1, lemma 3.22

History

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

5RZVD7PEAM 5RZVD7PEAM

URI	`m2://inv/5RZVD7PEAM`
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.30274#33PJ (statement). In 6ASPPVJP5M/e1, corollary 3

History

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