Inventory rows 50

5003EE811P 5003EE811P

URI	`m2://inv/5003EE811P`
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.18219#N4AN (statement). In X1AGBB90EH/e1, lemma 7.19

History

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

5003NE5FE5 5003NE5FE5

URI	`m2://inv/5003NE5FE5`
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 2609.31373#N857 (statement). In H4XKQM67NA/e1, lemma 2.2

History

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

5009NN6Y7N 5009NN6Y7N

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

Mentions

arxiv: arXiv 2610.02901#FHAP (statement). In NSP90G5XCQ/e1, lemma 4.13

History

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

Rabinovich–Fabrikant equations 500CXRPREP

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

Mentions

wikipedia: Wikipedia Rabinovich–Fabrikant equations, Rabinovich–Fabrikant equations (definition). Also Wikidata Q7278770

History

2026-11-02: add by m2/dev

500KZZTXMA 500KZZTXMA

URI	`m2://inv/500KZZTXMA`
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.26019#5P8X (statement)

History

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

Bernoulli's method 500MBX2NKF

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

Mentions

wikipedia: Wikipedia Bernoulli's method, Bernoulli's method (definition). Also Wikidata Q133981269

History

2026-11-02: add by m2/dev

White surface 500NNWPSFP

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#7NQ1, White surface (definition)

History

2026-11-02: add by m2/dev

500QBEQAE6 500QBEQAE6

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

Mentions

napkin: napkin tex/alg-NT/numfield.tex#definition-1 (definition). In RZP28ERRZV, definition, section 16.2

History

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

Definition 501029HN0F

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

Mentions

wikipedia: Wikipedia Hermite reduction#IUGF, Definition (definition)

History

2026-11-02: add by m2/dev

5014WQ8WP7 5014WQ8WP7

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

Mentions

arxiv: arXiv 2609.29918#DBM3 (statement)

History

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

501BS5G9G6 501BS5G9G6

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

Mentions

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

History

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

Gustav Doetsch 501DA3Z0DQ

URI	`m2://inv/501DA3Z0DQ`
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#1U2O, Gustav Doetsch (topic)
wikipedia: Wikipedia List of German mathematicians#TOQ8, Gustav Doetsch (topic)

History

2026-11-02: add by m2/dev

501S3135M0 501S3135M0

URI	`m2://inv/501S3135M0`
Kind	statement
Layer	research
MSC	37-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.10558#ERMX (statement). In GYSF9JXQCH/e1, corollary B

History

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

inpolar quadric 5020PDEY2T

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#QKRO, inpolar quadric (definition)

History

2026-11-02: add by m2/dev

Primal Existence and Uniqueness 5021TH1NTZ

URI	`m2://inv/5021TH1NTZ`
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.20316#JD0Z, Primal Existence and Uniqueness (statement)

History

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

5024BC1V1D 5024BC1V1D

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#example-2 (example). In E59CDZA4DP, example, section 7.1

History

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

5026428Z3D 5026428Z3D

URI	`m2://inv/5026428Z3D`
Kind	statement
Layer	research
MSC	46-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.12116#MHU6 (statement). In WB3F0S794F/e1, theorem A

History

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

502B4S3TF8 502B4S3TF8

URI	`m2://inv/502B4S3TF8`
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 2606.11100#27X3 (statement). In K6TFPPVEF9/e1, proposition 3.1

History

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

Example 502E2ZWKHJ

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

Mentions

wikipedia: Wikipedia Borel set#WW1T, Example (example)

History

2026-11-02: add by m2/dev

Highly optimized tolerance 502JZ3CWJ5

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#9S0O, Highly optimized tolerance (unknown)

History

2026-11-02: add by m2/dev

502WE5FW4K 502WE5FW4K

URI	`m2://inv/502WE5FW4K`
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.23872#DQ9D (statement)

History

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

Eilenberg–MacLane spectrum 502XA7JJKW

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

Mentions

wikipedia: Wikipedia Eilenberg–MacLane spectrum, Eilenberg–MacLane spectrum (definition). Also Wikidata Q134310487

History

2026-11-02: add by m2/dev

502Z0C6T1Z 502Z0C6T1Z

URI	`m2://inv/502Z0C6T1Z`
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 2105.13129#N9FZ (statement). In J5Z1JD5VKR/e1, proposition 2.4

History

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

Core-only rate in the deductive abstraction 502ZQT1XPY

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

Mentions

arxiv: arXiv 2609.34353#7PWU, Core-only rate in the deductive abstraction (statement). In TJ8CGE97Q6/e1, theorem 1

History

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

Nonnegative aggregation 5035XASRC3

URI	`m2://inv/5035XASRC3`
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.04027#V00B, Nonnegative aggregation (statement). In DQB4YR2DFH/e1, corollary 2.4

History

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

503MCN2BPK 503MCN2BPK

URI	`m2://inv/503MCN2BPK`
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.19273#2P8D (statement). In T3BY4TXYT4/e1, lemma 3.6

History

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

Marie-Louise Dubreil-Jacotin 503PBKCMDB

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

Mentions

wikipedia: Wikipedia Marie-Louise Dubreil-Jacotin, Marie-Louise Dubreil-Jacotin (topic). Also Wikidata Q3292060

History

2026-11-02: add by m2/dev

503Z0MP733 503Z0MP733

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

Mentions

arxiv: arXiv 2610.03517#SH95 (statement). In 3CGS9GSKTQ/e1, lemma 6.5

History

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

Data classification 503Z99PPHG

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

Mentions

wikipedia: Wikipedia Data classification (business intelligence), Data classification (definition). Also Wikidata Q5227256

History

2026-11-02: add by m2/dev

503ZWSCJFQ 503ZWSCJFQ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 2.2

History

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

William McFadden Orr 5044B3Y1N8

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

Mentions

wikipedia: Wikipedia William McFadden Orr, William McFadden Orr (topic). Also Wikidata Q8015396

History

2026-11-02: add by m2/dev

The s-cobordism theorem 5046C5VF9K

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

Mentions

wikipedia: Wikipedia H-cobordism#0YEX, The s-cobordism theorem (statement)

History

2026-11-02: add by m2/dev

Displacement operator 5046QT8WXR

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

Mentions

wikipedia: Wikipedia Displacement operator, Displacement operator (definition). Also Wikidata Q5282616

History

2026-11-02: add by m2/dev

\textbf{Interpolation Error and Stability 5049BHPPRA

URI	`m2://inv/5049BHPPRA`
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.02791#ZPEI, \textbf{Interpolation Error and Stability (statement). In TT9BA4VMTW/e1, lemma A.4

History

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

Covariate 504BMMBFNP

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

Mentions

wikipedia: Wikipedia List of statistics articles#38PS, Covariate (definition)

History

2026-11-02: add by m2/dev

504E71CZ0T 504E71CZ0T

URI	`m2://inv/504E71CZ0T`
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.08091#JZFO (statement). In MS13WE3CSD/e1, proposition 2.13

History

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

504EKV6MNK 504EKV6MNK

URI	`m2://inv/504EKV6MNK`
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 2504.13328#HI8C (statement). In 736Q32FYCG/e1, corollary 4.3

History

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

positive matrix 504KBR9D54

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

Mentions

austin_ula: austin_ula index/4.5.3/positive-matrix, positive matrix (concept). In 649HGZKE96, index, section 4.5.3

History

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

504MY0TYRS 504MY0TYRS

URI	`m2://inv/504MY0TYRS`
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 2610.22076#BDHS (statement). In TTJB4HBG5R/e1, lemma 2.4

History

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

504P2DQA46 504P2DQA46

URI	`m2://inv/504P2DQA46`
Kind	statement
Layer	research
MSC	37-XX, 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 2609.26269#9UOP (statement)

History

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

Examples 504PPZV5WQ

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

Mentions

wikipedia: Wikipedia Quasirandom group#QFC7, Examples (example)

History

2026-11-02: add by m2/dev

Horațiu Năstase 504TW5SMGE

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

Mentions

wikipedia: Wikipedia List of string theory topics#77MC, Horațiu Năstase (unknown)

History

2026-11-02: add by m2/dev

504WKXMX7T 504WKXMX7T

URI	`m2://inv/504WKXMX7T`
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.05327#SU2B (statement). In ZD7BWDKT84/e1, proposition 8.8

History

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

set-quotient 504ZEG86BQ

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

Mentions

hott_book: hott_book index/5.10/set-quotient, set-quotient (concept). In N54F33XE07, index, section 5.10

History

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

5051AHCKGT 5051AHCKGT

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-42 (exercise). In E59CDZA4DP, exercise, section 4.4.3

History

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

Definition 5053KKNRK5

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

Mentions

wikipedia: Wikipedia Commutative property#RPY5, Definition (definition)

History

2026-11-02: add by m2/dev

50561596VG 50561596VG

URI	`m2://inv/50561596VG`
Kind	statement
Layer	research
MSC	30-XX, 32-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.24614#3A96 (statement)

History

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

ordered field 5057WK1S9C

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

Mentions

hott_book: hott_book index/B/ordered-field, ordered field (concept). In N54F33XE07, index, section B

History

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

Paul Félix Vincensini 50594HJWH6

URI	`m2://inv/50594HJWH6`
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#PDUS, Paul Félix Vincensini (topic)

History

2026-11-02: add by m2/dev

Construction of the perpendicular 505BD1W7AJ

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

Mentions

wikipedia: Wikipedia Perpendicular#7HMZ, Construction of the perpendicular (definition)

History

2026-11-02: add by m2/dev

Meta-optimization 505C1JBYYV

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#DFRU, Meta-optimization (definition)

History

2026-11-02: add by m2/dev

Taylor Remainders and Polarization 505H4G970A

URI	`m2://inv/505H4G970A`
Kind	statement
Layer	research
MSC	03-XX, 26-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.12239#M7J3, Taylor Remainders and Polarization (statement). In CW9MNA6K58/e1, lemma 9.3

History

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

Poincaré–Birkhoff–Witt theorem 505JS4PMKV

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

Mentions

wikipedia: Wikipedia List of theorems#9GRF, Poincaré–Birkhoff–Witt theorem (statement)

History

2026-11-02: add by m2/dev

Kraków School of Mathematics 505NHYY5BY

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

Mentions

wikipedia: Wikipedia Kraków School of Mathematics, Kraków School of Mathematics (definition). Also Wikidata Q1504789

History

2026-11-02: add by m2/dev

archaversine 505PX9571Z

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

Mentions

wikidata: Wikidata Q116651878, archaversine (unknown). Also MathWorld InverseHaversine

History

2026-10-26: add by m2/dev

Facet theory 505TH3W4AV

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

Mentions

wikipedia: Wikipedia Facet theory, Facet theory (definition). Also Wikidata Q105038017

History

2026-11-02: add by m2/dev

505VETP343 505VETP343

URI	`m2://inv/505VETP343`
Kind	example
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.31274#IS0F (example). In RK0ZMDJ23T/e1, example 1.3.5

History

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

Occurrence-level semantics for process trees 505Y6TSS0W

URI	`m2://inv/505Y6TSS0W`
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#NMLA, Occurrence-level semantics for process trees (definition)

History

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

pentagonal hexecontahedral graph 505Z65KR3Q

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

Mentions

wikidata: Wikidata Q3115567, pentagonal hexecontahedral graph (unknown). Also House of Graphs 1257, MathWorld PentagonalHexecontahedralGraph

History

2026-10-26: add by m2/dev

Toponogov's theorem 506H41E737

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

Mentions

wikipedia: Wikipedia Sectional curvature#M4G8, Toponogov's theorem (statement)

History

2026-11-02: add by m2/dev

equivalence with the conforming method 506H6TYNE5

URI	`m2://inv/506H6TYNE5`
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.22355#OP83, equivalence with the conforming method (statement)

History

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

Egon Balas 506JXM4YNR

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

Mentions

wikipedia: Wikipedia Egon Balas, Egon Balas (topic). Also Wikidata Q552641

History

2026-11-02: add by m2/dev

orbit 506RKDEJTV

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

Mentions

mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > orbit, orbit (unknown). Also Mathlib MulAction.orbit

History

2026-10-26: add by m2/dev

Guido Weiss 507187W05D

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8KZP, Guido Weiss (topic)

History

2026-11-02: add by m2/dev

Spectral space 507CD4NZA0

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

Mentions

wikipedia: Wikipedia List of general topology topics#29ZE, Spectral space (definition)

History

2026-11-02: add by m2/dev

507DMQXYKV 507DMQXYKV

URI	`m2://inv/507DMQXYKV`
Kind	definition
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 2112.14455#AJPM (definition). In VDE5R8HBS1/e1, definition 3.1

History

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

507E4VEKG7 507E4VEKG7

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 58.8

History

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

Cocoloring 507FT65XKG

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

Mentions

wikipedia: Wikipedia Cocoloring, Cocoloring (definition). Also Wikidata Q5139803

History

2026-11-02: add by m2/dev

LDP Agnostic Proper Learning of GMMs 507GTGP48J

URI	`m2://inv/507GTGP48J`
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.21033#OV96, LDP Agnostic Proper Learning of GMMs (statement). In A8C1M9BSWH/e1, corollary H.3

History

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

Mutual tidal locking 507M4K53M3

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

Mentions

wikipedia: Wikipedia Tidal locking#5NZU, Mutual tidal locking (unknown)

History

2026-11-02: add by m2/dev

507VZVJ6XD 507VZVJ6XD

URI	`m2://inv/507VZVJ6XD`
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 1612.08394#6IQE (statement). In 1P8D88DKG5/e1, lemma A.1

History

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

Global equal-entropy inequality 50822RWFJV

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

Mentions

arxiv: arXiv 2609.24931#TCUF, Global equal-entropy inequality (statement)

History

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

5083FEQ3SJ 5083FEQ3SJ

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

Mentions

arxiv: arXiv 2610.03559#WJFH (example). In R68THJCHX6/e1, example 1

History

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

50842MZR83 50842MZR83

URI	`m2://inv/50842MZR83`
Kind	unknown
Layer	research
MSC	14-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35404#8ULQ (unknown). In DH84PYVRCF/e1, unknown 2.2.1

History

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

Example 508AEAJW4D

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

Mentions

wikipedia: Wikipedia Cipolla's algorithm#C06H, Example (example)

History

2026-11-02: add by m2/dev

508C4GQRJP 508C4GQRJP

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

Mentions

arxiv: arXiv 2610.13100#K6BI (statement). In CC6S1HVK0T/e1, theorem 10.7

History

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

Compactified feature set 508DT4QJPJ

URI	`m2://inv/508DT4QJPJ`
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 2609.26262#641Z, Compactified feature set (definition)

History

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

508RX2DGWE 508RX2DGWE

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

Mentions

arxiv: arXiv 2610.18847#70DD (statement). In DZ12XTTJSM/e1, lemma 4.2

History

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

Sierpiński arrowhead curve 508VTBH52Z

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#PYLB, Sierpiński arrowhead curve (unknown)

History

2026-11-02: add by m2/dev

5093AFN8ZC 5093AFN8ZC

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

Mentions

arxiv: arXiv 2609.27495#0QBU (statement). In 1TZVMC23J9/e1, proposition 2.6

History

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

5096GCSN33 5096GCSN33

URI	`m2://inv/5096GCSN33`
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.26276#HS5R (statement)

History

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

Hugo Steinhaus 509EMN6DHW

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

Mentions

wikipedia: Wikipedia List of functional analysis topics#FSXQ, Hugo Steinhaus (topic)

History

2026-11-02: add by m2/dev

Lattice Boltzmann methods 509F1FG43S

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

Mentions

wikipedia: Wikipedia Lattice Boltzmann methods, Lattice Boltzmann methods (definition). Also Wikidata Q1807064

History

2026-11-02: add by m2/dev

509JFPVYAN 509JFPVYAN

URI	`m2://inv/509JFPVYAN`
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 2205.13464#ECA4 (statement). In JPYGC2R3FC/e1, proposition 2.2

History

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

509RHEMHC9 509RHEMHC9

URI	`m2://inv/509RHEMHC9`
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.14803#JPM0 (statement). In VAEVDTBD3B/e1, theorem A

History

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

509RQN0G2M 509RQN0G2M

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

Mentions

arxiv: arXiv 2609.29399#AIVJ (statement)

History

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

Hasse derivative 509RX2ACTT

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

Mentions

wikipedia: Wikipedia Hasse derivative, Hasse derivative (definition). Also Wikidata Q17067052

History

2026-11-02: add by m2/dev

509T95FRW4 509T95FRW4

URI	`m2://inv/509T95FRW4`
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.22218#04FO (statement). In 338GKREFVP/e1, lemma 41

History

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

Venn, John 509WAJSRPA

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#DZJ6, Venn, John (topic)

History

2026-11-02: add by m2/dev

Theorem LFT2 509Y0CSYSP

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

Mentions

wikipedia: Wikipedia Infinite compositions of analytic functions#9VXI, Theorem LFT2 (statement)

History

2026-11-02: add by m2/dev

Dilemma 50A7CX3ZTC

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

Mentions

wikipedia: Wikipedia Dilemma, Dilemma (definition). Also Wikidata Q254128

History

2026-11-02: add by m2/dev

50AMVXM809 50AMVXM809

URI	`m2://inv/50AMVXM809`
Kind	statement
Layer	research
MSC	17-XX, 18-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 2304.07398#L17K (statement). In JS5FKV1S9T/e1, lemma G.1

History

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

50APY9DZ29 50APY9DZ29

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

Mentions

hott_book: hott_book reals.tex#proof-32 (proof). In N54F33XE07, proof, section B.5

History

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

Lyle Jones 50APYQ8STT

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

Mentions

wikipedia: Wikipedia Lyle Jones, Lyle Jones (topic). Also Wikidata Q47460520

History

2026-11-02: add by m2/dev

An example 50AR0MXQWB

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

Mentions

wikipedia: Wikipedia Generalized Wiener filter#ZSD9, An example (example)

History

2026-11-02: add by m2/dev

50B5GJ7DP0 50B5GJ7DP0

URI	`m2://inv/50B5GJ7DP0`
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.06764#92F8 (statement). In MSWV3MJ5CE/e1, lemma 2.6

History

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

Szeg\"{o}-type Theorem, p: 248 50B6MEWXDK

URI	`m2://inv/50B6MEWXDK`
Kind	statement
Layer	research
MSC	46-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 1709.04968#I5BX, Szeg\"{o}-type Theorem, p: 248 (statement). In BEX59Q3DE4/e1, theorem 3.2

History

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

Example 50BFQKHN2K

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

Mentions

wikipedia: Wikipedia Vieta jumping#9BQH, Example (example)

History

2026-11-02: add by m2/dev

Seven Sisters, London 50BH4Z04QN

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

Mentions

wikipedia: Wikipedia List of places with numeric names#UPZS, Seven Sisters, London (unknown)

History

2026-11-02: add by m2/dev

axiom of choice 50BKC42X56

URI	`m2://inv/50BKC42X56`
Kind	statement
Layer	textbook
MSC	03-XX, 03E25
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Axiom of choice 0HTGB13FE2

Mentions

mathlib_1000: mathlib_1000 Q179692, Independence of the axiom of choice (statement). Also Wikidata Q179692
thousand_plus: thousand_plus Q179692, Independence of the axiom of choice (statement). Also Wikidata Q179692, Wikipedia Independence of the axiom of choice
wikidata: Wikidata Q179692, axiom of choice (topic). Also EoM Axiom_of_choice, MathWorld AxiomofChoice, nLab axiom of choice, ProofWiki Axiom:Axiom_of_Choice
wikipedia: Wikipedia Axiom of choice, Axiom of choice (statement). Also Wikidata Q179692

History

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

Small intervals 50BM2TTRSE

URI	`m2://inv/50BM2TTRSE`
Kind	definition
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.28454#T93J, Small intervals (definition)

History

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

Representational measurement theory 50BNTHFQ2C

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

Mentions

wikipedia: Wikipedia Measurement#XRSA, Representational measurement theory (unknown)

History

2026-11-02: add by m2/dev

Smn theorem 50BQVD8G9K

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

Mentions

wikipedia: Wikipedia List of theorems#6Y2D, Smn theorem (statement)

History

2026-11-02: add by m2/dev

50BZGPDS87 50BZGPDS87

URI	`m2://inv/50BZGPDS87`
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.36827#BO0U (statement). In VSHAQTB2CA/e1, theorem 8.1

History

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

Examples 50C6KBBSWY

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

Mentions

wikipedia: Wikipedia Concept class#TM8E, Examples (example)

History

2026-11-02: add by m2/dev

50CEPEPQYM 50CEPEPQYM

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

Mentions

arxiv: arXiv 2609.25801#56G2 (statement)

History

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

50CEZTS1Z4 50CEZTS1Z4

URI	`m2://inv/50CEZTS1Z4`
Kind	statement
Layer	research
MSC	14-XX, 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 2609.31523#4TR8 (statement). In 2BET1RE1F6/e1, proposition 4.5

History

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

Fundamental assumption of statistical mechanics 50CJ872TCZ

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

Mentions

wikipedia: Wikipedia Statistical mechanics#CE78, Fundamental assumption of statistical mechanics (unknown)

History

2026-11-02: add by m2/dev

50CQ86XT8C 50CQ86XT8C

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

Mentions

arxiv: arXiv 2610.07092#YYP5 (statement). In JWNYJVH8XG/e1, corollary 6.5

History

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

Examples 50CW0AJW6B

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

Mentions

wikipedia: Wikipedia Itô's lemma#YWEA, Examples (example)

History

2026-11-02: add by m2/dev

50CXVB113P 50CXVB113P

URI	`m2://inv/50CXVB113P`
Kind	statement
Layer	research
MSC	13-XX, 16-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.14060#IPQG (statement). In X47RYAZF8P/e1, lemma 10.12

History

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

Examples 50CZQ6GCE1

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

Mentions

wikipedia: Wikipedia Topological complexity#G8GC, Examples (example)

History

2026-11-02: add by m2/dev

Theorem (1) 50D0TCVTAP

URI	`m2://inv/50D0TCVTAP`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the item has no name of its own, and the write role names it)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Sylow theorems#VM14, Theorem (1) (statement)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Siebert 50DS8QM3AW

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

Mentions

arxiv: arXiv 2610.10828#0IGM, Siebert (statement). In 8PTDFHV8SQ/e1, theorem 14.12

History

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

van Kampen with a set of basepoints 50DZ9P5150

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

Mentions

hott_book: hott_book homotopy.tex#thm:van-Kampen, van Kampen with a set of basepoints (statement). In N54F33XE07, thm, section 7.7.2

History

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

Properties of Lorentz spaces 50E1HF48YT

URI	`m2://inv/50E1HF48YT`
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.15460#R195, Properties of Lorentz spaces (statement). In T2Z3D2VQ9B/e1, lemma 2.7

History

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

Irving Kaplansky 50E6XMEGGR

URI	`m2://inv/50E6XMEGGR`
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 Q129368, Irving Kaplansky (unknown). Also nLab Irving Kaplansky

History

2026-10-26: add by m2/dev

50EMGE546X 50EMGE546X

URI	`m2://inv/50EMGE546X`
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.39675#GQWR (statement). In VM16G3PPH3/e1, theorem 1.1

History

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

Tetrahedral symmetry 50EP9KGG38

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

Mentions

wikipedia: Wikipedia Tetrahedral symmetry, Tetrahedral symmetry (definition). Also Wikidata Q280222

History

2026-11-02: add by m2/dev

50EVYFRP8W 50EVYFRP8W

URI	`m2://inv/50EVYFRP8W`
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.16233#MP16 (statement). In RNXMADQ33J/e1, theorem 4.1

History

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

Hamming space 50F1DJP0RD

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

Mentions

wikipedia: Wikipedia Hamming space, Hamming space (definition). Also Wikidata Q5645799

History

2026-11-02: add by m2/dev

Sydney Goldstein 50F2MD8RYV

URI	`m2://inv/50F2MD8RYV`
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#EWJE, Sydney Goldstein (topic)

History

2026-11-02: add by m2/dev

Abraham Robinson 50F2ZST223

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#0NYM, Abraham Robinson (topic)

History

2026-11-02: add by m2/dev

Gibbs's inequality 50F6MQERB8

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

Mentions

wikipedia: Wikipedia List of inequalities#GE3Y, Gibbs's inequality (statement)

History

2026-11-02: add by m2/dev

conjunction 50FCMFZWA5

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

Mentions

hott_book: hott_book index/A.11/conjunction, conjunction (concept). In N54F33XE07, index, section A.11

History

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

Topological modular forms 50FM1MGVAY

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

Mentions

wikipedia: Wikipedia List of topology topics#69YL, Topological modular forms (definition)

History

2026-11-02: add by m2/dev

Definitions 50FTYSK4E1

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

Mentions

wikipedia: Wikipedia Delone set#TWFT, Definitions (definition)

History

2026-11-02: add by m2/dev

50FZC603ND 50FZC603ND

URI	`m2://inv/50FZC603ND`
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.02218#RE3I (statement). In 3FY227EFVZ/e1, theorem 1.1

History

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

Lebesgue's decomposition theorem 50FZR4G6RC

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

Mentions

wikipedia: Wikipedia List of theorems#0FQC, Lebesgue's decomposition theorem (statement)

History

2026-11-02: add by m2/dev

Tyler Burge 50FZX4EG38

URI	`m2://inv/50FZX4EG38`
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#Z3KB, Tyler Burge (unknown)

History

2026-11-02: add by m2/dev

50FZXARMRY 50FZXARMRY

URI	`m2://inv/50FZXARMRY`
Kind	statement
Layer	research
MSC	14-XX, 30-XX, 32-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.04314#6R4F (statement). In AKWTE0M6PE/e1, corollary 16

History

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

Joint population and clock fluctuations 50GA073KK4

URI	`m2://inv/50GA073KK4`
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.01391#123K, Joint population and clock fluctuations (statement). In MAZNVJX5YK/e1, lemma 16

History

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

50GB6YN02H 50GB6YN02H

URI	`m2://inv/50GB6YN02H`
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.07828#6P17 (statement). In TWGMVT1N1G/e1, corollary 9.7

History

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

dependent choice 50GGK0K0DX

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

Mentions

wikipedia: Wikipedia Glossary of set theory#T6NW, dependent choice (definition)

History

2026-11-02: add by m2/dev

Nonsense 50GSPM7KS7

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

Mentions

wikipedia: Wikipedia Nonsense, Nonsense (definition). Also Wikidata Q600499

History

2026-11-02: add by m2/dev

Radar chart 50GSRRSE3C

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

Mentions

wikipedia: Wikipedia Radar chart, Radar chart (definition). Also Wikidata Q1192777

History

2026-11-02: add by m2/dev

Classification of partial differential equations 50H1G2G3J6

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

Mentions

wikipedia: Wikipedia Partial differential equation#CE2O, Classification of partial differential equations (unknown)

History

2026-11-02: add by m2/dev

Angelo Genocchi 50H9RFHGA3

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#3DMP, Angelo Genocchi (topic)

History

2026-11-02: add by m2/dev

Distinct components of a two-parameter family 50HETP76NV

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

Mentions

arxiv: arXiv 2609.33327#JHAC, Distinct components of a two-parameter family (statement). In A5R31P82BK/e1, theorem 1.2

History

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

50HFKRFM1H 50HFKRFM1H

URI	`m2://inv/50HFKRFM1H`
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#80SA (statement). In MRR92GQNZE/e1, theorem 3.25

History

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

50HMZA7XSR 50HMZA7XSR

URI	`m2://inv/50HMZA7XSR`
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 2607.00323#X3KI (statement). In BPRFEQY7W4/e1, lemma 3.11

History

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

50HZCA9BMC 50HZCA9BMC

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

Mentions

arxiv: arXiv 2610.21475#MYT1 (statement). In TTRSZVT4VX/e1, theorem 3.1

History

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

Eugene Wigner 50J4FA3Q16

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#4Q5C, Eugene Wigner (topic)

History

2026-11-02: add by m2/dev

Mean shift bound 50J9A2KF8C

URI	`m2://inv/50J9A2KF8C`
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.00453#U0OD, Mean shift bound (statement). In ESPJMBH2R2/e1, lemma 5.1

History

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

50JCKJJCZW 50JCKJJCZW

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

Mentions

hott_book: hott_book formal.tex#thm:conversion-preserves-typing (statement). In N54F33XE07, thm, section 4.4

History

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

Definition 50JD71MVCS

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

Mentions

wikipedia: Wikipedia Weibull distribution#69VA, Definition (definition)

History

2026-11-02: add by m2/dev

Cayley–Hamilton theorem 50JH950KT1

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

Mentions

wikipedia: Wikipedia List of misnamed theorems#3597, Cayley–Hamilton theorem (statement)

History

2026-11-02: add by m2/dev

50JJFDGX2J 50JJFDGX2J

URI	`m2://inv/50JJFDGX2J`
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 1002.0879#N30P (definition). In M0SQY5EZN5/e1, definition 4.6.2

History

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

Triangular cupola 50JT5SAEM9

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#W8EJ, Triangular cupola (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#6KR4, Triangular cupola (definition)

History

2026-11-02: add by m2/dev

50KJZY2CRZ 50KJZY2CRZ

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

Mentions

arxiv: arXiv 2610.05820#Z31T (statement). In S8EGCJQ0JV/e1, lemma 5.4

History

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

Quetelet, Adolphe 50KKRMSBA5

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

Mentions

wikipedia: Wikipedia List of statisticians#G6NK, Quetelet, Adolphe (topic)

History

2026-11-02: add by m2/dev

Adjunction for non-invariant divisors 50KRRNWZPC

URI	`m2://inv/50KRRNWZPC`
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 2103.12669#OIIW, Adjunction for non-invariant divisors (statement). In ZA6XNBA90V/e1, theorem 1.19

History

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

50KTQ8RCY4 50KTQ8RCY4

URI	`m2://inv/50KTQ8RCY4`
Kind	statement
Layer	research
MSC	01-XX, 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.06338#B89Y (statement). In F1CYVYK7YB/e1, theorem 2.2

History

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

50KZMTDM9D 50KZMTDM9D

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

Mentions

arxiv: arXiv 2609.33733#62PS (statement). In QBAP8C82FG/e1, lemma 13

History

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

50M6DQ0SZY 50M6DQ0SZY

URI	`m2://inv/50M6DQ0SZY`
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.24206#L64L (statement)

History

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

50M7BN9801 50M7BN9801

URI	`m2://inv/50M7BN9801`
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#KMSN (statement). In WD2NCBV9F0/e1, lemma 21.10

History

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

50MTT5NKQC 50MTT5NKQC

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

Mentions

arxiv: arXiv 2609.23522#LZJX (statement)

History

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

50N1M9AMFJ 50N1M9AMFJ

URI	`m2://inv/50N1M9AMFJ`
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.14555#CTT2 (statement). In NHW0VEJ09F/e1, theorem 2.12

History

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

Definition 50N7CN97SB

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

Mentions

wikipedia: Wikipedia Biquaternion#VJ8A, Definition (definition)

History

2026-11-02: add by m2/dev

50NB1NXDY4 50NB1NXDY4

URI	`m2://inv/50NB1NXDY4`
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.16785#0NVV (statement). In SXQQZ2MYKV/e1, corollary 9

History

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

Linking coefficient 50NBM83JFS

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

Mentions

wikipedia: Wikipedia List of curves topics#NYCS, Linking coefficient (definition)

History

2026-11-02: add by m2/dev

971 (Number) 50NFBQHDB9

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

Mentions

wikipedia: Wikipedia 900 (number)#CQAD, 971 (Number) (unknown)

History

2026-11-02: add by m2/dev

II25,1 50NS151NER

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

Mentions

wikipedia: Wikipedia II25,1, II25,1 (definition). Also Wikidata Q5971168

History

2026-11-02: add by m2/dev

50NXTM7QZ1 50NXTM7QZ1

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

Mentions

wikipedia: Wikipedia Proof complexity#T1XE (problem)

History

2026-11-02: add by m2/dev

50NXXJ7SC2 50NXXJ7SC2

URI	`m2://inv/50NXXJ7SC2`
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.21501#NM5A (statement). In 1H64QT301C/e1, theorem 1.2

History

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

Unambiguous SAT 50NYK68S2K

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

Mentions

wikipedia: Wikipedia Boolean satisfiability problem#6HYO, Unambiguous SAT (unknown)

History

2026-11-02: add by m2/dev

50PC9TG9EB 50PC9TG9EB

URI	`m2://inv/50PC9TG9EB`
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.20165#8189 (statement). In QTD3BP5GA0/e1, proposition 3.13

History

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

50PJCCGQYY 50PJCCGQYY

URI	`m2://inv/50PJCCGQYY`
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 2609.36884#JDTX (definition). In Z7E16PFFCP/e1, definition 3.29

History

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

icositetrahedron 50PKND639X

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

Mentions

wikidata: Wikidata Q12346647, icositetrahedron (unknown). Also MathWorld Icositetrahedron
wikipedia: Wikipedia Icositetrahedron, Icositetrahedron (object). Also Wikidata Q12346647

History

2026-10-26: add by m2/dev

Basic properties 50PM0W6YSW

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

Mentions

wikipedia: Wikipedia Dual matroid#AKIJ, Basic properties (statement)

History

2026-11-02: add by m2/dev

50PZMKXRD1 50PZMKXRD1

URI	`m2://inv/50PZMKXRD1`
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#7G1M (statement). In YNE0Q2X61Y/e1, proposition 3.4

History

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

50QBTFX6GP 50QBTFX6GP

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

Mentions

arxiv: arXiv 2601.15403#8TXM (definition). In BSWNH3NW1M/e1, definition 10.1

History

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

Ernst Steinitz 50QS3VKQCQ

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

Mentions

wikipedia: Wikipedia Ernst Steinitz, Ernst Steinitz (topic). Also Wikidata Q61828

History

2026-11-02: add by m2/dev

50QVZNSXYB 50QVZNSXYB

URI	`m2://inv/50QVZNSXYB`
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.34675#ZM8R (statement). In C93BAXKJVD/e1, lemma 3.4

History

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

Applications 50QY9RS531

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

Mentions

wikipedia: Wikipedia Chu space#MFYW, Applications (example)

History

2026-11-02: add by m2/dev

Minimax optimality of Saturated LASSO 50QZ518GQE

URI	`m2://inv/50QZ518GQE`
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.05867#11BB, Minimax optimality of Saturated LASSO (statement). In E2TP3AKTNV/e1, corollary 2

History

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

ECRYPT 50R0M940YE

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

Mentions

wikipedia: Wikipedia ECRYPT, ECRYPT (definition). Also Wikidata Q2380333

History

2026-11-02: add by m2/dev

Chaplygin's Theorem and Method for Solving ODE 50RD95PAH7

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

Mentions

wikipedia: Wikipedia Chaplygin's Theorem and Method for Solving ODE, Chaplygin's Theorem and Method for Solving ODE (statement). Also Wikidata Q16705492

History

2026-11-02: add by m2/dev

50RJAH9T9G 50RJAH9T9G

URI	`m2://inv/50RJAH9T9G`
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#BXZS (statement). In 1KSE33PVS6/e1, proposition 19

History

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

Alfred Pringsheim 50RP77HX5G

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

Mentions

wikipedia: Wikipedia Alfred Pringsheim, Alfred Pringsheim (topic). Also Wikidata Q65176

History

2026-11-02: add by m2/dev

Square root of a 2 by 2 matrix 50RR8W7VKH

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

Mentions

wikipedia: Wikipedia Square root of a 2 by 2 matrix, Square root of a 2 by 2 matrix (definition). Also Wikidata Q7582079

History

2026-11-02: add by m2/dev

Rape in Somalia 50RSEERPS8

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

Mentions

wikipedia: Wikipedia Rape statistics#VVN1, Rape in Somalia (unknown)

History

2026-11-02: add by m2/dev

Mutual fund separation theorem 50S1HKSA47

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

Mentions

mathlib_1000: mathlib_1000 Q17082552, Mutual fund separation theorem (statement). Also Wikidata Q17082552
thousand_plus: thousand_plus Q17082552, Mutual fund separation theorem (statement). Also Wikidata Q17082552, Wikipedia Mutual fund separation theorem
wikipedia: Wikipedia Mutual fund separation theorem, Mutual fund separation theorem (statement). Also Wikidata Q17082552

History

2026-10-26: add by m2/dev

Electrical network simulation software 50S1ZQMWYA

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

Mentions

wikipedia: Wikipedia Electrical network#1PT7, Electrical network simulation software (unknown)

History

2026-11-02: add by m2/dev

visibility graph 50S3ZJTE60

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

Mentions

wikidata: Wikidata Q8216024, visibility graph (unknown). Also MathWorld VisibilityGraph
wikipedia: Wikipedia Visibility graph, Visibility graph (definition). Also Wikidata Q8216024

History

2026-10-26: add by m2/dev

Zico Kolter 50S5M8XD9K

URI	`m2://inv/50S5M8XD9K`
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#JPPA, Zico Kolter (topic)

History

2026-11-02: add by m2/dev

50SAT7VG3G 50SAT7VG3G

URI	`m2://inv/50SAT7VG3G`
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 2211.16099#U8DG (statement). In 91RRFW0K5D/e1, proposition 2

History

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

50SBRXZ3TK 50SBRXZ3TK

URI	`m2://inv/50SBRXZ3TK`
Kind	definition
Layer	research
MSC	55-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 2303.09207#ZCMS (definition). In 9DQKY7KGE8/e1, definition 4.3

History

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

Inverse bundle 50SBZ1K8M0

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

Mentions

wikipedia: Wikipedia Inverse bundle, Inverse bundle (definition). Also Wikidata Q6060355

History

2026-11-02: add by m2/dev

50SH54WKV1 50SH54WKV1

URI	`m2://inv/50SH54WKV1`
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.24553#0GHW (statement)

History

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

50SJ0V4JPF 50SJ0V4JPF

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

Mentions

napkin: napkin tex/homology/cohomology.tex#definition-2 (definition). In RZP28ERRZV, definition, section 51.1

History

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

Definition 50SPP8WBWV

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

Mentions

wikipedia: Wikipedia P-adically closed field#8BB7, Definition (definition)

History

2026-11-02: add by m2/dev

Statement 50T2R3P1Y0

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

Mentions

wikipedia: Wikipedia Rouché–Capelli theorem#9SA7, Statement (statement)

History

2026-11-02: add by m2/dev

Victor Thébault 50TA594WBA

URI	`m2://inv/50TA594WBA`
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#IQP5, Victor Thébault (topic)

History

2026-11-02: add by m2/dev

De Finetti's theorem 50TMS751CG

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

Mentions

wikipedia: Wikipedia List of statistics articles#PDGT, De Finetti's theorem (statement)
wikipedia: Wikipedia List of probability topics#SGGV, De Finetti's theorem (statement)

History

2026-11-02: add by m2/dev

50TQK877F8 50TQK877F8

URI	`m2://inv/50TQK877F8`
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 2210.04075#OLEF (statement). In C5DZR0TC5E/e1, corollary 2.8

History

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

50TSRJB344 50TSRJB344

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

Mentions

arxiv: arXiv 2609.31910#9IJZ (example). In E4EK1XXPY4/e1, example 5.19

History

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

50TZ6JEPZK 50TZ6JEPZK

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

Mentions

hott_book: hott_book basics.tex#thm:prod-umpd (statement). In N54F33XE07, thm, section 1.15

History

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

50V2TKTBGM 50V2TKTBGM

URI	`m2://inv/50V2TKTBGM`
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.21043#XK37 (statement)

History

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

Dimension of the kernel 50V3NDWWYJ

URI	`m2://inv/50V3NDWWYJ`
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#3WKN, Dimension of the kernel (statement)

History

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

Dynamical systems theory 50V7BN3PDQ

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

Mentions

wikipedia: Wikipedia Dynamical systems theory, Dynamical systems theory (topic). Also Wikidata Q3174497

History

2026-11-02: add by m2/dev

50VCHR8YJ5 50VCHR8YJ5

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#exercise-40 (exercise). In E59CDZA4DP, exercise, section 7.5.1

History

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

50VVRP7154 50VVRP7154

URI	`m2://inv/50VVRP7154`
Kind	example
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.21295#8DIV (example)

History

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

Lifting the exponent lemma 50VY9VVRWC

URI	`m2://inv/50VY9VVRWC`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Lifting-the-exponent lemma 0JYF6PTKEW

Mentions

wikidata: Wikidata Q97704248, Lifting the exponent lemma (statement). Also ProofWiki Lifting_The_Exponent_Lemma
wikipedia: Wikipedia Lifting-the-exponent lemma, Lifting-the-exponent lemma (statement). Also Wikidata Q97704248

History

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

50W0V9FNH7 50W0V9FNH7

URI	`m2://inv/50W0V9FNH7`
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#D7J3 (statement). In T8BQ6HHZYT/e1, proposition 6.3

History

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

slice knot 50WCQD4XK9

URI	`m2://inv/50WCQD4XK9`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Slice knot P68G28E4AD

Mentions

wikidata: Wikidata Q7540228, slice knot (unknown). Also MathWorld SliceKnot
wikipedia: Wikipedia Slice knot, Slice knot (definition). Also Wikidata Q7540228

History

2026-10-26: add by m2/dev

50WHHTVQJW 50WHHTVQJW

URI	`m2://inv/50WHHTVQJW`
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.31389#EOZI (statement). In YS0YFQEYE1/e1, lemma 9

History

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

50WQXNY881 50WQXNY881

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

Mentions

open_logic: open_logic content/intuitionistic-logic/semantics/semantic-notions.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 32.6

History

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

Sergei L. Sobolev 50X0T0X5EA

URI	`m2://inv/50X0T0X5EA`
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#969N, Sergei L. Sobolev (topic)

History

2026-11-02: add by m2/dev

50XCZ89CFC 50XCZ89CFC

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 5.4

History

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

50XRZQJGPB 50XRZQJGPB

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

Mentions

hott_book: hott_book induction.tex#ex:inductive-lawvere (exercise). In N54F33XE07, ex, section 8.8

History

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

crystal base 50XY03QK2M

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

Mentions

wikidata: Wikidata Q5191404, crystal base (unknown). Also nLab crystal basis
wikipedia: Wikipedia Crystal base, Crystal base (definition). Also Wikidata Q5191404

History

2026-10-26: add by m2/dev

Hellmut Baumgärtel 50Y6HFAGE1

URI	`m2://inv/50Y6HFAGE1`
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 Q89022649, Hellmut Baumgärtel (unknown). Also nLab Hellmut Baumgärtel

History

2026-10-26: add by m2/dev

principal ideal ring 50Y6KE05YW

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

Mentions

wikidata: Wikidata Q2905043, principal ideal ring (unknown). Also EoM Principal_ideal_ring, MathWorld PrincipalRing
wikipedia: Wikipedia Principal ideal ring, Principal ideal ring (definition). Also Wikidata Q2905043

History

2026-10-26: add by m2/dev

Exact negaform and compatible rooted certificate 50YC6AN2RS

URI	`m2://inv/50YC6AN2RS`
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.04027#Q64R, Exact negaform and compatible rooted certificate (definition). In DQB4YR2DFH/e1, definition 5.1

History

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

Hyperreal number 50YE2SC98X

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

Mentions

wikipedia: Wikipedia List of types of numbers#FV1P, Hyperreal number (definition)

History

2026-11-02: add by m2/dev

Weak Harnack inequality - Laplacian 50YQW1G6C9

URI	`m2://inv/50YQW1G6C9`
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 2401.14638#389S, Weak Harnack inequality - Laplacian (statement). In 2XC2MZFWPP/e1, lemma 2.6

History

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

Jafar Zafarani 50YQWK9BMG

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

Mentions

wikipedia: Wikipedia Jafar Zafarani, Jafar Zafarani (topic). Also Wikidata Q4117659

History

2026-11-02: add by m2/dev

50YRA720PN 50YRA720PN

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

Mentions

open_logic: open_logic content/set-theory/choice/countablechoice.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 71.1

History

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

Rådström's embedding theorem 50YRFNM5D6

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

Mentions

wikipedia: Wikipedia Rådström's embedding theorem, Rådström's embedding theorem (statement). Also Wikidata Q137673230

History

2026-11-02: add by m2/dev

50YTPP0ZJR 50YTPP0ZJR

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

Mentions

arxiv: arXiv 2609.27200#OPQ5 (statement)

History

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

Conjugate residual method 50YV7361E4

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

Mentions

wikipedia: Wikipedia Conjugate residual method, Conjugate residual method (definition). Also Wikidata Q5161159

History

2026-11-02: add by m2/dev

Chentsov's theorem 50YVY3A0ZB

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

Mentions

wikipedia: Wikipedia Chentsov's theorem, Chentsov's theorem (statement). Also Wikidata Q110536121

History

2026-11-02: add by m2/dev

50Z0FS0BT0 50Z0FS0BT0

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

Mentions

arxiv: arXiv 2609.23803#DXGJ (problem)

History

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

50Z9X2ABFM 50Z9X2ABFM

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

Mentions

arxiv: arXiv 2306.12846#BIY9 (statement). In D6XA7JXZF3/e1, lemma 6.3

History

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

50ZA1SC1HP 50ZA1SC1HP

URI	`m2://inv/50ZA1SC1HP`
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 2203.10220#DL23 (statement). In FX2SD1GFHT/e1, corollary 1

History

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

50ZBPMR4NB 50ZBPMR4NB

URI	`m2://inv/50ZBPMR4NB`
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.07608#9DUV (statement). In X8FQD4TEVG/e1, lemma 2.9

History

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

gauge theory 50ZE1HRM1F

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

Mentions

wikidata: Wikidata Q214850, gauge theory (definition). Also nLab gauge theory, ProofWiki Definition:Gauge_Theory
wikipedia: Wikipedia Gauge theory, Gauge theory (definition). Also Wikidata Q214850

History

2026-10-26: add by m2/dev

Matrix inverse 50ZGF4ABH3

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

Mentions

arxiv: arXiv 2609.23927#K9FL, Matrix inverse (statement)

History

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

Generating function 50ZK1YJBA0

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#XRIS, Generating function (definition)

History

2026-11-02: add by m2/dev

50ZM69G9X9 50ZM69G9X9

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#prop:fseq-trm-equiv (statement). In PKGMM3P5QY, prop, section 19.8

History

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

50ZW7M9BZX 50ZW7M9BZX

URI	`m2://inv/50ZW7M9BZX`
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.35287#RJF8 (statement). In BPPBAWGPHJ/e1, corollary 7.8

History

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