Inventory rows P6

Egan conjecture P6067APKGE

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

Mentions

wikipedia: Wikipedia Egan conjecture, Egan conjecture (statement). Also Wikidata Q123512422

History

2026-11-02: add by m2/dev

Cauchy's functional equation P60HTCN75Z

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

Mentions

wikipedia: Wikipedia Cauchy's functional equation, Cauchy's functional equation (definition). Also Wikidata Q680611

History

2026-11-02: add by m2/dev

Coupling estimate P60VXTT05Y

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

Mentions

arxiv: arXiv 2610.00137#18GF, Coupling estimate (statement). In NKW6YQ04QW/e1, lemma 4.1

History

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

P611GBW6RE P611GBW6RE

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

Mentions

arxiv: arXiv 2609.25307#PDP5 (statement)

History

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

Prime model P615SZM0YE

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

Mentions

wikipedia: Wikipedia List of first-order theories#OOB8, Prime model (definition)

History

2026-11-02: add by m2/dev

P615YRGGSD P615YRGGSD

URI	`m2://inv/P615YRGGSD`
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 2610.12480#VB84 (definition). In 585QYGX4X6/e1, definition 18

History

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

Definition P61F16CB2D

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

Mentions

wikipedia: Wikipedia Ricci-flat manifold#4VVH, Definition (definition)

History

2026-11-02: add by m2/dev

P61HXAQ3E7 P61HXAQ3E7

URI	`m2://inv/P61HXAQ3E7`
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 2504.01057#7BD1 (statement). In 69QFBXJENW/e1, theorem 4.4

History

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

Three Sisters (Oregon) P61S9JPGVT

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

Mentions

wikipedia: Wikipedia List of places with numeric names#IGIE, Three Sisters (Oregon) (unknown)

History

2026-11-02: add by m2/dev

P625NK8GTH P625NK8GTH

URI	`m2://inv/P625NK8GTH`
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 2311.01874#AOCN (statement). In A4TR95VGX2/e1, corollary 4

History

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

Theorem P62BV51YD8

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

Mentions

wikipedia: Wikipedia Jackson integral#XZ7X, Theorem (statement)

History

2026-11-02: add by m2/dev

P62DGGWS97 P62DGGWS97

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/universal-tm.tex#thm:universal-tm (statement). In PKGMM3P5QY, thm, section 87.1

History

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

P62F93RGKX P62F93RGKX

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

Mentions

arxiv: arXiv 2609.34856#AIWL (statement). In MRR92GQNZE/e1, lemma 3.13

History

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

Chasles' theorem P62T9TCCMP

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

Mentions

wikipedia: Wikipedia List of theorems#UOFV, Chasles' theorem (statement)

History

2026-11-02: add by m2/dev

Chen--Greenberg P62TV1BTEB

URI	`m2://inv/P62TV1BTEB`
Kind	statement
Layer	research
MSC	11-XX, 14-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.01806#QFC6, Chen--Greenberg (statement). In 4FXW9CRBXX/e1, theorem 2.1

History

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

Michel Reiss P631AM29SY

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

Mentions

wikipedia: Wikipedia Michel Reiss, Michel Reiss (topic). Also Wikidata Q6836538

History

2026-11-02: add by m2/dev

Moments of the tangent increment P634Q8FCQK

URI	`m2://inv/P634Q8FCQK`
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 2610.17946#ADFH, Moments of the tangent increment (statement). In A7HTYWJNCX/e1, lemma 4

History

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

DPP-compatible monoidal logarithmic functions P63G8T9768

URI	`m2://inv/P63G8T9768`
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 2609.27799#KQ53, DPP-compatible monoidal logarithmic functions (definition)

History

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

Implementation P63JEKQMG2

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

Mentions

wikipedia: Wikipedia Measurement invariance#THEH, Implementation (definition)

History

2026-11-02: add by m2/dev

P63N1AZ0BH P63N1AZ0BH

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

Mentions

arxiv: arXiv math/9602216#A67Z (definition). In SD43497T8C/e1, definition 1.7

History

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

Properties P63R5KBBN6

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

Mentions

wikipedia: Wikipedia Napierian logarithm#U8CV, Properties (statement)

History

2026-11-02: add by m2/dev

Lexicon Technicum P63RJVJSKA

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

Mentions

wikipedia: Wikipedia Lexicon Technicum, Lexicon Technicum (definition). Also Wikidata Q1751320

History

2026-11-02: add by m2/dev

P63RZWKEB9 P63RZWKEB9

URI	`m2://inv/P63RZWKEB9`
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.04809#MNXN (statement). In 2VHV0RNTNV/e1, lemma 3.6

History

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

List of theorems P640THWJTZ

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#66Q9, List of theorems (topic)

History

2026-11-02: add by m2/dev

Time-local OU-basis approximation P646H43DVE

URI	`m2://inv/P646H43DVE`
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.05333#VH8B, Time-local OU-basis approximation (statement). In N37WKFTR7Q/e1, lemma E.4

History

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

compactification P6487A01VD

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#ILTI, compactification (definition)

History

2026-11-02: add by m2/dev

Urysohn, Pavlo Samuilovich P64KZNN0DS

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

Mentions

wikipedia: Wikipedia List of Ukrainian mathematicians#O910, Urysohn, Pavlo Samuilovich (topic)

History

2026-11-02: add by m2/dev

P64QXAJ6V7 P64QXAJ6V7

URI	`m2://inv/P64QXAJ6V7`
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.12908#TSC5 (definition). In TNC658NVMQ/e1, definition 4.4

History

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

P64ZJSQGFB P64ZJSQGFB

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

Mentions

arxiv: arXiv 2312.06581#D6LC (example). In WXJ2V3HA2R/e1, example D.2

History

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

Kronheimer–Mrowka basic class P6520WHHKA

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

Mentions

wikipedia: Wikipedia Kronheimer–Mrowka basic class, Kronheimer–Mrowka basic class (definition). Also Wikidata Q6438928

History

2026-11-02: add by m2/dev

ATR0 P659TCB4D5

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

Mentions

wikipedia: Wikipedia Reverse mathematics#B5NG, ATR0 (unknown)

History

2026-11-02: add by m2/dev

P65F20KY9S P65F20KY9S

URI	`m2://inv/P65F20KY9S`
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.33185#86D1 (statement). In QX30H2WNA7/e1, proposition 4.9

History

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

Hilbert's Theorem 90 P65FCKZCPH

URI	`m2://inv/P65FCKZCPH`
Kind	statement
Layer	textbook
MSC	11-XX, 14-XX
Sources	5
Outcome	open
Node	Hilbert's Theorem 90 YFF8B5A0QG

Mentions

arxiv: arXiv 2610.09672#Z7X2, Hilbert's Theorem 90 (statement). In TXBXCPP0QH/e1, lemma 5
mathlib_1000: mathlib_1000 Q1420905, Hilbert's theorem 90 (statement). Also Wikidata Q1420905
thousand_plus: thousand_plus Q1420905, Hilbert's theorem 90 (statement). Also Wikidata Q1420905, Wikipedia Hilbert's theorem 90
wikidata: Wikidata Q1420905, Hilbert's Theorem 90 (statement). Also nLab Hilbert's Theorem 90
wikipedia: Wikipedia Hilbert's Theorem 90, Hilbert's Theorem 90 (statement). Also Wikidata Q1420905

History

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

P65G698ENN P65G698ENN

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

Mentions

arxiv: arXiv 2610.01753#RG1H (definition). In JY50YXMH5N/e1, definition 5

History

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

Tarski Lectures P65K3EKZKF

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

Mentions

wikipedia: Wikipedia Tarski Lectures, Tarski Lectures (definition). Also Wikidata Q1291783

History

2026-11-02: add by m2/dev

Real-world mathematical problems P65KGWPR0E

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

Mentions

wikipedia: Wikipedia Mathematical problem#KXCL, Real-world mathematical problems (unknown)

History

2026-11-02: add by m2/dev

Symplectic group P65XNWW86J

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#XE9H, Symplectic group (definition)

History

2026-11-02: add by m2/dev

P6602S33KM P6602S33KM

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

Mentions

hott_book: hott_book reals.tex#proof-14 (proof). In N54F33XE07, proof, section B.3.2

History

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

register machine P661Y7B9QE

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

Mentions

wikidata: Wikidata Q1930388, register machine (unknown). Also MathWorld RegisterMachine
wikipedia: Wikipedia Register machine, Register machine (definition). Also Wikidata Q1930388

History

2026-10-26: add by m2/dev

Ubol Ratana P662HBK77N

URI	`m2://inv/P662HBK77N`
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#K04Y, Ubol Ratana (unknown)

History

2026-11-02: add by m2/dev

P662QP98AC P662QP98AC

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

Mentions

arxiv: arXiv 2609.25435#6S28 (statement)

History

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

P66B278NJ1 P66B278NJ1

URI	`m2://inv/P66B278NJ1`
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.09882#9TLI (statement). In 7XV6T4N79V/e1, lemma 6.6

History

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

P66E86XWF8 P66E86XWF8

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#defn-4 (definition). In E59CDZA4DP, defn, section 10.1.2

History

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

P66Q6A4KQA P66Q6A4KQA

URI	`m2://inv/P66Q6A4KQA`
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 1303.4328#DFZ6 (statement). In HCTYW6VH87/e1, proposition 8.3

History

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

P66QK52Q8K P66QK52Q8K

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

Mentions

arxiv: arXiv 2610.14236#4QJB (definition). In XEQD21EBTT/e1, definition 3.4

History

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

Spin-$3/2$ rotation P66XK9DSMR

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

Mentions

arxiv: arXiv 2609.31689#KY7C, Spin-$3/2$ rotation (statement). In Z7M2JSF6HA/e1, lemma 14.3

History

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

Jacopo Riccati P67B3XTSE7

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#7VNU, Jacopo Riccati (unknown)
wikipedia: Wikipedia List of Italian mathematicians#PGMG, Jacopo Riccati (unknown)

History

2026-11-02: add by m2/dev

Firoozbakht's conjecture P67C9CW959

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

Mentions

wikipedia: Wikipedia Firoozbakht's conjecture, Firoozbakht's conjecture (conjecture). Also Wikidata Q5452148

History

2026-11-02: add by m2/dev

P67DC3N5NW P67DC3N5NW

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

Mentions

open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 78.2

History

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

P67FAXKXZW P67FAXKXZW

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

Mentions

arxiv: arXiv 2610.05986#JXO4 (statement). In N5ZM8MXJXH/e1, lemma B.9

History

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

Blaschke–Lebesgue theorem P67FE8MKCR

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

Mentions

wikipedia: Wikipedia Blaschke–Lebesgue theorem, Blaschke–Lebesgue theorem (statement). Also Wikidata Q4925292

History

2026-11-02: add by m2/dev

P67TJ1VPZK P67TJ1VPZK

URI	`m2://inv/P67TJ1VPZK`
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.38735#DXET (statement). In XZ71J0DQSE/e1, theorem 4.2

History

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

P67XRZTJK4 P67XRZTJK4

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

Mentions

arxiv: arXiv 2609.19882#OSV8 (statement)

History

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

ZF P6824W1N9E

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

Mentions

arxiv: arXiv 2609.25291#B27H, ZF (statement)

History

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

McCullagh's parametrization of the Cauchy distributions P68BHF713B

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

Mentions

wikipedia: Wikipedia McCullagh's parametrization of the Cauchy distributions, McCullagh's parametrization of the Cauchy distributions (definition). Also Wikidata Q6800742

History

2026-11-02: add by m2/dev

P68GE6SH23 P68GE6SH23

URI	`m2://inv/P68GE6SH23`
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 2304.02722#4AIL (statement). In AH7D55D3WV/e1, lemma 20.6

History

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

P68H2TD2KB P68H2TD2KB

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

Mentions

applied_combinatorics: applied_combinatorics source/s_networkflow_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 13

History

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

Nash equilibrium computation P68RGSA681

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

Mentions

wikipedia: Wikipedia Nash equilibrium computation, Nash equilibrium computation (definition). Also Wikidata Q137194845

History

2026-11-02: add by m2/dev

Bernard Bolzano P68SEFY5NC

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

Mentions

wikidata: Wikidata Q184735, Bernard Bolzano (unknown). Also nLab Bernard Bolzano, ProofWiki Mathematician:Bernhard_Placidus_Johann_Nepomuk_Bolzano
wikipedia: Wikipedia Bernard Bolzano, Bernard Bolzano (topic). Also Wikidata Q184735

History

2026-10-26: add by m2/dev

Properties P68T2YJP5W

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

Mentions

wikipedia: Wikipedia Induced representation#UBUP, Properties (statement)

History

2026-11-02: add by m2/dev

P68TF4V56S P68TF4V56S

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

Mentions

arxiv: arXiv 2609.27366#NZA7 (statement)

History

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

functional P68WF79CNK

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#LSJX, functional (definition)

History

2026-11-02: add by m2/dev

The chain criterion rejects the false candidates P68YXR04VH

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

Mentions

arxiv: arXiv 2609.27966#JJF0, The chain criterion rejects the false candidates (statement)

History

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

Algorithms and Combinatorics P692J05KHM

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

Mentions

wikipedia: Wikipedia Algorithms and Combinatorics, Algorithms and Combinatorics (definition). Also Wikidata Q55603625

History

2026-11-02: add by m2/dev

P698JDBVJB P698JDBVJB

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

Mentions

arxiv: arXiv 2609.29450#Z14W (statement)

History

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

P69A81JJJ4 P69A81JJJ4

URI	`m2://inv/P69A81JJJ4`
Kind	example
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.10077#NXT6 (example). In YA7H9PY3R1/e1, example 4.6

History

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

P69FWYFA61 P69FWYFA61

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

Mentions

arxiv: arXiv 2610.01888#0NE4 (example). In A89G9GMPC9/e1, example 4.10

History

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

An optimal solution requiring two components P69GC7ND5A

URI	`m2://inv/P69GC7ND5A`
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.15125#S269, An optimal solution requiring two components (statement). In V5GT8NJKCM/e1, proposition G.1

History

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

Examples P69GS88M8W

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

Mentions

wikipedia: Wikipedia Generalized Verma module#G1U7, Examples (example)

History

2026-11-02: add by m2/dev

Salomon Bochner P69HDPJQ1W

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

Mentions

wikipedia: Wikipedia Salomon Bochner, Salomon Bochner (topic). Also Wikidata Q215967

History

2026-11-02: add by m2/dev

Lovelock theory of gravity P69MKYB77Q

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

Mentions

wikipedia: Wikipedia Lovelock theory of gravity, Lovelock theory of gravity (definition). Also Wikidata Q6692247

History

2026-11-02: add by m2/dev

Proton Mail P69QXJ3YXR

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

Mentions

wikipedia: Wikipedia Proton Mail, Proton Mail (definition). Also Wikidata Q17355735

History

2026-11-02: add by m2/dev

improper integral P69XJHJN46

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

Mentions

active_calculus: active_calculus index/6.5.2/improper-integral, improper integral (concept). In 907G4C4EJ1, index, section 6.5.2

History

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

Properties P6A5Q0VYEM

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

Mentions

wikipedia: Wikipedia Faddeeva function#VLJV, Properties (statement)

History

2026-11-02: add by m2/dev

P6A657NWMJ P6A657NWMJ

URI	`m2://inv/P6A657NWMJ`
Kind	statement
Layer	research
MSC	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 2609.40214#FICW (statement). In XD603HRHKC/e1, lemma 5.4

History

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

Gennadii Rubinstein P6A87JF3YK

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

Mentions

wikipedia: Wikipedia Gennadii Rubinstein, Gennadii Rubinstein (topic). Also Wikidata Q109771825

History

2026-11-02: add by m2/dev

Edwin Evariste Moise P6ACER3NGX

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

Mentions

wikipedia: Wikipedia List of geometers#BWBX, Edwin Evariste Moise (topic)

History

2026-11-02: add by m2/dev

Kline sphere characterization P6AMXTZHY3

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

Mentions

wikipedia: Wikipedia Kline sphere characterization, Kline sphere characterization (definition). Also Wikidata Q6421006

History

2026-11-02: add by m2/dev

First (Lévy's) arcsine law P6ATSR9GVV

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

Mentions

wikipedia: Wikipedia Arcsine laws (Wiener process)#A2UI, First (Lévy's) arcsine law (statement)

History

2026-11-02: add by m2/dev

Monomial unitary matrices P6AYTCS5PN

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

Mentions

arxiv: arXiv 2610.21653#BYPA, Monomial unitary matrices (definition). In 266RE655Z2/e1, definition 2

History

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

Sparse approximation P6AZ9MMJGR

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

Mentions

wikipedia: Wikipedia Sparse approximation, Sparse approximation (definition). Also Wikidata Q28684319

History

2026-11-02: add by m2/dev

Strict envelope P6B1SGVBBV

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

Mentions

arxiv: arXiv 2609.37479#U733, Strict envelope (statement). In P3RTT99C41/e1, corollary 4.9

History

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

Macaulay2 P6B6DAZQ95

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#3EZY, Macaulay2 (definition)

History

2026-11-02: add by m2/dev

Stanislas Ouaro P6B9PJQ2D4

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

Mentions

wikipedia: Wikipedia Stanislas Ouaro, Stanislas Ouaro (topic). Also Wikidata Q12897461

History

2026-11-02: add by m2/dev

fractional transport equation P6B9XPQ7VG

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

Mentions

arxiv: arXiv 2609.35001#K6A6, fractional transport equation (example). In 1PN6NESQER/e1, example 1

History

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

P6BEPCB3S4 P6BEPCB3S4

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

Mentions

arxiv: arXiv 2610.02042#WVOB (statement). In P3HWTYFDBX/e1, corollary 6.14

History

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

Octacontagon P6BGVXMH89

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#G1U0, Octacontagon (definition)

History

2026-11-02: add by m2/dev

P6BR3E6Q9P P6BR3E6Q9P

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 92.3

History

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

Quantification. P6BSQ3SDGB

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

Mentions

wikipedia: Wikipedia Adjoint functors#FQBF, Quantification. (definition)

History

2026-11-02: add by m2/dev

Generalizations P6BX92Q1T1

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

Mentions

wikipedia: Wikipedia Implicit function theorem#NVDP, Generalizations (statement)

History

2026-11-02: add by m2/dev

P6C2ZTMAF9 P6C2ZTMAF9

URI	`m2://inv/P6C2ZTMAF9`
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.06529#6YFA (statement). In JFQY4CYHKP/e1, theorem 1

History

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

P6CB5PXT1K P6CB5PXT1K

URI	`m2://inv/P6CB5PXT1K`
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.15094#YMPT (statement). In 5AA8PPK2CC/e1, theorem 6

History

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

Least absolute deviations P6CF3C92Z1

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

Mentions

wikipedia: Wikipedia Least absolute deviations, Least absolute deviations (definition). Also Wikidata Q4291882

History

2026-11-02: add by m2/dev

Decidable sublanguages of set theory P6CF5ZTRVS

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

Mentions

wikipedia: Wikipedia Decidable sublanguages of set theory, Decidable sublanguages of set theory (definition). Also Wikidata Q5249147

History

2026-11-02: add by m2/dev

Ramanujan Mathematical Society P6CJGH1VZN

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

Mentions

wikipedia: Wikipedia List of mathematical societies#YD5V, Ramanujan Mathematical Society (unknown)
wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#3GOE, Ramanujan Mathematical Society (unknown)

History

2026-11-02: add by m2/dev

Spring mass system P6CKTY8MH8

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

Mentions

wikipedia: Wikipedia Harmonic oscillator#T3C7, Spring mass system (unknown)

History

2026-11-02: add by m2/dev

P6CQ3TP4XJ P6CQ3TP4XJ

URI	`m2://inv/P6CQ3TP4XJ`
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.23424#1M08 (statement)

History

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

Bombieri inequality P6CQ8ZTQWA

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

Mentions

wikipedia: Wikipedia Bombieri norm#U5HD, Bombieri inequality (statement)

History

2026-11-02: add by m2/dev

George Uhlenbeck P6CQHADWEZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WBXF, George Uhlenbeck (unknown)

History

2026-11-02: add by m2/dev

P6CT1MEPS0 P6CT1MEPS0

URI	`m2://inv/P6CT1MEPS0`
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.15771#D9KC (statement). In F2243YZX7A/e1, theorem 2.2

History

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

P6CYN6MYAB P6CYN6MYAB

URI	`m2://inv/P6CYN6MYAB`
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.22847#DP86 (statement)

History

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

P6D2MQ1RFS P6D2MQ1RFS

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

Mentions

arxiv: arXiv 2609.34013#4CL1 (statement). In 3TA3P3CWSJ/e1, proposition 5.2

History

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

P6D4HGG0T6 P6D4HGG0T6

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

Mentions

arxiv: arXiv 2610.06340#8YYM (problem). In PKNZPECH82/e1, problem 11.5

History

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

Rectified 5-orthoplexes P6D5DV1YXY

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

Mentions

wikipedia: Wikipedia Rectified 5-orthoplexes, Rectified 5-orthoplexes (definition). Also Wikidata Q7303157

History

2026-11-02: add by m2/dev

Marisa Fernández P6D6FRTNST

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

Mentions

wikipedia: Wikipedia Marisa Fernández, Marisa Fernández (topic). Also Wikidata Q102221856

History

2026-11-02: add by m2/dev

Category of magmas P6D6TTC4G1

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

Mentions

wikipedia: Wikipedia Magma (algebra)#0QQA, Category of magmas (unknown)

History

2026-11-02: add by m2/dev

Properties P6D7YSZSF0

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

Mentions

wikipedia: Wikipedia Implicature#RUB9, Properties (statement)

History

2026-11-02: add by m2/dev

Functional flow block diagram P6D805R4P4

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

Mentions

wikipedia: Wikipedia List of graphical methods#J9DM, Functional flow block diagram (unknown)

History

2026-11-02: add by m2/dev

P6DBS9BTKN P6DBS9BTKN

URI	`m2://inv/P6DBS9BTKN`
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 1902.04230#QBRO (statement). In 22JZ68FGCW/e1, lemma 4.10

History

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

Statement of the theorem P6DBXQNZH9

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

Mentions

wikipedia: Wikipedia Albert–Brauer–Hasse–Noether theorem#904G, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

P6DCVFB0FD P6DCVFB0FD

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

Mentions

arxiv: arXiv 2609.36204#5SPY (statement). In ZEHQDJTEDG/e1, theorem 1.2

History

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

Sue-Jane Wang P6DH5Y7VXP

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

Mentions

wikipedia: Wikipedia Sue-Jane Wang, Sue-Jane Wang (topic). Also Wikidata Q107488421

History

2026-11-02: add by m2/dev

excluded middle P6DJ33170F

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

Mentions

hott_book: hott_book index/6.2/excluded-middle, excluded middle (concept). In N54F33XE07, index, section 6.2

History

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

Imperative logic P6E0A0D3GZ

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

Mentions

wikipedia: Wikipedia Imperative logic, Imperative logic (topic). Also Wikidata Q17147159

History

2026-11-02: add by m2/dev

P6E4D34HZR P6E4D34HZR

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

Mentions

arxiv: arXiv 2610.07285#JPRI (statement). In S284XRA4WK/e1, lemma D.2

History

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

P6E9741TA6 P6E9741TA6

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#EAPX (definition)

History

2026-11-02: add by m2/dev

P6EEM1BKGF P6EEM1BKGF

URI	`m2://inv/P6EEM1BKGF`
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#BT9M (statement). In WDV5E2CVTR/e1, lemma 3.10

History

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

Birth–death process P6ESQVAV5N

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

Mentions

wikipedia: Wikipedia Birth–death process, Birth–death process (definition). Also Wikidata Q1456275

History

2026-11-02: add by m2/dev

P6EW42J5HY P6EW42J5HY

URI	`m2://inv/P6EW42J5HY`
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.21545#OHWW (statement). In 1Q3H75330M/e1, lemma 6.1

History

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

P6EYCBRFAW P6EYCBRFAW

URI	`m2://inv/P6EYCBRFAW`
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-65 (exercise). In E59CDZA4DP, exercise, section 11.5.2

History

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

Extensions P6F03WS1EX

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

Mentions

wikipedia: Wikipedia Schur's inequality#K2V6, Extensions (statement)

History

2026-11-02: add by m2/dev

P6F4S5JQ5D P6F4S5JQ5D

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

Mentions

arxiv: arXiv 2609.30086#J671 (statement)

History

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

Sylvester pentahedral theorem P6F615E1CD

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

Mentions

wikipedia: Wikipedia List of theorems#4WZ7, Sylvester pentahedral theorem (definition)

History

2026-11-02: add by m2/dev

Definition P6FCAXYHRK

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

Mentions

wikipedia: Wikipedia Parity (mathematics)#K1QB, Definition (definition)

History

2026-11-02: add by m2/dev

P6FCTFPPJQ P6FCTFPPJQ

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

Mentions

arxiv: arXiv 2610.10406#CQGK (statement). In VQA35Q7C00/e1, theorem 2.10

History

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

P6FFS5YKV1 P6FFS5YKV1

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

Mentions

arxiv: arXiv 2609.31615#ZBJQ (statement). In TNV6XTEWEG/e1, fact 4.2

History

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

Oscar II Coast P6FJBT2XN1

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

Mentions

wikipedia: Wikipedia List of places with numeric names#PCCF, Oscar II Coast (unknown)

History

2026-11-02: add by m2/dev

Robert Richard Anstice P6FP2TVA2P

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

Mentions

wikipedia: Wikipedia Robert Richard Anstice, Robert Richard Anstice (topic). Also Wikidata Q18300375

History

2026-11-02: add by m2/dev

P6FXT8XAJB P6FXT8XAJB

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

Mentions

napkin: napkin tex/linalg/transpose.tex#theorem-4 (statement). In RZP28ERRZV, theorem, section 61.5

History

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

P6G4M4MBNW P6G4M4MBNW

URI	`m2://inv/P6G4M4MBNW`
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.00113#PJM4 (statement). In R9PP1Y2EP4/e1, theorem 2.1

History

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

P6G72RS8DM P6G72RS8DM

URI	`m2://inv/P6G72RS8DM`
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.11082#TITX (statement). In GFPFFN0BXV/e1, corollary 4

History

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

column vector P6G9JR526E

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

Mentions

wikidata: Wikidata Q2716994, column vector (unknown). Also MathWorld ColumnVector

History

2026-10-26: add by m2/dev

P6GB1P7V8G P6GB1P7V8G

URI	`m2://inv/P6GB1P7V8G`
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.08382#KY7R (statement). In GYMGDQS25R/e1, proposition 6.16

History

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

P6GDF8W7A5 P6GDF8W7A5

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

Mentions

open_logic: open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 51.7

History

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

Dimca-Sticlaru P6GSHEAYN5

URI	`m2://inv/P6GSHEAYN5`
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 2309.15228#30H6, Dimca-Sticlaru (statement). In 4778KMFZAF/e1, proposition 2.5

History

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

Samuel Marolois P6GZBQ2RZ5

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

Mentions

wikipedia: Wikipedia Samuel Marolois, Samuel Marolois (topic). Also Wikidata Q3261976

History

2026-11-02: add by m2/dev

P6H2D2ZWJC P6H2D2ZWJC

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

Mentions

arxiv: arXiv 2610.14068#0DII (statement). In JF19FEH3SW/e1, lemma 10.2

History

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

Examples P6H4V0WW4J

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

Mentions

wikipedia: Wikipedia Stone space#CPGR, Examples (example)

History

2026-11-02: add by m2/dev

P6H9Y886MX P6H9Y886MX

URI	`m2://inv/P6H9Y886MX`
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 2610.20207#HUAP (statement). In 1MPH7GCFJ2/e1, corollary 6.5

History

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

P6HD94K8V1 P6HD94K8V1

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

Mentions

arxiv: arXiv 2610.16225#OVAN (definition). In H3DJV9YQW1/e1, definition 3.8

History

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

Examples P6HFG3GDED

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

Mentions

wikipedia: Wikipedia Approximately finite-dimensional C*-algebra#2X4V, Examples (example)

History

2026-11-02: add by m2/dev

P6HGH0F52G P6HGH0F52G

URI	`m2://inv/P6HGH0F52G`
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.04264#B8FB (statement). In 5YRJ4HGY4N/e1, lemma 9

History

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

Pencil P6HPK5MK9T

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

Mentions

wikipedia: Wikipedia Pencil (geometry), Pencil (definition). Also Wikidata Q15736718

History

2026-11-02: add by m2/dev

P6HQ6ZYEGW P6HQ6ZYEGW

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

Mentions

arxiv: arXiv 2609.25718#XHM2 (statement)

History

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

P6HR8QPQ31 P6HR8QPQ31

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

Mentions

arxiv: arXiv 2610.22161#7XL3 (statement). In FVM35KPN8C/e1, lemma 4.6

History

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

P6HRGXPF88 P6HRGXPF88

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

Mentions

arxiv: arXiv 2609.34856#MWZ8 (statement). In MRR92GQNZE/e1, proposition 3.5

History

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

P6HSQDBT3Z P6HSQDBT3Z

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

Mentions

applied_combinatorics: applied_combinatorics source/s_kitchensink_zero-one-matrices.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 16.5.1

History

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

P6HTJJ4VWX P6HTJJ4VWX

URI	`m2://inv/P6HTJJ4VWX`
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.12371#L81K (statement). In 8TTFQH19QR/e1, theorem 7

History

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

Nonlinear variational principle P6HW7MTDM1

URI	`m2://inv/P6HW7MTDM1`
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.25915#UDMM, Nonlinear variational principle (statement)

History

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

Knowledge Discovery in Databases P6HZ61SCE3

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

Mentions

wikipedia: Wikipedia Data mining#387G, Knowledge Discovery in Databases (unknown)

History

2026-11-02: add by m2/dev

James embedding P6J15KZ66S

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

Mentions

wikipedia: Wikipedia James embedding, James embedding (definition). Also Wikidata Q16918587

History

2026-11-02: add by m2/dev

Time hierarchy theorem P6J1Y2EB1Z

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#PWS3, Time hierarchy theorem (statement)
wikipedia: Wikipedia List of computability and complexity topics#UEAM, Time hierarchy theorem (statement)

History

2026-11-02: add by m2/dev

image of a free point P6JEZHKY4X

URI	`m2://inv/P6JEZHKY4X`
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.09298#8VZH, image of a free point (statement). In 1SPQ4J3AWY/e1, lemma 2.5

History

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

P6JT98Q0J0 P6JT98Q0J0

URI	`m2://inv/P6JT98Q0J0`
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.30165#P1E0 (statement)

History

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

Properties P6JVTW4ACJ

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

Mentions

wikipedia: Wikipedia Thue–Morse sequence#S5AJ, Properties (statement)

History

2026-11-02: add by m2/dev

P6JXWAQTNM P6JXWAQTNM

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

Mentions

arxiv: arXiv 2610.07679#383F (statement). In K8JMTRS42G/e1, theorem 1.1

History

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

virtual machine P6K24HK5C7

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

Mentions

wikidata: Wikidata Q192726, virtual machine (unknown). Also MathWorld VirtualMachine

History

2026-10-26: add by m2/dev

P6K7TCW03Z P6K7TCW03Z

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

Mentions

arxiv: arXiv 2110.11143#SDT9 (statement). In VTVC0TCWSB/e1, lemma 6.8

History

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

Arc routing P6K7XD4V92

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

Mentions

wikipedia: Wikipedia Arc routing, Arc routing (definition). Also Wikidata Q4785038

History

2026-11-02: add by m2/dev

Line segments in the polynomial lift P6KBE66A8K

URI	`m2://inv/P6KBE66A8K`
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.22485#2K7F, Line segments in the polynomial lift (statement)

History

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

Graph theory P6KHN1KYKX

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#GN6L, Graph theory (definition)

History

2026-11-02: add by m2/dev

P6KVVP0P40 P6KVVP0P40

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

Mentions

arxiv: arXiv 2609.24465#UPAA (statement)

History

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

P6M612C91Q P6M612C91Q

URI	`m2://inv/P6M612C91Q`
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.07957#TH3G (definition). In RXFKX8M8P0/e1, definition 6

History

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

P6M69CEJN7 P6M69CEJN7

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

Mentions

napkin: napkin tex/measure/caratheodory.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 63.7

History

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

Generalized symmetric group P6MCC7NWEP

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

Mentions

wikipedia: Wikipedia Generalized symmetric group, Generalized symmetric group (definition). Also Wikidata Q5532515

History

2026-11-02: add by m2/dev

Examples P6MDVAQ36R

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

Mentions

wikipedia: Wikipedia Mechanical similarity#KZHA, Examples (example)

History

2026-11-02: add by m2/dev

P6MGFW6145 P6MGFW6145

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#proof-2 (proof). In RZP28ERRZV, proof, section 4.4

History

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

Examples P6MSZKQ414

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

Mentions

wikipedia: Wikipedia Alternating sign matrix#2NG6, Examples (example)

History

2026-11-02: add by m2/dev

P6MYFVTDPY P6MYFVTDPY

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphalgorithms_shortest-paths.ptx#theorem-1 (statement). In QKM9DD2H56, theorem, section 12.3.3

History

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

Topological sphere P6NDXC1JZV

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

Mentions

wikipedia: Wikipedia Sphere#6O4H, Topological sphere (unknown)

History

2026-11-02: add by m2/dev

P6NKGKZ9VW P6NKGKZ9VW

URI	`m2://inv/P6NKGKZ9VW`
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.01855#ADCN (statement). In MM8P5CJR18/e1, lemma C.6

History

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

P6NNMQWV1Q P6NNMQWV1Q

URI	`m2://inv/P6NNMQWV1Q`
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.01802#E7D3 (statement). In XGPZ0G9E1Q/e1, proposition 10.3

History

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

P6NQZ3E3G9 P6NQZ3E3G9

URI	`m2://inv/P6NQZ3E3G9`
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.11823#DM3H (statement). In YNQHA63Z2B/e1, theorem 1.1

History

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

P6NTPHTNJV P6NTPHTNJV

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

Mentions

arxiv: arXiv 2609.38138#52BA (definition). In G97FA99ZEF/e1, definition 1.4

History

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

P6NWTJMK9H P6NWTJMK9H

URI	`m2://inv/P6NWTJMK9H`
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 2508.17135#JFN4 (statement). In 74MXJ2RX4B/e1, theorem 4.10

History

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

P6NYY8768V P6NYY8768V

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

Mentions

arxiv: arXiv 2609.26675#CSMO (statement)

History

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

P6NYZ36AQX P6NYZ36AQX

URI	`m2://inv/P6NYZ36AQX`
Kind	statement
Layer	research
MSC	17-XX, 20-XX, 22-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.05259#ZESF (statement). In X1J5HKPS3R/e1, lemma 2.10

History

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

Cobounded product regions P6P1JBS9JE

URI	`m2://inv/P6P1JBS9JE`
Kind	definition
Layer	research
MSC	20-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.09162#TTLW, Cobounded product regions (definition). In TAPS8P2VYS/e1, definition 1.23

History

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

Chaplygin problem P6P2PEQ5TT

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

Mentions

wikipedia: Wikipedia Chaplygin problem, Chaplygin problem (problem). Also Wikidata Q5073246

History

2026-11-02: add by m2/dev

P6P3S2DAAG P6P3S2DAAG

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

Mentions

arxiv: arXiv 2504.00596#Q3GJ (statement). In F8RC6AENB0/e1, proposition 7.8

History

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

Example P6P4D0REX8

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

Mentions

wikipedia: Wikipedia Erdős–Szekeres theorem#HHRW, Example (example)

History

2026-11-02: add by m2/dev

Exact scaling relation for the bulk measure P6PAXEANNS

URI	`m2://inv/P6PAXEANNS`
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 2502.09121#YK0R, Exact scaling relation for the bulk measure (statement). In 559PF7Q5BT/e1, lemma 10

History

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

Definition P6PC89Q7Y8

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

Mentions

wikipedia: Wikipedia SAMV (algorithm)#XFYD, Definition (definition)

History

2026-11-02: add by m2/dev

P6PNM4531F P6PNM4531F

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

Mentions

arxiv: arXiv 2504.02065#JPDP (statement). In 60CK7P5F36/e1, theorem 7.4

History

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

Hartshorne ellipse P6PWQE45T5

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

Mentions

wikipedia: Wikipedia Hartshorne ellipse, Hartshorne ellipse (definition). Also Wikidata Q5675292

History

2026-11-02: add by m2/dev

Jesús María Sanz-Serna P6PX83G6H6

URI	`m2://inv/P6PX83G6H6`
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#AFRA, Jesús María Sanz-Serna (topic)

History

2026-11-02: add by m2/dev

P6PXFWZ27T P6PXFWZ27T

URI	`m2://inv/P6PXFWZ27T`
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.02295#YC8N (statement). In PEBD9ZMA1W/e1, lemma 5.5

History

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

P6Q7AW1RGC P6Q7AW1RGC

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

Mentions

arxiv: arXiv 2610.19954#CEZ2 (problem). In AXPPYWYJZ5/e1, problem 3.5

History

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

extensive category P6QGSDP54M

URI	`m2://inv/P6QGSDP54M`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Extensive category 5H16H7FY5D

Mentions

wikidata: Wikidata Q55611299, extensive category (unknown). Also nLab extensive category
wikipedia: Wikipedia Extensive category, Extensive category (definition). Also Wikidata Q55611299

History

2026-10-26: add by m2/dev

\texttt{Explicit constrained microscopic equilibrium P6QSXSZDH2

URI	`m2://inv/P6QSXSZDH2`
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#KT97, \texttt{Explicit constrained microscopic equilibrium (statement). In R8176XJ535/e1, theorem 3.1

History

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

Sorting by signed reversals P6R7K21Q83

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

Mentions

wikipedia: Wikipedia List of algorithms#ZVEH, Sorting by signed reversals (unknown)

History

2026-11-02: add by m2/dev

P6RG0GMG7N P6RG0GMG7N

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

Mentions

arxiv: arXiv 2610.06458#NA2D (definition). In 4X93XG8NMD/e1, definition 2.3

History

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

Properties P6RRHFKCD5

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

Mentions

wikipedia: Wikipedia Full and faithful functors#7HNJ, Properties (statement)

History

2026-11-02: add by m2/dev

P6RXDS4XK0 P6RXDS4XK0

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

Mentions

arxiv: arXiv 2610.20801#GQKT (definition). In A1GWWGRXPA/e1, definition 3.33

History

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

T.O. Engset P6S2HBMPBN

URI	`m2://inv/P6S2HBMPBN`
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#SZ7A, T.O. Engset (topic)

History

2026-11-02: add by m2/dev

Subgradient method P6SB9ARV8Q

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

Mentions

wikipedia: Wikipedia Subgradient method, Subgradient method (definition). Also Wikidata Q7631150

History

2026-11-02: add by m2/dev

P6SCBG7BM6 P6SCBG7BM6

URI	`m2://inv/P6SCBG7BM6`
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.26600#CPVT (definition)

History

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

Fidelity target P6SD62YQK4

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

Mentions

arxiv: arXiv 2609.23350#X9YU, Fidelity target (definition)

History

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

Exact sequence P6SNXVS5GP

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

Mentions

wikipedia: Wikipedia List of homological algebra topics#QESH, Exact sequence (definition)
wikipedia: Wikipedia List of algebraic topology topics#WAOQ, Exact sequence (definition)

History

2026-11-02: add by m2/dev

P6SYNEFPVR P6SYNEFPVR

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

Mentions

arxiv: arXiv 2609.33590#0WG1 (statement). In WRE0P7V6Z3/e1, lemma 11.3

History

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

Monin–Obukhov similarity theory P6T7JCY1PN

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

Mentions

wikipedia: Wikipedia Monin–Obukhov similarity theory, Monin–Obukhov similarity theory (definition). Also Wikidata Q18390975

History

2026-11-02: add by m2/dev

P6T8P9MKHV P6T8P9MKHV

URI	`m2://inv/P6T8P9MKHV`
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.21935#E4UM (definition). In YDNK7E99JW/e1, definition

History

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

P6TRJ752PV P6TRJ752PV

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

Mentions

arxiv: arXiv 2609.34011#PECW (statement). In RAXRNDW2Z0/e1, proposition 4.3

History

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

P6V25G8RP5 P6V25G8RP5

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

Mentions

arxiv: arXiv 2610.10559#1WWJ (statement). In WEP0PNJW09/e1, lemma 3.3

History

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

P6V5SJT7EM P6V5SJT7EM

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

Mentions

arxiv: arXiv 2610.05423#W9AY (statement). In 3ABGS3F1JG/e1, theorem 7.3

History

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

Termwise differentiation P6V7CE85MB

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

Mentions

wikipedia: Wikipedia Power series#RNA2, Termwise differentiation (unknown)

History

2026-11-02: add by m2/dev

P6VE0VMS27 P6VE0VMS27

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 30.6

History

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

Definitions P6VFBVVQZ9

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

Mentions

wikipedia: Wikipedia Dedekind-finite ring#9GB0, Definitions (definition)

History

2026-11-02: add by m2/dev

P6VG2750FK P6VG2750FK

URI	`m2://inv/P6VG2750FK`
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.40274#FZPB (statement). In 7ZDNJC9MST/e1, theorem 2.1

History

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

Example P6VGT5RXRD

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

Mentions

wikipedia: Wikipedia Commonality analysis#KY1H, Example (example)

History

2026-11-02: add by m2/dev

P6W4WV7EKS P6W4WV7EKS

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

Mentions

arxiv: arXiv 2609.24739#F33Z (statement)

History

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

Newton's laws of motion P6W60SM6Z7

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

Mentions

wikidata: Wikidata Q38433, Newton's laws of motion (statement). Also EoM Newton_laws_of_mechanics, nLab Newton's laws of motion, ProofWiki Newton's_Laws_of_Motion
wikipedia: Wikipedia Newton's laws of motion, Newton's laws of motion (statement). Also Wikidata Q38433

History

2026-10-26: add by m2/dev

P6WC5PABJ4 P6WC5PABJ4

URI	`m2://inv/P6WC5PABJ4`
Kind	example
Layer	research
MSC	05-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.07280#5PBN (example). In 1FJKW4WGEN/e1, example 3.3

History

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

Shi--Frankl--Qian P6WD14RKW4

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

Mentions

arxiv: arXiv 2610.16203#68NU, Shi--Frankl--Qian (statement). In 43TBS9P2PX/e1, theorem 9.6

History

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

P6WD4SRY95 P6WD4SRY95

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

Mentions

open_logic: open_logic content/turing-machines/machines-computations/representing-tms.tex#ex-3 (example). In PKGMM3P5QY, ex, section 86.1

History

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

Selberg's inequality P6WHQ7DC31

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

Mentions

wikipedia: Wikipedia Chebyshev's inequality#61F1, Selberg's inequality (statement)

History

2026-11-02: add by m2/dev

P6WK5EX7TJ P6WK5EX7TJ

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

Mentions

arxiv: arXiv 2610.02158#NAGJ (statement). In PCV12VAD47/e1, lemma 11

History

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

P6X2KJR7HW P6X2KJR7HW

URI	`m2://inv/P6X2KJR7HW`
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 2610.07909#BJ9K (statement). In 6KST0WX37C/e1, theorem 1.3

History

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

P6X3R0FA3G P6X3R0FA3G

URI	`m2://inv/P6X3R0FA3G`
Kind	definition
Layer	research
MSC	35-XX, 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 2610.05391#NVE8 (definition). In 9B5TNEBJHV/e1, definition 3.4

History

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

P6X7AY2TA7 P6X7AY2TA7

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#thm:union of open sets (statement). In P1C114YBXG, theorem, section K

History

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

Jonas H. Ellenberg P6XCQ73XAS

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

Mentions

wikipedia: Wikipedia Jonas H. Ellenberg, Jonas H. Ellenberg (topic). Also Wikidata Q102276872

History

2026-11-02: add by m2/dev

Alex Biryukov P6XH6Z62NX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#99QU, Alex Biryukov (topic)

History

2026-11-02: add by m2/dev

P6XNGDSN4Z P6XNGDSN4Z

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

Mentions

arxiv: arXiv 2609.22514#LZK9 (definition)

History

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

P6XTH4VAN5 P6XTH4VAN5

URI	`m2://inv/P6XTH4VAN5`
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#GGCZ (statement). In Y1DR0DPWD0/e1, corollary 3.20

History

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

P6Y2GY1AY6 P6Y2GY1AY6

URI	`m2://inv/P6Y2GY1AY6`
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-33 (exercise). In E59CDZA4DP, exercise, section 11.2.4

History

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

Common-energy comparison P6Y5KH47Z5

URI	`m2://inv/P6Y5KH47Z5`
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.07721#07R1, Common-energy comparison (statement). In QMJDN66F5N/e1, proposition 3.2

History

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

P6Y5MZV523 P6Y5MZV523

URI	`m2://inv/P6Y5MZV523`
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#VPJ0 (statement). In Y1DR0DPWD0/e1, corollary 5.3

History

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

Definition P6YCJ9T36J

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

Mentions

wikipedia: Wikipedia Big q-Jacobi polynomials#O80F, Definition (definition)

History

2026-11-02: add by m2/dev

Kantorovich inequality P6YDNWB7F1

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

Mentions

wikidata: Wikidata Q3154001, Kantorovich inequality (statement). Also MathWorld KantorovichInequality
wikipedia: Wikipedia Kantorovich inequality, Kantorovich inequality (statement). Also Wikidata Q3154001

History

2026-10-26: add by m2/dev

First-order theory P6YH8G6KKS

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#SETA, First-order theory (definition)

History

2026-11-02: add by m2/dev

Formal definition P6YNQ34FYN

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

Mentions

wikipedia: Wikipedia Rees factor semigroup#ODXV, Formal definition (definition)

History

2026-11-02: add by m2/dev

The recursion theorem P6YPVHGYZM

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

Mentions

wikipedia: Wikipedia Recursion#JZVO, The recursion theorem (statement)

History

2026-11-02: add by m2/dev

vector addition P6YQB8ADGS

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

Mentions

wikidata: Wikidata Q10713659, vector addition (unknown). Also MathWorld VectorAddition

History

2026-10-26: add by m2/dev

$\omega$-limit structure at $q_c$ P6YRP60A99

URI	`m2://inv/P6YRP60A99`
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.02751#XC8C, $\omega$-limit structure at $q_c$ (statement). In MWGXPXF3BW/e1, proposition 27

History

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

Philip Saffman P6YSCBBG70

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#V3U4, Philip Saffman (topic)

History

2026-11-02: add by m2/dev

P6YSD56721 P6YSD56721

URI	`m2://inv/P6YSD56721`
Kind	definition
Layer	research
MSC	03-XX, 18-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 2610.07695#LBFK (definition). In 8Z47D12KSX/e1, definition 11.1

History

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

Affine simulation P6YY672A65

URI	`m2://inv/P6YY672A65`
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#1XC5, Affine simulation (statement). In P55JSAYR3T/e1, theorem

History

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

Wawrzyniec Żmurko P6Z16C3KQD

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

Mentions

wikipedia: Wikipedia Wawrzyniec Żmurko, Wawrzyniec Żmurko (topic). Also Wikidata Q7975652

History

2026-11-02: add by m2/dev

P6Z9R3MCMK P6Z9R3MCMK

URI	`m2://inv/P6Z9R3MCMK`
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 2405.05684#XJ3K (statement). In 1PR73ECTZB/e1, proposition 8

History

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

Example P6ZBAG0E49

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

Mentions

wikipedia: Wikipedia Projection-valued measure#CBJI, Example (example)

History

2026-11-02: add by m2/dev

lattice theory P6ZK12CT5V

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

Mentions

wikidata: Wikidata Q18533485, lattice theory (topic). Also ProofWiki Definition:Lattice_Theory

History

2026-10-26: add by m2/dev

Leave-one-out quantities P6ZKZYH55C

URI	`m2://inv/P6ZKZYH55C`
Kind	definition
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 2610.00501#IH2D, Leave-one-out quantities (definition). In FTPW1SZ8D3/e1, definition C.1

History

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

algebraic number field P6ZMDM4DS4

URI	`m2://inv/P6ZMDM4DS4`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Algebraic number field MWBDFS2KJ5

Mentions

wikidata: Wikidata Q616608, algebraic number field (definition). Also Mathlib NumberField, MathWorld NumberField, ProofWiki Definition:Algebraic_Number_Field
wikipedia: Wikipedia Algebraic number field, Algebraic number field (definition). Also Wikidata Q616608

History

2026-10-26: add by m2/dev

P6ZN8F5XDS P6ZN8F5XDS

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

Mentions

arxiv: arXiv 2609.37747#NS8H (statement). In GEYDNVZEP7/e1, lemma A.4

History

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

König's paradox P6ZVRQXGD6

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

Mentions

wikipedia: Wikipedia Paradoxes of set theory#9AHH, König's paradox (statement)

History

2026-11-02: add by m2/dev

Lévy flight P6ZXNA4EZ7

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

Mentions

wikipedia: Wikipedia List of statistics articles#JW0B, Lévy flight (definition)
wikipedia: Wikipedia List of probability topics#E0GP, Lévy flight (definition)

History

2026-11-02: add by m2/dev