Inventory rows 5D

5D06KFRH9S 5D06KFRH9S

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

Mentions

arxiv: arXiv 2610.11545#X0SS (definition). In VN084GGZGK/e1, definition 5.6

History

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

5D07GX4MCG 5D07GX4MCG

URI	`m2://inv/5D07GX4MCG`
Kind	statement
Layer	research
MSC	14-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.35600#8YPD (statement). In ET8GYMMDQM/e1, lemma 4.5

History

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

5D0CJJB7ZA 5D0CJJB7ZA

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

Mentions

arxiv: arXiv 2609.37606#OK0M (example). In WNFW6GY38C/e1, example 9.6

History

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

Random number generation 5D0GSZ1H92

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

Mentions

wikipedia: Wikipedia List of probability topics#IDYI, Random number generation (definition)

History

2026-11-02: add by m2/dev

interior 5D0JYNZ4Z3

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#XZXZ, interior (definition)

History

2026-11-02: add by m2/dev

Rating (sociological group) 5D0RWKF6HY

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

Mentions

wikipedia: Wikipedia List of polling organizations#Y51C, Rating (sociological group) (unknown)

History

2026-11-02: add by m2/dev

5D0S8Y5Y1R 5D0S8Y5Y1R

URI	`m2://inv/5D0S8Y5Y1R`
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.22170#BLTF (statement). In 74MMMHHPW5/e1, lemma 4.7

History

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

5D1G4YE4XP 5D1G4YE4XP

URI	`m2://inv/5D1G4YE4XP`
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.33704#6YGY (statement). In STRVMT83HE/e1, proposition 4

History

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

5D1GAT8K06 5D1GAT8K06

URI	`m2://inv/5D1GAT8K06`
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 2011.14561#WMFL (statement). In V2XJJJX1Z8/e1, lemma 5.1

History

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

Singular simplicial set 5D1R1T1DZ5

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

Mentions

wikipedia: Wikipedia Simplicial set#7FLF, Singular simplicial set (unknown)

History

2026-11-02: add by m2/dev

5D1SD7KYYB 5D1SD7KYYB

URI	`m2://inv/5D1SD7KYYB`
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.12108#KJBI (statement). In JQH3FHYPW3/e1, theorem 2.5

History

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

5D1WEG56M6 5D1WEG56M6

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/identity.tex#ex-1 (example). In PKGMM3P5QY, ex, section 22.4

History

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

5D1XH7CQ0H 5D1XH7CQ0H

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#theorem-1 (statement). In P1C114YBXG, theorem, section K

History

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

5D2351YKDD 5D2351YKDD

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

Mentions

open_logic: open_logic content/turing-machines/machines-computations/configuration.tex#defn:run-output (definition). In PKGMM3P5QY, defn, section 85.4

History

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

Definition 5D23XG098Y

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

Mentions

wikipedia: Wikipedia Multiplicative graph#C584, Definition (definition)

History

2026-11-02: add by m2/dev

Properties 5D2D27MSJ6

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

Mentions

wikipedia: Wikipedia Catmull–Clark subdivision surface#0ZQW, Properties (statement)

History

2026-11-02: add by m2/dev

Uses 5D2DCJQNK3

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

Mentions

wikipedia: Wikipedia Line–plane intersection#V9UK, Uses (example)

History

2026-11-02: add by m2/dev

Karl Schröter 5D2E85HG2B

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

Mentions

wikipedia: Wikipedia Karl Schröter, Karl Schröter (topic). Also Wikidata Q1639323

History

2026-11-02: add by m2/dev

Definition 5D2KWJPA56

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

Mentions

wikipedia: Wikipedia Information content#6B5U, Definition (definition)

History

2026-11-02: add by m2/dev

5D2QFAX6XA 5D2QFAX6XA

URI	`m2://inv/5D2QFAX6XA`
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.21403#UKEP (statement)

History

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

Hurwitz 5D2R2EBBV3

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:onevarhurwitz, Hurwitz (statement). In VNMV985MXX, thm, section B

History

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

Closing squares 5D31TTB3MH

URI	`m2://inv/5D31TTB3MH`
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 2207.12181#UQL1, Closing squares (statement). In FSD8NE3XSR/e1, lemma 3.8

History

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

Extensions 5D336RAA5M

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

Mentions

wikipedia: Wikipedia Penrose graphical notation#MWU7, Extensions (statement)

History

2026-11-02: add by m2/dev

Ultrastrong topology 5D34MBXF9F

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

Mentions

wikipedia: Wikipedia List of topologies#VH0X, Ultrastrong topology (definition)

History

2026-11-02: add by m2/dev

Example 2 5D39ZRHBP8

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

Mentions

wikipedia: Wikipedia Arithmetic progression#IGGH, Example 2 (example)

History

2026-11-02: add by m2/dev

5D3D9V23D8 5D3D9V23D8

URI	`m2://inv/5D3D9V23D8`
Kind	statement
Layer	research
MSC	35-XX, 37-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.17139#8F6T (statement). In AQWX60Z563/e1, proposition B.4

History

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

Walter Hayman 5D3GVXW08P

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

Mentions

wikipedia: Wikipedia Walter Hayman, Walter Hayman (topic). Also Wikidata Q2544677

History

2026-11-02: add by m2/dev

5D3H1MS77M 5D3H1MS77M

URI	`m2://inv/5D3H1MS77M`
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.02628#SN16 (statement). In G4S9C5M1A4/e1, proposition 4.2

History

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

5D3KTJSA8W 5D3KTJSA8W

URI	`m2://inv/5D3KTJSA8W`
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.00798#2772 (statement). In FANG3A8NZ9/e1, lemma 4.7

History

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

Numerical weather prediction 5D41F5EEN8

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

Mentions

wikipedia: Wikipedia Numerical weather prediction, Numerical weather prediction (definition). Also Wikidata Q837552

History

2026-11-02: add by m2/dev

5D41PHHXZ3 5D41PHHXZ3

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

Mentions

arxiv: arXiv 2610.01737#M6DT (statement). In M4JGP708F4/e1, lemma 2.19

History

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

5D48G6TJ7X 5D48G6TJ7X

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-105 (exercise). In E9HS8K3A52, exercise, section 5.9.1

History

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

Simon Spitzer 5D4D3EVTDN

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

Mentions

wikipedia: Wikipedia Simon Spitzer, Simon Spitzer (topic). Also Wikidata Q40566172

History

2026-11-02: add by m2/dev

Prediction 5D4GB5BB2H

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

Mentions

wikipedia: Wikipedia Prediction, Prediction (definition). Also Wikidata Q748250

History

2026-11-02: add by m2/dev

5D4K7PXKX1 5D4K7PXKX1

URI	`m2://inv/5D4K7PXKX1`
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.10546#4AHG (statement). In K5R5RRPMQ5/e1, theorem 3.2

History

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

5D4WHQH89E 5D4WHQH89E

URI	`m2://inv/5D4WHQH89E`
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.11210#IISB (statement). In CRFDGFZHBF/e1, lemma 3.10

History

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

Society of Mathematicians, Physicists and Astronomers of Slovenia 5D4WXTM510

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

Mentions

wikipedia: Wikipedia List of mathematical societies#ZJ06, Society of Mathematicians, Physicists and Astronomers of Slovenia (unknown)

History

2026-11-02: add by m2/dev

Validity of the last-layer Girsanov tilt 5D4XJV571H

URI	`m2://inv/5D4XJV571H`
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.34831#5PNC, Validity of the last-layer Girsanov tilt (statement). In YF36GM7X5Y/e1, theorem 5.2

History

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

Algorithmic art 5D50C96TDY

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#V4R6, Algorithmic art (unknown)

History

2026-11-02: add by m2/dev

direction 5D50E26GSJ

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#XV2X, direction (definition)

History

2026-11-02: add by m2/dev

corollary 5D5A21H9H1

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

Mentions

wikidata: Wikidata Q1343870, corollary (unknown). Also MathWorld Corollary
wikipedia: Wikipedia Corollary, Corollary (statement). Also Wikidata Q1343870

History

2026-10-26: add by m2/dev

Marginal stability 5D5A61TH10

URI	`m2://inv/5D5A61TH10`
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.14318#3U0L, Marginal stability (statement). In HA4SZZJ831/e1, lemma 2.1

History

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

5D5H3VN8NF 5D5H3VN8NF

URI	`m2://inv/5D5H3VN8NF`
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.35186#LNN0 (statement). In VFNPANY3HD/e1, lemma 3

History

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

Théorie analytique de la chaleur 5D5H4DCKP1

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

Mentions

wikipedia: Wikipedia List of mathematics books#I95K, Théorie analytique de la chaleur (topic)

History

2026-11-02: add by m2/dev

Examples 5D5NBKB1YD

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

Mentions

wikipedia: Wikipedia Simple harmonic motion#V6R8, Examples (example)

History

2026-11-02: add by m2/dev

5D5QFKS5W6 5D5QFKS5W6

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

Mentions

arxiv: arXiv 2609.32916#PVAB (statement). In G1RP4JY5PE/e1, lemma 5.4.8

History

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

Formal definition 5D5R5NPD0E

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

Mentions

wikipedia: Wikipedia Reeb graph#A95Q, Formal definition (definition)

History

2026-11-02: add by m2/dev

Isogonal figure 5D5VBRCAJF

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

Mentions

wikipedia: Wikipedia Isogonal figure, Isogonal figure (object). Also Wikidata Q3071715

History

2026-11-02: add by m2/dev

Jordan's inequality 5D5X0812FR

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

Mentions

wikipedia: Wikipedia List of inequalities#KCWV, Jordan's inequality (statement)

History

2026-11-02: add by m2/dev

Ralph B. D'Agostino 5D5YK9TMVH

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

Mentions

wikipedia: Wikipedia Ralph B. D'Agostino, Ralph B. D'Agostino (topic). Also Wikidata Q59209521

History

2026-11-02: add by m2/dev

Matching bound for the construction 5D60F309MA

URI	`m2://inv/5D60F309MA`
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.30877#67HL, Matching bound for the construction (statement). In QKNE21ABF3/e1, proposition 1

History

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

5D63D863ZA 5D63D863ZA

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

Mentions

arxiv: arXiv 2610.06300#6XZN (statement). In 751KSRS7WT/e1, lemma 5.5

History

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

Integrability of the energy 5D64P8KHVN

URI	`m2://inv/5D64P8KHVN`
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.15528#LQ8R, Integrability of the energy (statement). In G9GEE64N32/e1, lemma 6.4

History

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

5D68AP03G7 5D68AP03G7

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

Mentions

arxiv: arXiv 2609.23538#QWKR (statement)

History

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

Yewande Olubummo 5D6BH9QPX6

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

Mentions

wikipedia: Wikipedia Yewande Olubummo, Yewande Olubummo (topic). Also Wikidata Q20563774

History

2026-11-02: add by m2/dev

Hilbert's Nullstellensatz 5D6C93VH2G

URI	`m2://inv/5D6C93VH2G`
Kind	statement
Layer	textbook
MSC	14-XX
Sources	5
Outcome	open
Node	Hilbert's Nullstellensatz D85VZWS9QK

Mentions

mathlib_1000: mathlib_1000 Q1068976, Hilbert's Nullstellensatz (statement). Also Mathlib MvPolynomial.vanishingIdeal_zeroLocus_eq_radical, Wikidata Q1068976
mathlib_overview: mathlib_overview Geometry > Algebraic geometry > Nullstellensatz, Nullstellensatz (unknown). Also Mathlib MvPolynomial.vanishingIdeal_zeroLocus_eq_radical
thousand_plus: thousand_plus Q1068976, Hilbert's Nullstellensatz (statement). Also Mathlib MvPolynomial.vanishingIdeal_zeroLocus_eq_radical, Wikidata Q1068976, Wikipedia Hilbert's Nullstellensatz
wikidata: Wikidata Q1068976, Hilbert's Nullstellensatz (statement). Also MathWorld HilbertsNullstellensatz, ProofWiki Hilbert's_Nullstellensatz
wikipedia: Wikipedia Hilbert's Nullstellensatz, Hilbert's Nullstellensatz (definition). Also Wikidata Q1068976

History

2026-10-26: add by m2/dev

largest known prime number 5D6EC8D8TR

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

Mentions

wikidata: Wikidata Q3240929, largest known prime number (unknown). Also MathWorld LargePrime
wikipedia: Wikipedia Largest known prime number, Largest known prime number (definition). Also Wikidata Q3240929

History

2026-10-26: add by m2/dev

Exact references and a local stationary obstruction 5D6GQ4YWKT

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

Mentions

arxiv: arXiv 2609.38228#V98G, Exact references and a local stationary obstruction (statement). In 9YAE8FNQST/e1, theorem 25.6

History

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

Moti Gitik 5D6HQANCMK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZDSF, Moti Gitik (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L2TT, Moti Gitik (topic)

History

2026-11-02: add by m2/dev

Applications 5D6NG3S5TQ

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

Mentions

wikipedia: Wikipedia Optical vortex#ZYSZ, Applications (example)

History

2026-11-02: add by m2/dev

Zero order estimate 5D6NVGXC8A

URI	`m2://inv/5D6NVGXC8A`
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.34923#BTFM, Zero order estimate (statement). In 7WKVFJEZQT/e1, proposition 7

History

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

5D6T6D1X35 5D6T6D1X35

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

Mentions

wikipedia: Wikipedia Inscribed square problem#IFV8 (problem)

History

2026-11-02: add by m2/dev

Edward Aboufadel 5D6VTA0M1D

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

Mentions

wikipedia: Wikipedia Edward Aboufadel, Edward Aboufadel (topic). Also Wikidata Q48742707

History

2026-11-02: add by m2/dev

5D6XQ3ZN7C 5D6XQ3ZN7C

URI	`m2://inv/5D6XQ3ZN7C`
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.17267#6I7S (statement). In 5VWB4A47R5/e1, proposition 5.1

History

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

Triangle removal lemma 5D6YNWZAEK

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

Mentions

mathlib_overview: mathlib_overview Combinatorics > Graph theory > Triangle removal lemma, Triangle removal lemma (unknown). Also Mathlib SimpleGraph.triangle_removal

History

2026-10-26: add by m2/dev

5D72QTPZ8M 5D72QTPZ8M

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

Mentions

arxiv: arXiv 2610.13213#6QME (statement). In V97F4YZ8B0/e1, lemma 2.2

History

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

Applications 5D757XMQK4

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

Mentions

wikipedia: Wikipedia U-quadratic distribution#BR0Z, Applications (example)

History

2026-11-02: add by m2/dev

Prescribed joint output patterns 5D784KFJVH

URI	`m2://inv/5D784KFJVH`
Kind	statement
Layer	research
MSC	05-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.02407#EXPD, Prescribed joint output patterns (statement). In ZZER8ZBSCR/e1, lemma 6.16

History

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

5D7A1CB9Z5 5D7A1CB9Z5

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

Mentions

arxiv: arXiv 2610.03497#9030 (definition). In RRNHC0CAC9/e1, definition

History

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

5D7HHA28XP 5D7HHA28XP

URI	`m2://inv/5D7HHA28XP`
Kind	statement
Layer	research
MSC	14-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.30482#U4G5 (statement). In KWB9M5YH9G/e1, proposition 9.3

History

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

Symmetries 5D7J48Y5JJ

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

Mentions

wikipedia: Wikipedia Quasigroup#5D8L, Symmetries (statement)

History

2026-11-02: add by m2/dev

Applications 5D7TKF6J29

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

Mentions

wikipedia: Wikipedia Particle filter#TBKE, Applications (example)

History

2026-11-02: add by m2/dev

common zeros for $\code{18}{4}{4}$ 5D82592SEB

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

Mentions

arxiv: arXiv 2609.39395#RJ3L, common zeros for $\code{18}{4}{4}$ (example). In ZDVPJ1XX5Z/e1, example 3

History

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

predecessor 5D83XQPA1B

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

Mentions

hott_book: hott_book index/8.3/predecessor, predecessor (concept). In N54F33XE07, index, section 8.3

History

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

Oblique lattice 5D88AXT2M0

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

Mentions

wikipedia: Wikipedia Oblique lattice, Oblique lattice (definition). Also Wikidata Q114289253

History

2026-11-02: add by m2/dev

gold-197 5D8FH035NH

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

Mentions

wikidata: Wikidata Q18883174, gold-197 (definition). Also ProofWiki Definition:Gold/197

History

2026-10-26: add by m2/dev

5D8PM7QH75 5D8PM7QH75

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

Mentions

arxiv: arXiv 2610.22288#WJCD (statement). In X38P26DK6S/e1, proposition 2.10

History

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

Axiom systems 5D8QBGANYP

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

Mentions

wikipedia: Wikipedia Conditional logic#LWH8, Axiom systems (statement)

History

2026-11-02: add by m2/dev

5D94XX2RF1 5D94XX2RF1

URI	`m2://inv/5D94XX2RF1`
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.12908#NZFA (statement). In TNC658NVMQ/e1, fact 9.3

History

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

Gerald Teschl 5D966CQ224

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

Mentions

wikipedia: Wikipedia Gerald Teschl, Gerald Teschl (topic). Also Wikidata Q87427

History

2026-11-02: add by m2/dev

Generalizations 5D96J7EBF0

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

Mentions

wikipedia: Wikipedia Uniform boundedness principle#JNP1, Generalizations (statement)

History

2026-11-02: add by m2/dev

5D995MRZKS 5D995MRZKS

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

Mentions

arxiv: arXiv 2610.00135#E3H1 (statement). In PXWXV92SJY/e1, lemma 4.5

History

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

Finite-section PBFs, global obstruction, and norm approximation 5D9FVJ4ARW

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

Mentions

arxiv: arXiv 2610.08568#YFP6, Finite-section PBFs, global obstruction, and norm approximation (statement). In FDDA562VCA/e1, theorem 2.17

History

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

5D9X0ZTVQW 5D9X0ZTVQW

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

Mentions

arxiv: arXiv 2601.22681#H55P (statement). In 68VEQQX68G/e1, theorem 3.17

History

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

Jonas H. Ellenberg 5DA1CV416C

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#DQCF, Jonas H. Ellenberg (topic)

History

2026-11-02: add by m2/dev

AVA Radio Company 5DA6AEMAYX

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

Mentions

wikipedia: Wikipedia AVA Radio Company, AVA Radio Company (definition). Also Wikidata Q4655028

History

2026-11-02: add by m2/dev

Examples 5DA6XXFAZG

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

Mentions

wikipedia: Wikipedia Diagram (category theory)#V4QC, Examples (example)

History

2026-11-02: add by m2/dev

Joachim Weickert 5DA8DVWGTT

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

Mentions

wikipedia: Wikipedia List of German mathematicians#DOO2, Joachim Weickert (topic)

History

2026-11-02: add by m2/dev

5DA9MX0RWN 5DA9MX0RWN

URI	`m2://inv/5DA9MX0RWN`
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 2205.09049#XD6K (statement). In 37S7MNMZ2F/e1, lemma 76

History

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

Chang graph 5DAEN50Q3T

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

Mentions

wikidata: Wikidata Q5071699, Chang graph (unknown). Also MathWorld ChangGraphs
wikipedia: Wikipedia Chang graphs, Chang graphs (definition). Also Wikidata Q5071699

History

2026-10-26: add by m2/dev

Counts and magnitudes 5DARE9ZJ4Z

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

Mentions

arxiv: arXiv 2610.20106#4LD5, Counts and magnitudes (statement). In 6HMZ36ZBXA/e1, proposition 4.2

History

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

Examples 5DAS0QFJ0N

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

Mentions

wikipedia: Wikipedia Étale topology#F9IS, Examples (example)

History

2026-11-02: add by m2/dev

Courant algebroid 5DASPWZ2M9

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

Mentions

wikidata: Wikidata Q5178094, Courant algebroid (unknown). Also nLab Courant algebroid
wikipedia: Wikipedia Courant algebroid, Courant algebroid (definition). Also Wikidata Q5178094

History

2026-10-26: add by m2/dev

Definitions 5DB6BPNQV8

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

Mentions

wikipedia: Wikipedia Artificial wisdom#9KQH, Definitions (definition)

History

2026-11-02: add by m2/dev

Properties 5DBN9QMRBY

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

Mentions

wikipedia: Wikipedia Incidence poset#F63M, Properties (statement)

History

2026-11-02: add by m2/dev

5DBNZM3TQW 5DBNZM3TQW

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

Mentions

arxiv: arXiv 2407.04161#R125 (statement). In JBZJ7NPQ4G/e1, corollary 6.4

History

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

Integral arithmetic twists 5DC0QRE5H6

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

Mentions

arxiv: arXiv 2609.26318#1K24, Integral arithmetic twists (statement)

History

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

Fischer group 5DC11PM79P

URI	`m2://inv/5DC11PM79P`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Fischer groups AYJ1CM1XT8

Mentions

wikidata: Wikidata Q3117683, Fischer group (unknown). Also MathWorld FischerGroups, nLab Fischer group
wikipedia: Wikipedia Fischer group, Fischer group (definition). Also Wikidata Q3117683

History

2026-10-26: add by m2/dev

5DC5X95GAT 5DC5X95GAT

URI	`m2://inv/5DC5X95GAT`
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#H1V3 (statement). In F3BKXXPR3K/e1, proposition D.1

History

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

5DCBWF9C7J 5DCBWF9C7J

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-49 (exercise). In E59CDZA4DP, exercise, section 1.6.1

History

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

5DCF01XBKM 5DCF01XBKM

URI	`m2://inv/5DCF01XBKM`
Kind	definition
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.25391#2M6P (definition)

History

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

Wirtinger's inequality 5DD8FN6HT2

URI	`m2://inv/5DD8FN6HT2`
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.12277#WDNC, Wirtinger's inequality (statement). In N6GW8Z49SZ/e1, lemma 2.3

History

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

Griesmer bound 5DDBC2EYYK

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

Mentions

wikipedia: Wikipedia Griesmer bound, Griesmer bound (definition). Also Wikidata Q5608716

History

2026-11-02: add by m2/dev

5DDNR52H47 5DDNR52H47

URI	`m2://inv/5DDNR52H47`
Kind	definition
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 2208.06310#MSS8 (definition). In 9YR0E0T9XA/e1, definition 2.4

History

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

Richard S. Ward 5DDV0PZAES

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

Mentions

wikipedia: Wikipedia Richard S. Ward, Richard S. Ward (topic). Also Wikidata Q1425984

History

2026-11-02: add by m2/dev

5DE5KVT0TW 5DE5KVT0TW

URI	`m2://inv/5DE5KVT0TW`
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 math/0003117#8SC4 (statement). In WD2NCBV9F0/e1, lemma 21.7

History

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

Log-t distribution 5DEG9XBT6J

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

Mentions

wikipedia: Wikipedia Log-t distribution, Log-t distribution (definition). Also Wikidata Q111948146

History

2026-11-02: add by m2/dev

A depth lower bound in dimension quadratic in depth 5DES4KA5AC

URI	`m2://inv/5DES4KA5AC`
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.12641#ZL2O, A depth lower bound in dimension quadratic in depth (statement). In X5BYGZZHPF/e1, corollary E.6

History

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

5DF0FVYPD5 5DF0FVYPD5

URI	`m2://inv/5DF0FVYPD5`
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.19300#QRTX (statement). In S6S4RD5VXJ/e1, lemma 2

History

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

Transfer (group theory) 5DF272XERZ

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

Mentions

wikipedia: Wikipedia List of group theory topics#YMOD, Transfer (group theory) (definition)

History

2026-11-02: add by m2/dev

non-deterministic polynomial time 5DF3PXQARM

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

Mentions

wikipedia: Wikipedia Glossary of logic#Y5Q0, non-deterministic polynomial time (definition)

History

2026-11-02: add by m2/dev

Small-order coefficients 5DF52DNSXP

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

Mentions

arxiv: arXiv 2610.09602#TKQG, Small-order coefficients (statement). In 4AQ48WSBDQ/e1, lemma 4.1

History

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

Searle, Shayle R. 5DF800VMYV

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

Mentions

wikipedia: Wikipedia List of statisticians#R7KZ, Searle, Shayle R. (topic)

History

2026-11-02: add by m2/dev

Hellmuth Kneser 5DF8NRP40F

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#48B1, Hellmuth Kneser (topic)

History

2026-11-02: add by m2/dev

Corollary 5DG64AXJTE

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

Mentions

wikipedia: Wikipedia Weyl algebra#H0M1, Corollary (statement)

History

2026-11-02: add by m2/dev

5DGC1RJ3MH 5DGC1RJ3MH

URI	`m2://inv/5DGC1RJ3MH`
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 2606.00589#Q8XQ (statement). In C8JAGP8VCQ/e1, lemma 2.22

History

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

Properties 5DGFCD25PY

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

Mentions

wikipedia: Wikipedia Fréchet derivative#XFVY, Properties (statement)

History

2026-11-02: add by m2/dev

Convergence proof techniques 5DGHEXHVPK

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

Mentions

wikipedia: Wikipedia Convergence proof techniques, Convergence proof techniques (definition). Also Wikidata Q113576321

History

2026-11-02: add by m2/dev

Open set of a variety 5DGJ05EESM

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

Mentions

napkin: napkin tex/alg-geom/zariski.tex#example-3, Open set of a variety (example). In RZP28ERRZV, example, section 29.3

History

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

5DGK5XEJ00 5DGK5XEJ00

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

Mentions

arxiv: arXiv 2609.37124#8WA8 (statement). In 2QF1YG9DD0/e1, proposition 3.23

History

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

Theory and Practice of Logic Programming 5DGQY4755K

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

Mentions

wikipedia: Wikipedia List of logic journals#YBSD, Theory and Practice of Logic Programming (unknown)

History

2026-11-02: add by m2/dev

5DGTRFAVB9 5DGTRFAVB9

URI	`m2://inv/5DGTRFAVB9`
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.21358#TXID (statement). In XV70TXYS5A/e1, theorem 4.10

History

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

Vim 5DGY3H4VM7

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#HLHI, Vim (unknown)

History

2026-11-02: add by m2/dev

5DGZSGHVAM 5DGZSGHVAM

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

Mentions

arxiv: arXiv 2609.29489#8Y0L (statement)

History

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

Uniform stability of the centered-difference generator 5DH1VYVCEH

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

Mentions

arxiv: arXiv 2610.16094#AV6G, Uniform stability of the centered-difference generator (statement). In RHBS9QDHC3/e1, proposition 4.1

History

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

5DH4EANQV3 5DH4EANQV3

URI	`m2://inv/5DH4EANQV3`
Kind	conjecture
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.06141#ZKBG (conjecture). In YA6JD3JHQS/e1, conjecture 1.1

History

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

Don Coppersmith 5DH55JNM8P

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

Mentions

wikipedia: Wikipedia List of cryptographers#N24Q, Don Coppersmith (topic)

History

2026-11-02: add by m2/dev

5DHM0H7P8D 5DHM0H7P8D

URI	`m2://inv/5DHM0H7P8D`
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 2412.14956#B9S9 (statement). In T8BQ6HHZYT/e1, theorem 2.10

History

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

5DHR7DBMTM 5DHR7DBMTM

URI	`m2://inv/5DHR7DBMTM`
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.14742#YDV6 (statement). In GZYZ9FQHVC/e1, lemma 3.6

History

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

5DHS3P1XP5 5DHS3P1XP5

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

Mentions

arxiv: arXiv 2610.03081#CS8K (statement). In TX0H26X4VX/e1, proposition 4.1

History

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

complexity theory 5DHTYMMCNV

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

Mentions

wikipedia: Wikipedia Glossary of logic#G1T9, complexity theory (definition)

History

2026-11-02: add by m2/dev

5DHX0Q1TA2 5DHX0Q1TA2

URI	`m2://inv/5DHX0Q1TA2`
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.00271#K2QQ (statement). In T1NSCAZS28/e1, corollary 6.4

History

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

5DJ6PN2T7G 5DJ6PN2T7G

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

Mentions

arxiv: arXiv 2610.16059#J5H3 (statement). In 51W7AECQDA/e1, lemma 6.3

History

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

semantic consequence 5DJCMG8J6H

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

Mentions

wikipedia: Wikipedia Glossary of logic#CGFF, semantic consequence (definition)

History

2026-11-02: add by m2/dev

Applications 5DJFCQT4N2

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

Mentions

wikipedia: Wikipedia Thin plate spline#Y8KY, Applications (example)

History

2026-11-02: add by m2/dev

Properties 5DJFDEBQW7

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

Mentions

wikipedia: Wikipedia Trinomial triangle#HACY, Properties (statement)

History

2026-11-02: add by m2/dev

5DJHQXKPXF 5DJHQXKPXF

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

Mentions

arxiv: arXiv 2609.35858#FNWL (statement). In R2K4HZN8RW/e1, corollary 5.10

History

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

Statement 5DJM9RV229

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

Mentions

wikipedia: Wikipedia VIKOR method#C1EV, Statement (statement)

History

2026-11-02: add by m2/dev

Seiberg duality 5DJR5JV849

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

Mentions

wikipedia: Wikipedia List of dualities#5M43, Seiberg duality (unknown)

History

2026-11-02: add by m2/dev

Finite KL-constrained query improvement 5DK0EPS5MF

URI	`m2://inv/5DK0EPS5MF`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.33499#9HSJ, Finite KL-constrained query improvement (statement). In AAH14S2JJ2/e1, corollary D.1

History

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

5DK0Q8N4RB 5DK0Q8N4RB

URI	`m2://inv/5DK0Q8N4RB`
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#EABB (statement). In JJQQJ4KX94/e1, lemma 3.8

History

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

Terminology 5DK3TJK2TT

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

Mentions

wikipedia: Wikipedia Direct limit#809B, Terminology (definition)

History

2026-11-02: add by m2/dev

Paul Weiss 5DKDFG0HMD

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

Mentions

wikipedia: Wikipedia Paul Weiss (mathematician), Paul Weiss (topic). Also Wikidata Q24204010

History

2026-11-02: add by m2/dev

Israel Lyons 5DKH3K8E7C

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#6W3J, Israel Lyons (topic)

History

2026-11-02: add by m2/dev

Hadamard product (series) 5DKKE51JC2

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

Mentions

wikipedia: Wikipedia Generating function transformation#26PS, Hadamard product (series) (unknown)

History

2026-11-02: add by m2/dev

5DKN0CV4MX 5DKN0CV4MX

URI	`m2://inv/5DKN0CV4MX`
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.07162#IV6I (statement). In MQEB9ZHQAT/e1, theorem 3.6

History

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

domain 5DKQVHJZW6

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#297X, domain (definition)

History

2026-11-02: add by m2/dev

5DKVC73G3C 5DKVC73G3C

URI	`m2://inv/5DKVC73G3C`
Kind	statement
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 2102.12931#RNR0 (statement). In PQHTR84RAJ/e1, theorem 4.5

History

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

Devon 5DKZBA3X2W

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

Mentions

wikipedia: Wikipedia List of twin teammates in sports#X9T6, Devon (unknown)

History

2026-11-02: add by m2/dev

Out(Fn) 5DKZYD58RP

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

Mentions

wikipedia: Wikipedia Out(Fn), Out(Fn) (definition). Also Wikidata Q7111377

History

2026-11-02: add by m2/dev

5DM54RW6S9 5DM54RW6S9

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-52 (exercise). In E59CDZA4DP, exercise, section 11.4.3

History

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

5DM7RQJDZ0 5DM7RQJDZ0

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

Mentions

arxiv: arXiv 2610.15444#LAEW (statement). In M2X9TEYRPC/e1, proposition 2.6

History

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

Notation 5DMHYB1C0S

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

Mentions

wikipedia: Wikipedia Kapitza's pendulum#POGG, Notation (definition)

History

2026-11-02: add by m2/dev

5DMP30TQ7A 5DMP30TQ7A

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

Mentions

arxiv: arXiv 2610.19273#INDF (example). In T3BY4TXYT4/e1, example 3.3

History

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

Vojtěch Rödl 5DMWN739F5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#Q4M1, Vojtěch Rödl (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BZTV, Vojtěch Rödl (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z8NL, Vojtěch Rödl (unknown)

History

2026-11-02: add by m2/dev

5DMZ3TXK2F 5DMZ3TXK2F

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

Mentions

arxiv: arXiv 2609.20798#H5KF (statement)

History

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

Dror Bar-Natan 5DN3YC543Y

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#5H19, Dror Bar-Natan (topic)

History

2026-11-02: add by m2/dev

5DN67TQ3KQ 5DN67TQ3KQ

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#problem-1 (exercise). In P1C114YBXG, problem, section J

History

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

5DNAG2RF0H 5DNAG2RF0H

URI	`m2://inv/5DNAG2RF0H`
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.32946#975T (statement). In 6AEBXNK614/e1, theorem 4.9

History

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

Complete entropy estimates for an update 5DNC0MYS5Y

URI	`m2://inv/5DNC0MYS5Y`
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.03683#MUGE, Complete entropy estimates for an update (statement). In 14AMXF6X2V/e1, proposition 2.2

History

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

Definition 5DNE53TCRH

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

Mentions

wikipedia: Wikipedia Alexander polynomial#X03O, Definition (definition)

History

2026-11-02: add by m2/dev

Margaret Buchanan Cole 5DNMP057EG

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

Mentions

wikipedia: Wikipedia Margaret Buchanan Cole, Margaret Buchanan Cole (topic). Also Wikidata Q102155135

History

2026-11-02: add by m2/dev

5DNMY076C1 5DNMY076C1

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-35 (exercise). In E9HS8K3A52, exercise, section 4.2.3

History

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

5DNNNHR03P 5DNNNHR03P

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

Mentions

arxiv: arXiv 2606.22882#8OJT (statement). In YNE0Q2X61Y/e1, proposition 4.1

History

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

AND/OR graph 5DNZMZR84P

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

Mentions

arxiv: arXiv 2609.20478#R9VR, AND/OR graph (definition)

History

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

Continuity of the variance functional 5DP0V7AGMH

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

Mentions

arxiv: arXiv 2610.14616#8AYP, Continuity of the variance functional (statement). In 17ACAG0N9C/e1, lemma 8.4

History

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

Tolman surface brightness test 5DPB23DXAZ

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

Mentions

wikipedia: Wikipedia Tolman surface brightness test, Tolman surface brightness test (definition). Also Wikidata Q7814443

History

2026-11-02: add by m2/dev

Application 5DPK0W1A5Q

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

Mentions

wikipedia: Wikipedia Random surfing model#UD0J, Application (example)

History

2026-11-02: add by m2/dev

Lebesgue's number lemma 5DPPCKZEAT

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

Mentions

wikipedia: Wikipedia List of lemmas#9JWS, Lebesgue's number lemma (statement)

History

2026-11-02: add by m2/dev

Absorption of the proper selector 5DPTSZHV3C

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

Mentions

arxiv: arXiv 2609.27641#0HB9, Absorption of the proper selector (statement)

History

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

Blackwell's contraction mapping theorem 5DPTVFQWWR

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

Mentions

wikipedia: Wikipedia Blackwell's contraction mapping theorem, Blackwell's contraction mapping theorem (statement). Also Wikidata Q127163000

History

2026-11-02: add by m2/dev

5DPVBCPS7B 5DPVBCPS7B

URI	`m2://inv/5DPVBCPS7B`
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 1809.06512#5AP9 (statement). In RY2X22P6XW/e1, corollary 19

History

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

type, colimit 5DPVT0Q1YZ

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

Mentions

hott_book: hott_book index/5.8/type-colimit, type, colimit (concept). In N54F33XE07, index, section 5.8

History

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

5DPWJPWYHB 5DPWJPWYHB

URI	`m2://inv/5DPWJPWYHB`
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#HQOU (statement). In GMRT5GHBZS/e1, lemma 2.9

History

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

Green's function 5DQ03CHFS3

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

Mentions

wikipedia: Wikipedia List of real analysis topics#PPNI, Green's function (definition)
wikipedia: Wikipedia List of partial differential equation topics#N8XE, Green's function (definition)

History

2026-11-02: add by m2/dev

5DQ9PZCBE6 5DQ9PZCBE6

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

Mentions

arxiv: arXiv 2411.00562#RMHR (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm

History

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

Raphael Weldon 5DQAMRM5PM

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

Mentions

wikipedia: Wikipedia Raphael Weldon, Raphael Weldon (topic). Also Wikidata Q1573240

History

2026-11-02: add by m2/dev

Converse 5DQB3TD4AX

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

Mentions

wikipedia: Wikipedia Eilenberg–Ganea theorem#II8F, Converse (statement)

History

2026-11-02: add by m2/dev

Daniel Kastler 5DQB4CCW23

URI	`m2://inv/5DQB4CCW23`
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 Q828798, Daniel Kastler (unknown). Also nLab Daniel Kastler

History

2026-10-26: add by m2/dev

What transfers at zero noise 5DQFJBS602

URI	`m2://inv/5DQFJBS602`
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.09206#BV9R, What transfers at zero noise (statement). In T7R1Q29DQK/e1, lemma H.2

History

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

Pogorelov, Aleksei Vasil'evich 5DQGKB2Q5K

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

Mentions

wikipedia: Wikipedia List of Ukrainian mathematicians#XD5A, Pogorelov, Aleksei Vasil'evich (unknown)

History

2026-11-02: add by m2/dev

Theorem 5DQV9B3J8T

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

Mentions

wikipedia: Wikipedia L-moment#FNEI, Theorem (statement)

History

2026-11-02: add by m2/dev

Course of Theoretical Physics 5DR18QAGDJ

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

Mentions

wikipedia: Wikipedia List of textbooks in thermodynamics and statistical mechanics#WWP4, Course of Theoretical Physics (unknown)

History

2026-11-02: add by m2/dev

John Dougall 5DR8TPTH1X

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

Mentions

wikipedia: Wikipedia John Dougall (mathematician), John Dougall (topic). Also Wikidata Q14949068

History

2026-11-02: add by m2/dev

Severi–Brauer 5DRNC83M09

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#BFN1, Severi–Brauer (definition)

History

2026-11-02: add by m2/dev

5DRSFMS8KB 5DRSFMS8KB

URI	`m2://inv/5DRSFMS8KB`
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.31242#80A5 (statement). In 3NPRR9546C/e1, lemma 3.4

History

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

Rectified truncated icosahedron 5DRTDC80NX

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

Mentions

wikipedia: Wikipedia Rectified truncated icosahedron, Rectified truncated icosahedron (definition). Also Wikidata Q11075100

History

2026-11-02: add by m2/dev

Composition refinement of Theorem 1 5DRY083K3K

URI	`m2://inv/5DRY083K3K`
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.36181#ZPRS, Composition refinement of Theorem 1 (statement). In 1KSE33PVS6/e1, proposition 45

History

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

5DS9MF0QT9 5DS9MF0QT9

URI	`m2://inv/5DS9MF0QT9`
Kind	statement
Layer	research
MSC	46-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.25321#JFRQ (statement)

History

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

Weighted energy conditions 5DSGT921BD

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

Mentions

arxiv: arXiv 2610.11911#OZGA, Weighted energy conditions (definition). In 5BYE5NYB89/e1, definition 2.21

History

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

5DSHBBD26W 5DSHBBD26W

URI	`m2://inv/5DSHBBD26W`
Kind	statement
Layer	research
MSC	20-XX, 22-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 math/0512416#4LMG (statement). In WJD9YPGGYH/e1, lemma 5.3

History

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

Springer resolution 5DSJTSNK0R

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

Mentions

wikipedia: Wikipedia Springer resolution, Springer resolution (definition). Also Wikidata Q7580877

History

2026-11-02: add by m2/dev

Random oracle hypothesis 5DSVC02Y1Z

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

Mentions

wikipedia: Wikipedia Random oracle#G7ZN, Random oracle hypothesis (statement)

History

2026-11-02: add by m2/dev

Sergei B. Kuksin 5DSZE8N9JT

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

Mentions

wikipedia: Wikipedia Sergei B. Kuksin, Sergei B. Kuksin (topic). Also Wikidata Q30611006

History

2026-11-02: add by m2/dev

Frank Spitzer 5DT07BFPQR

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#MMCH, Frank Spitzer (unknown)

History

2026-11-02: add by m2/dev

Theorem (Carey Caginalp and Xinfu Chen Probability Density) 5DTF2R7GVM

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

Mentions

wikipedia: Wikipedia Narrow escape problem#B5FQ, Theorem (Carey Caginalp and Xinfu Chen Probability Density) (statement)

History

2026-11-02: add by m2/dev

arc 5DTGG6T5KW

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

Mentions

wikidata: Wikidata Q147572, arc (unknown). Also MathWorld Arc

History

2026-10-26: add by m2/dev

Applications 5DTNJ4PFNF

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

Mentions

wikipedia: Wikipedia Unscented optimal control#MHF9, Applications (example)

History

2026-11-02: add by m2/dev

Generalization 5DTP6JM0FS

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

Mentions

wikipedia: Wikipedia Biconjugate gradient stabilized method#PAB9, Generalization (statement)

History

2026-11-02: add by m2/dev

Marques-Neves (2014 5DTQB3ZB8A

URI	`m2://inv/5DTQB3ZB8A`
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.26745#QR1E, Marques-Neves (2014 (statement)

History

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

5DTX5V9WF6 5DTX5V9WF6

URI	`m2://inv/5DTX5V9WF6`
Kind	example
Layer	research
MSC	14-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.17737#S6KW (example). In 8SXY7Y68HV/e1, example 5.4

History

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

Proper !!^{subformula} 5DTXJ3XW3J

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/subformulas.tex#defn-2, Proper !!^{subformula} (definition). In PKGMM3P5QY, defn, section 20.2

History

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

Inclusion 5DV091R0FG

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

Mentions

wikipedia: Wikipedia Inclusion (Boolean algebra), Inclusion (definition). Also Wikidata Q16989976

History

2026-11-02: add by m2/dev

5DVAHF7AJS 5DVAHF7AJS

URI	`m2://inv/5DVAHF7AJS`
Kind	statement
Layer	research
MSC	53-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 2005.03073#0WDO (statement). In P2ETMXKVDS/e1, proposition 1.3

History

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

Matthias Schonlau 5DVMTH4EW9

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

Mentions

wikipedia: Wikipedia Matthias Schonlau, Matthias Schonlau (topic). Also Wikidata Q60676223

History

2026-11-02: add by m2/dev

5DVMWNVK14 5DVMWNVK14

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

Mentions

arxiv: arXiv 2610.06081#UIJY (statement). In 7Z3KQRFEVG/e1, lemma B.4

History

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

Second arcsine law 5DVR8P9ZNR

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

Mentions

wikipedia: Wikipedia Wiener process#611T, Second arcsine law (statement)

History

2026-11-02: add by m2/dev

5DW26DM4NX 5DW26DM4NX

URI	`m2://inv/5DW26DM4NX`
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.26357#3VVL (statement)

History

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

Dependent weighted tails 5DW85Q521S

URI	`m2://inv/5DW85Q521S`
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.09206#WJDM, Dependent weighted tails (statement). In T7R1Q29DQK/e1, lemma 10

History

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

5DWPH8YVJJ 5DWPH8YVJJ

URI	`m2://inv/5DWPH8YVJJ`
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 0910.5574#3R3M (statement). In 2TJRBRKYAY/e1, lemma 5.4

History

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

Ellis–Numakura lemma 5DWTRPY529

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

Mentions

wikipedia: Wikipedia List of lemmas#Q7NV, Ellis–Numakura lemma (statement)

History

2026-11-02: add by m2/dev

infinite limit, of a function 5DWXAMR0MH

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

Mentions

lebl_ra: lebl_ra index/2.5.2/infinite-limit-of-a-function, infinite limit, of a function (concept). In E59CDZA4DP, index, section 2.5.2

History

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

Antonio Collalto 5DWZZX132C

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

Mentions

wikipedia: Wikipedia Antonio Collalto (mathematician), Antonio Collalto (topic). Also Wikidata Q3619434

History

2026-11-02: add by m2/dev

Torsion of every finite order 5DX16KKEJM

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

Mentions

arxiv: arXiv 2610.04305#Z42R, Torsion of every finite order (statement). In Y1DR0DPWD0/e1, corollary 1.1

History

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

Superparticular ratio 5DX1MMQSJ3

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

Mentions

wikipedia: Wikipedia Superparticular ratio, Superparticular ratio (definition). Also Wikidata Q3079133

History

2026-11-02: add by m2/dev

Mark Tomforde 5DX1VWER22

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

Mentions

wikipedia: Wikipedia Mark Tomforde, Mark Tomforde (topic). Also Wikidata Q98407743

History

2026-11-02: add by m2/dev

Laver 5DX3D2MN9Z

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

Mentions

wikipedia: Wikipedia Glossary of set theory#ENYP, Laver (definition)

History

2026-11-02: add by m2/dev

5DX7YK2XHK 5DX7YK2XHK

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#prop:seclosed (statement). In E59CDZA4DP, prop, section 5.4.1

History

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

Topological Tverberg Theorem 5DX8DSNFGR

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

Mentions

wikipedia: Wikipedia Tverberg's theorem#T49P, Topological Tverberg Theorem (statement)

History

2026-11-02: add by m2/dev

Descending (Stable) Manifold 5DXJMMWD5F

URI	`m2://inv/5DXJMMWD5F`
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.01937#A4VS, Descending (Stable) Manifold (definition). In BAEDMM7YM5/e1, definition 10

History

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

5DXRDFH8MS 5DXRDFH8MS

URI	`m2://inv/5DXRDFH8MS`
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.07546#JTVG (statement). In H9YE46CGFN/e1, theorem 2

History

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

5DXT373P6Z 5DXT373P6Z

URI	`m2://inv/5DXT373P6Z`
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.18673#2RJV (statement). In 7ZFD9XRKA1/e1, theorem

History

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

Notation 5DXY6XVVNA

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

Mentions

wikipedia: Wikipedia Perspective (geometry)#DACF, Notation (definition)

History

2026-11-02: add by m2/dev

Cauchy–Schwarz inequality for integrals 5DY07D2CQJ

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

Mentions

wikidata: Wikidata Q117355636, Cauchy–Schwarz inequality for integrals (statement). Also ProofWiki Cauchy-Bunyakovsky-Schwarz_Inequality/Definite_Integrals

History

2026-10-26: add by m2/dev

Rosenbrock function 5DYCA8QZ1M

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

Mentions

wikidata: Wikidata Q2981936, Rosenbrock function (unknown). Also MathWorld RosenbrockFunction
wikipedia: Wikipedia Rosenbrock function, Rosenbrock function (definition). Also Wikidata Q2981936

History

2026-10-26: add by m2/dev

Orthogonality 5DYCS8JVTG

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

Mentions

wikipedia: Wikipedia Inner product space#97S1, Orthogonality (definition)

History

2026-11-02: add by m2/dev

Positive set theory 5DYD94KXVE

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

Mentions

wikipedia: Wikipedia Positive set theory, Positive set theory (definition). Also Wikidata Q7233294

History

2026-11-02: add by m2/dev

5DYJ3Z2DJZ 5DYJ3Z2DJZ

URI	`m2://inv/5DYJ3Z2DJZ`
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.14154#QFUU (statement). In 8X6PXX2TRA/e1, theorem 6.8

History

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

5DYPKM2KMV 5DYPKM2KMV

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

Mentions

arxiv: arXiv 2609.37967#L31Y (statement). In BR2E3CXQE0/e1, lemma 1

History

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

Definition 5DYR0WAQFF

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

Mentions

wikipedia: Wikipedia Harmonic distribution#GP6F, Definition (definition)

History

2026-11-02: add by m2/dev

Jacobi rotation 5DYSFKNW2Q

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

Mentions

wikipedia: Wikipedia Jacobi rotation, Jacobi rotation (definition). Also Wikidata Q6119655

History

2026-11-02: add by m2/dev

5DYVJ90AXY 5DYVJ90AXY

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

Mentions

open_logic: open_logic content/normal-modal-logic/frame-definability/definability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 52.5

History

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

5DZ1MADQVE 5DZ1MADQVE

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

Mentions

arxiv: arXiv 2206.05392#YPS9 (conjecture). In 58D1ZC82DW/e1, conjecture 21

History

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

Intentionality bias 5DZ4ZK3V4B

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

Mentions

wikipedia: Wikipedia List of cognitive biases#GCK7, Intentionality bias (definition)

History

2026-11-02: add by m2/dev

5DZ6WS4NES 5DZ6WS4NES

URI	`m2://inv/5DZ6WS4NES`
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.18101#SCQI (statement). In XXN6KKXPYF/e1, lemma 5.2

History

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

Definitions 5DZ80KJQS0

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

Mentions

wikipedia: Wikipedia Connected dominating set#NVVK, Definitions (definition)

History

2026-11-02: add by m2/dev

vector field 5DZJFWHQAG

URI	`m2://inv/5DZJFWHQAG`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Vector field 0299VCW1TH

Mentions

wikidata: Wikidata Q186247, vector field (definition). Also EoM Vector_field, MathWorld VectorField, nLab vector field, ProofWiki Definition:Vector_Field
wikipedia: Wikipedia Vector field, Vector field (definition). Also Wikidata Q186247

History

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

Examples 5DZMYBSJ8S

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

Mentions

wikipedia: Wikipedia Quasitoric manifold#NKB7, Examples (example)

History

2026-11-02: add by m2/dev

Czech Republic 5DZVMR9TMS

URI	`m2://inv/5DZVMR9TMS`
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 Q213, Czech Republic (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Czechia

History

2026-10-26: add by m2/dev

5DZY3B2MX8 5DZY3B2MX8

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

Mentions

arxiv: arXiv 2610.11545#6F3X (statement). In VN084GGZGK/e1, proposition 2.5

History

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

5DZY46TXJ7 5DZY46TXJ7

URI	`m2://inv/5DZY46TXJ7`
Kind	statement
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.30444#ZLZN (statement). In RZWJ0AT8W5/e1, theorem 6.3

History

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