Inventory rows MD

Stanisław Gołąb MD01WQ0CM4

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

Mentions

wikipedia: Wikipedia Stanisław Gołąb, Stanisław Gołąb (topic). Also Wikidata Q354075

History

2026-11-02: add by m2/dev

Applications MD03QXF06H

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

Mentions

wikipedia: Wikipedia Newton's method#KI4E, Applications (example)

History

2026-11-02: add by m2/dev

MD04HRTV0V MD04HRTV0V

URI	`m2://inv/MD04HRTV0V`
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.36622#9JIM (statement). In 9704QPRPR6/e1, lemma 5.5

History

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

Norman Earl Steenrod MD09J8927J

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CZ75, Norman Earl Steenrod (unknown)

History

2026-11-02: add by m2/dev

MD0CD680GD MD0CD680GD

URI	`m2://inv/MD0CD680GD`
Kind	definition
Layer	research
MSC	16-XX, 26-XX, 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.13532#I4SN (definition). In 9B0X8YPF3P/e1, definition 6.9

History

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

MD0GQ8F4VA MD0GQ8F4VA

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

Mentions

arxiv: arXiv 2610.21675#DVPO (statement). In TB1294GY5X/e1, proposition 3.6

History

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

MD0JHR9Z7Y MD0JHR9Z7Y

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

Mentions

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

History

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

Reduced normal-face factor under \textup{(G4 MD0TMJM1EF

URI	`m2://inv/MD0TMJM1EF`
Kind	statement
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#WQXC, Reduced normal-face factor under \textup{(G4 (statement)

History

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

Mean field annealing MD157WZCFG

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

Mentions

wikipedia: Wikipedia Mean field annealing, Mean field annealing (definition). Also Wikidata Q16920215

History

2026-11-02: add by m2/dev

MD16D6SPFV MD16D6SPFV

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

Mentions

arxiv: arXiv 2609.31126#2MK9 (statement). In GK1V5GEHTK/e1, corollary 4.4

History

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

root MD1E75SKBB

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#845R, root (definition)

History

2026-11-02: add by m2/dev

Simon Kirwan Donaldson MD1KTM5Q43

URI	`m2://inv/MD1KTM5Q43`
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#F18I, Simon Kirwan Donaldson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VF9M, Simon Kirwan Donaldson (topic)

History

2026-11-02: add by m2/dev

MD1NBB7QDK MD1NBB7QDK

URI	`m2://inv/MD1NBB7QDK`
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#D8C5 (statement)

History

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

MD1PVKS5YK MD1PVKS5YK

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

Mentions

arxiv: arXiv 2610.11545#U8SJ (definition). In VN084GGZGK/e1, definition 2.16

History

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

MD1QQA36K5 MD1QQA36K5

URI	`m2://inv/MD1QQA36K5`
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 2106.11898#FE6V (statement). In KXXV5X8AG4/e1, lemma 2.5

History

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

Duality of $\delta$-perturbations MD2C5S8RGE

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

Mentions

arxiv: arXiv 2506.08233#XLGP, Duality of $\delta$-perturbations (statement). In 2TXXQ2575Y/e1, lemma 4.13

History

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

Peter J. Freyd MD2CK91NFN

URI	`m2://inv/MD2CK91NFN`
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 Q451614, Peter J. Freyd (unknown). Also nLab Peter Freyd
wikipedia: Wikipedia Peter J. Freyd, Peter J. Freyd (topic). Also Wikidata Q451614

History

2026-10-26: add by m2/dev

Comparison of Gaussian process software MD2G3R3X0N

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

Mentions

wikipedia: Wikipedia Comparison of Gaussian process software, Comparison of Gaussian process software (definition). Also Wikidata Q97358001

History

2026-11-02: add by m2/dev

First Hurwitz triplet MD2JV42TNG

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#NYPS, First Hurwitz triplet (definition)

History

2026-11-02: add by m2/dev

MD2XC62A2S MD2XC62A2S

URI	`m2://inv/MD2XC62A2S`
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 2610.10095#WAGG (statement). In 2TSKFPTS0T/e1, lemma 4

History

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

MD2ZA2M5RJ MD2ZA2M5RJ

URI	`m2://inv/MD2ZA2M5RJ`
Kind	definition
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#XYTP (definition). In R68THJCHX6/e1, definition 1

History

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

Computation MD3497BFAE

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

Mentions

wikipedia: Wikipedia Diameter of a set#OY62, Computation (definition)

History

2026-11-02: add by m2/dev

Brendan Hassett MD39220MRG

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

Mentions

wikipedia: Wikipedia Brendan Hassett, Brendan Hassett (topic). Also Wikidata Q19564308

History

2026-11-02: add by m2/dev

MD3FJSBPGA MD3FJSBPGA

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

Mentions

arxiv: arXiv 2610.21945#PQOW (statement). In 371P9QASSJ/e1, lemma 4.1

History

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

Fixed rotations MD3H8HQ9YX

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

Mentions

arxiv: arXiv 2609.21508#WIZ5, Fixed rotations (statement)

History

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

MD3QNDZ4P5 MD3QNDZ4P5

URI	`m2://inv/MD3QNDZ4P5`
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.19854#IHNG (definition). In D50WST4CG3/e1, definition 5.3

History

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

Properties MD46ZF7HYJ

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

Mentions

wikipedia: Wikipedia Generalized permutation matrix#ALER, Properties (statement)

History

2026-11-02: add by m2/dev

Archimedes (crater) MD474V71XE

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

Mentions

wikipedia: Wikipedia List of things named after Archimedes#IF6E, Archimedes (crater) (unknown)

History

2026-11-02: add by m2/dev

MD4BSKPYF8 MD4BSKPYF8

URI	`m2://inv/MD4BSKPYF8`
Kind	statement
Layer	research
MSC	26-XX, 46-XX, 49-XX, 51-XX, 52-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 2505.10801#3R16 (statement). In BWJS3H55WH/e1, lemma 36

History

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

Yuri Luchko MD4D2V2G5R

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

Mentions

wikipedia: Wikipedia Yuri Luchko, Yuri Luchko (topic). Also Wikidata Q15300536

History

2026-11-02: add by m2/dev

MD4KV4H263 MD4KV4H263

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#thm:retool infinite collection (statement). In P1C114YBXG, theorem, section 1

History

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

MD4PD1WAYH MD4PD1WAYH

URI	`m2://inv/MD4PD1WAYH`
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 2610.03661#T0VP (statement). In ESDKTYDHC8/e1, corollary 22

History

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

MD4S0T5EDX MD4S0T5EDX

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-22 (proof). In E59CDZA4DP, proof, section 1.7.1

History

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

MD4VF9BKKG MD4VF9BKKG

URI	`m2://inv/MD4VF9BKKG`
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 math/9802134#Z8H4 (statement). In 235B1J1ETB/e1, theorem 1.13

History

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

Hildegard of Bingen MD4VV73ZWB

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

Mentions

wikipedia: Wikipedia List of cryptographers#6ZXT, Hildegard of Bingen (unknown)

History

2026-11-02: add by m2/dev

Examples MD4WXJSEYV

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

Mentions

wikipedia: Wikipedia Structure (mathematical logic)#NSIM, Examples (example)

History

2026-11-02: add by m2/dev

Localization of a saddle function MD4ZCN5DB9

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

Mentions

arxiv: arXiv 2610.12641#9YET, Localization of a saddle function (statement). In X5BYGZZHPF/e1, lemma H.5

History

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

Linear multistep method MD5173G7NV

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#X54K, Linear multistep method (definition)

History

2026-11-02: add by m2/dev

Statistical Lab MD5514YVRC

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

Mentions

wikipedia: Wikipedia List of statistical software#OJV1, Statistical Lab (definition)

History

2026-11-02: add by m2/dev

MD58YFZYSW MD58YFZYSW

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

Mentions

arxiv: arXiv 2610.12716#8U40 (unknown). In M6BCSQSM3R/e1, unknown

History

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

identity theorem MD5GKR9AR4

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

Mentions

lebl_scv: lebl_scv index/1.2/identity-theorem, identity theorem (concept). In VNMV985MXX, index, section 1.2

History

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

Properties MD5GZKRDZ1

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

Mentions

wikipedia: Wikipedia Compound Poisson distribution#7I22, Properties (statement)

History

2026-11-02: add by m2/dev

MD5NM2E3Y4 MD5NM2E3Y4

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

Mentions

arxiv: arXiv 2610.00116#WZYW (statement). In QBNPEXJEFV/e1, lemma 4.1

History

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

MD5X9RY199 MD5X9RY199

URI	`m2://inv/MD5X9RY199`
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.16381#9YOT (statement). In 304QK565QF/e1, proposition 2.5

History

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

MD5Z7RVXMY MD5Z7RVXMY

URI	`m2://inv/MD5Z7RVXMY`
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.32174#C316 (statement). In GHKR740SG3/e1, theorem 19.8

History

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

MD642WF3R8 MD642WF3R8

URI	`m2://inv/MD642WF3R8`
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.30315#UN25 (statement). In FXTCVHYW5S/e1, theorem 1.4

History

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

MD65G83K95 MD65G83K95

URI	`m2://inv/MD65G83K95`
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 alg-geom/9506022#9Q37 (statement). In AQGEM4XAKD/e1, lemma 3.6

History

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

Properties MD66T6A3J1

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

Mentions

wikipedia: Wikipedia Schubert polynomial#HWKC, Properties (statement)

History

2026-11-02: add by m2/dev

Statistics of the COVID-19 pandemic in Portugal MD6BGJ7HE5

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

Mentions

wikipedia: Wikipedia Statistics of the COVID-19 pandemic in Portugal, Statistics of the COVID-19 pandemic in Portugal (definition). Also Wikidata Q96374215

History

2026-11-02: add by m2/dev

Formulation MD6HWA4MN3

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

Mentions

wikipedia: Wikipedia Secretary problem#ZEOA, Formulation (definition)

History

2026-11-02: add by m2/dev

Overspill lemma MD6VB2VHTE

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

Mentions

wikipedia: Wikipedia Peano axioms#CTYU, Overspill lemma (statement)

History

2026-11-02: add by m2/dev

Bagplot MD6WZYS545

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

Mentions

wikipedia: Wikipedia Bagplot, Bagplot (definition). Also Wikidata Q17004569

History

2026-11-02: add by m2/dev

term, closed MD6XDV4C88

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

Mentions

hott_book: hott_book index/4.4/term-closed, term, closed (concept). In N54F33XE07, index, section 4.4

History

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

Neighborhood subbase MD73AF97JR

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

Mentions

wikipedia: Wikipedia Neighbourhood system#BGAA, Neighborhood subbase (unknown)

History

2026-11-02: add by m2/dev

Symmetries MD7DXGPY1Q

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

Mentions

wikipedia: Wikipedia Quadric#OMZJ, Symmetries (statement)

History

2026-11-02: add by m2/dev

Comparison-sum remainder MD7FQQ73DW

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

Mentions

arxiv: arXiv 2610.03811#KGHR, Comparison-sum remainder (statement). In DHQWFJW02X/e1, lemma 4.1

History

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

Pi Math Contest MD7KY050W9

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#3SOF, Pi Math Contest (unknown)
wikipedia: Wikipedia List of mathematics competitions#CUXV, Pi Math Contest (unknown)
wikipedia: Wikipedia List of mathematics competitions#OB3R, Pi Math Contest (unknown)

History

2026-11-02: add by m2/dev

MD7RQ13HGW MD7RQ13HGW

URI	`m2://inv/MD7RQ13HGW`
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 1011.4651#99D3 (statement). In 44YWXB0VB4/e1, theorem 1

History

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

De Morgan's Law MD7TM43AKY

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#theorem-5, De Morgan's Law (statement). In P1C114YBXG, theorem, section J

History

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

David Blitz MD7WMJ9380

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

Mentions

wikipedia: Wikipedia David Blitz, David Blitz (topic). Also Wikidata Q5231480

History

2026-11-02: add by m2/dev

John Pelesko MD7YD54N2Y

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

Mentions

wikipedia: Wikipedia John Pelesko, John Pelesko (topic). Also Wikidata Q6252441

History

2026-11-02: add by m2/dev

gal MD7ZMX8M0K

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

Mentions

wikidata: Wikidata Q500515, gal (definition). Also ProofWiki Definition:Acceleration/Unit/Gal

History

2026-10-26: add by m2/dev

Applications MD8301CAR3

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

Mentions

wikipedia: Wikipedia Randomness#24HY, Applications (example)

History

2026-11-02: add by m2/dev

Trevor Hastie MD83EMQSHW

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#6WXO, Trevor Hastie (unknown)

History

2026-11-02: add by m2/dev

MD8A6WH6SC MD8A6WH6SC

URI	`m2://inv/MD8A6WH6SC`
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 2609.24675#YB4T (definition)

History

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

MD8ERCG00E MD8ERCG00E

URI	`m2://inv/MD8ERCG00E`
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#85TC (statement). In 22JZ68FGCW/e1, proposition 6.26

History

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

Opial's Lemma MD8F0KBVH4

URI	`m2://inv/MD8F0KBVH4`
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.27974#LGRH, Opial's Lemma (statement)

History

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

Clausius theorem MD8HW7H96H

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

Mentions

wikipedia: Wikipedia List of theorems#ATQ9, Clausius theorem (statement)

History

2026-11-02: add by m2/dev

Multinomial test MD96BRTKHS

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

Mentions

wikipedia: Wikipedia Multinomial test, Multinomial test (definition). Also Wikidata Q6934822

History

2026-11-02: add by m2/dev

Classification of finite simple groups MD9AEDY0FA

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

Mentions

wikipedia: Wikipedia List of long mathematical proofs#DIL4, Classification of finite simple groups (definition)

History

2026-11-02: add by m2/dev

Karl Menger MD9C4SMK39

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#9TQ1, Karl Menger (topic)

History

2026-11-02: add by m2/dev

Ida Martha Metcalf MD9MJ6TWTK

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

Mentions

wikipedia: Wikipedia Ida Martha Metcalf, Ida Martha Metcalf (topic). Also Wikidata Q23074259

History

2026-11-02: add by m2/dev

MD9T282WSZ MD9T282WSZ

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

Mentions

arxiv: arXiv 2610.08198#GOAK (statement). In 50K0H8HRED/e1, lemma 6.4

History

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

MD9V2DW182 MD9V2DW182

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

Mentions

arxiv: arXiv 2609.33263#8TDG (definition). In 6S5EH3388Z/e1, definition 3.5

History

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

instantaneous rate of change MD9XBGJGC8

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

Mentions

wikipedia: Wikipedia Glossary of calculus#IRLE, instantaneous rate of change (definition)

History

2026-11-02: add by m2/dev

MDA2CY2S01 MDA2CY2S01

URI	`m2://inv/MDA2CY2S01`
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 2103.02468#4SPW (statement). In Q7C6G66CWM/e1, theorem

History

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

Definitions MDA4STCE4Q

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

Mentions

wikipedia: Wikipedia Multiple instance learning#Y60V, Definitions (definition)

History

2026-11-02: add by m2/dev

Reductive group MDADS8TDM3

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

Mentions

wikipedia: Wikipedia List of group theory topics#QYVO, Reductive group (definition)

History

2026-11-02: add by m2/dev

MDAJ4W6JVB MDAJ4W6JVB

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

Mentions

arxiv: arXiv 2610.04271#UDDQ (statement). In WBXAW9G4JB/e1, theorem 3.3

History

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

Definition MDARETR51G

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

Mentions

wikipedia: Wikipedia Differentiable manifold#Z6E6, Definition (definition)

History

2026-11-02: add by m2/dev

quotient rule MDAXP2EXM8

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

Mentions

lebl_ra: lebl_ra index/3.1.1/quotient-rule, quotient rule (concept). In E59CDZA4DP, index, section 3.1.1

History

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

Statement MDAZZNSEW9

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

Mentions

wikipedia: Wikipedia Erdős–Kaplansky theorem#5BIN, Statement (statement)

History

2026-11-02: add by m2/dev

Schwarzschild geodesics MDB488P75T

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

Mentions

wikipedia: Wikipedia Schwarzschild geodesics, Schwarzschild geodesics (definition). Also Wikidata Q11757549

History

2026-11-02: add by m2/dev

Even CAR support growth MDB4CXRAGZ

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

Mentions

arxiv: arXiv 2610.00448#T8A7, Even CAR support growth (statement). In N06J7GC05Q/e1, lemma F.2

History

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

Sylvia Chin-Pi Lu MDB4K41GN8

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

Mentions

wikipedia: Wikipedia Sylvia Chin-Pi Lu, Sylvia Chin-Pi Lu (topic). Also Wikidata Q65031509

History

2026-11-02: add by m2/dev

Bundle MDB4K86QF0

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

Mentions

wikipedia: Wikipedia Bundle (mathematics), Bundle (definition). Also Wikidata Q1047307

History

2026-11-02: add by m2/dev

MDB6DAXJ0X MDB6DAXJ0X

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

Mentions

wikidata: Wikidata Q114705964 (topic)

History

2026-10-26: add by m2/dev

List of women logicians MDB7JV6J39

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

Mentions

wikipedia: Wikipedia List of women logicians, List of women logicians (topic). Also Wikidata Q126065229

History

2026-11-02: add by m2/dev

Jacob Wolfowitz MDB82P946G

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#73NX, Jacob Wolfowitz (unknown)

History

2026-11-02: add by m2/dev

MDBA7YAV47 MDBA7YAV47

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

Mentions

arxiv: arXiv 2609.40054#BFZR (definition). In CA4C9PFM1E/e1, definition 2.2.7

History

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

MDC2YPTCT7 MDC2YPTCT7

URI	`m2://inv/MDC2YPTCT7`
Kind	definition
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 2609.39293#1497 (definition). In S26QVW5613/e1, definition 2.2.1

History

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

MDC82J2ZQ2 MDC82J2ZQ2

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

Mentions

napkin: napkin tex/topology/metric-prop.tex#definition-4 (definition). In RZP28ERRZV, definition, section 99.2

History

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

MDCFZGMQGK MDCFZGMQGK

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

Mentions

arxiv: arXiv 2609.32906#FYH7 (statement). In R589MXXHX4/e1, theorem 4.2

History

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

Resentful demoralization MDCKWWTJ03

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZONW, Resentful demoralization (definition)

History

2026-11-02: add by m2/dev

MDCNGZ739T MDCNGZ739T

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#problem-7 (exercise). In P1C114YBXG, problem, section F

History

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

MDCPCMGJX2 MDCPCMGJX2

URI	`m2://inv/MDCPCMGJX2`
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.21461#HWPO (statement). In DWQANBV7B7/e1, lemma B.4

History

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

MDCPRZ9VHW MDCPRZ9VHW

URI	`m2://inv/MDCPRZ9VHW`
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 2610.22074#FRNK (example). In F3BKXXPR3K/e1, example B.8

History

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

MDCQBQRPG6 MDCQBQRPG6

URI	`m2://inv/MDCQBQRPG6`
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 dg-ga/9612010#939N (statement). In CM39SWC4A6/e1, theorem 1.1

History

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

MDCQF877NN MDCQF877NN

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

Mentions

arxiv: arXiv 2609.30579#ITR6 (statement). In FDYZFDHZH9/e1, corollary 1.2

History

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

MDCV1ESPF0 MDCV1ESPF0

URI	`m2://inv/MDCV1ESPF0`
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.17817#RV11 (statement). In M8TSJ24RC2/e1, proposition 2.12

History

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

MDCZ4PMG6G MDCZ4PMG6G

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

Mentions

arxiv: arXiv 2609.26438#DFXR (statement)

History

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

theory of principal ideal rings MDD13Y40CB

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

Mentions

wikidata: Wikidata Q114704819, theory of principal ideal rings (topic)

History

2026-10-26: add by m2/dev

7-demicubic honeycomb MDD25DTXKY

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

Mentions

wikipedia: Wikipedia 7-demicubic honeycomb, 7-demicubic honeycomb (definition). Also Wikidata Q4642892

History

2026-11-02: add by m2/dev

Rhombitriheptagonal tiling MDD43Z25W5

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

Mentions

wikipedia: Wikipedia Rhombitriheptagonal tiling, Rhombitriheptagonal tiling (object). Also Wikidata Q7321294

History

2026-11-02: add by m2/dev

(Q,r) model MDD5KANY57

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

Mentions

wikipedia: Wikipedia (Q,r) model, (Q,r) model (definition). Also Wikidata Q109278536

History

2026-11-02: add by m2/dev

Ambient rate with exact line search MDDBSYJZXN

URI	`m2://inv/MDDBSYJZXN`
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.21880#VNGW, Ambient rate with exact line search (statement)

History

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

Hall Graph MDDE7BW6YD

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

Mentions

wikidata: Wikidata Q3115497, Hall Graph (unknown). Also House of Graphs 51397, MathWorld HallGraph

History

2026-10-26: add by m2/dev

MDDEFAENH6 MDDEFAENH6

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

Mentions

arxiv: arXiv 2609.36823#W31A (statement). In 55WT8DME6Y/e1, lemma 1.1

History

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

Opinion polling for the 2026 Israeli legislative election MDDGXMX2KD

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

Mentions

wikipedia: Wikipedia Opinion polling for the 2026 Israeli legislative election, Opinion polling for the 2026 Israeli legislative election (definition). Also Wikidata Q116179077

History

2026-11-02: add by m2/dev

Lagrange number MDDHRE10D4

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

Mentions

wikidata: Wikidata Q6402757, Lagrange number (unknown). Also MathWorld LagrangeNumber
wikipedia: Wikipedia Lagrange number, Lagrange number (definition). Also Wikidata Q6402757

History

2026-10-26: add by m2/dev

Clique cover MDDQM39AM8

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

Mentions

wikipedia: Wikipedia Clique cover, Clique cover (definition). Also Wikidata Q1096734

History

2026-11-02: add by m2/dev

Edmond Pourchot MDE04RDRT7

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

Mentions

wikipedia: Wikipedia Edmond Pourchot, Edmond Pourchot (topic). Also Wikidata Q3719426

History

2026-11-02: add by m2/dev

MDE8X67D0A MDE8X67D0A

URI	`m2://inv/MDE8X67D0A`
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 2506.09840#JMLA (statement). In Y7TWHSF2HC/e1, theorem 1.1

History

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

MDECTA3E2B MDECTA3E2B

URI	`m2://inv/MDECTA3E2B`
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.13618#1ITE (statement). In XDQAEGH345/e1, proposition 5.1

History

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

MDEJB4H2B7 MDEJB4H2B7

URI	`m2://inv/MDEJB4H2B7`
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.05193#DLGC (statement). In XDMM0KNNZ9/e1, proposition 25

History

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

MDEJECJJX2 MDEJECJJX2

URI	`m2://inv/MDEJECJJX2`
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#FUVF (statement). In 1H64QT301C/e1, lemma 3.10

History

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

MDEPMKJQF2 MDEPMKJQF2

URI	`m2://inv/MDEPMKJQF2`
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.37562#PMP8 (statement). In PYY8DFK2JS/e1, lemma 7.5

History

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

Generalizations MDERBGY6HA

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

Mentions

wikipedia: Wikipedia Hardy–Ramanujan theorem#LJEP, Generalizations (statement)

History

2026-11-02: add by m2/dev

Identity of relation MDET83G5MJ

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

Mentions

wikipedia: Wikipedia Analogy#LZQT, Identity of relation (statement)

History

2026-11-02: add by m2/dev

MDEVK7PP9G MDEVK7PP9G

URI	`m2://inv/MDEVK7PP9G`
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.21535#LVQQ (statement)

History

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

connected MDF43K76D1

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#8QO1, connected (definition)

History

2026-11-02: add by m2/dev

Wilhelm Klingenberg MDF871FFK1

URI	`m2://inv/MDF871FFK1`
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#XOKS, Wilhelm Klingenberg (topic)

History

2026-11-02: add by m2/dev

Bromwich integral MDF8WCRNFV

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#A13G, Bromwich integral (definition)

History

2026-11-02: add by m2/dev

Maximal gap MDFCQ7A2YQ

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

Mentions

arxiv: arXiv 2609.40290#HFVY, Maximal gap (statement). In 4K1CNBYJHF/e1, theorem 8.2

History

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

Reconstruction-score margins bound deviation from reference labels MDFQ9RGSN6

URI	`m2://inv/MDFQ9RGSN6`
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.32652#L08C, Reconstruction-score margins bound deviation from reference labels (statement). In 6KAZWJ8RFX/e1, theorem 5.6

History

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

MDG4Z93AQY MDG4Z93AQY

URI	`m2://inv/MDG4Z93AQY`
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.23994#A0QV (statement)

History

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

Unsolved problems MDG71HE6J8

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#02VY, Unsolved problems (statement)

History

2026-11-02: add by m2/dev

Characterisations of regular $\Cst$\nb-irreducible inclusions MDGT3EF9BY

URI	`m2://inv/MDGT3EF9BY`
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.27518#WQ72, Characterisations of regular $\Cst$\nb-irreducible inclusions (statement)

History

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

Frans Pretorius MDGYGANAXG

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3FPE, Frans Pretorius (unknown)

History

2026-11-02: add by m2/dev

Definition MDGZX67BJB

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

Mentions

wikipedia: Wikipedia Control-Lyapunov function#2LBY, Definition (definition)

History

2026-11-02: add by m2/dev

MDH3XJCCHG MDH3XJCCHG

URI	`m2://inv/MDH3XJCCHG`
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.05506#7XI6 (statement). In FT53PMB1TE/e1, lemma 5.2.4

History

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

MDH4FPBT4Q MDH4FPBT4Q

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

Mentions

arxiv: arXiv 2609.25168#BR7D (statement)

History

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

Generalizations MDH7YDKADB

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

Mentions

wikipedia: Wikipedia ADHM construction#UXMK, Generalizations (statement)

History

2026-11-02: add by m2/dev

MDH871KPS0 MDH871KPS0

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

Mentions

arxiv: arXiv 2311.00585#OFRP (problem). In 332PQD90SW/e1, problem 2.18

History

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

particular solution MDH8XA5907

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

Mentions

wikipedia: Wikipedia Glossary of calculus#ANXH, particular solution (definition)

History

2026-11-02: add by m2/dev

MDH9DBQNZP MDH9DBQNZP

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

Mentions

wikipedia: Wikipedia Generalized star-height problem#YXXB (problem)

History

2026-11-02: add by m2/dev

MDHCN8FQ1H MDHCN8FQ1H

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

Mentions

arxiv: arXiv 2609.31907#0OG2 (statement). In 6B2PCEGCYZ/e1, theorem 5.13

History

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

Joel Spruck MDHDX7TCPA

URI	`m2://inv/MDHDX7TCPA`
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#LIFF, Joel Spruck (topic)

History

2026-11-02: add by m2/dev

MegaMenger MDHFNTA3JQ

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

Mentions

wikipedia: Wikipedia Menger sponge#LPAO, MegaMenger (unknown)

History

2026-11-02: add by m2/dev

Complex network MDHJJBDY37

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

Mentions

wikipedia: Wikipedia List of network theory topics#OC99, Complex network (definition)

History

2026-11-02: add by m2/dev

false vacuum MDHKRB6JZV

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

Mentions

wikidata: Wikidata Q2538708, false vacuum (unknown). Also nLab false vacuum

History

2026-10-26: add by m2/dev

Pro-simplicial set MDHMVVBJYW

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

Mentions

wikipedia: Wikipedia Pro-simplicial set, Pro-simplicial set (definition). Also Wikidata Q7246618

History

2026-11-02: add by m2/dev

MDHNXDEWWS MDHNXDEWWS

URI	`m2://inv/MDHNXDEWWS`
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.19845#9NYT (statement). In A8Y7B1MD91/e1, lemma 2.2

History

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

MDHQGM5VT1 MDHQGM5VT1

URI	`m2://inv/MDHQGM5VT1`
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.37901#90ME (statement). In 363WNMSDMA/e1, lemma 11

History

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

Congruence axioms MDHVDMXTRR

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

Mentions

wikipedia: Wikipedia Tarski's axioms#I4LI, Congruence axioms (statement)

History

2026-11-02: add by m2/dev

Scalar pullbacks of $\Kl$ are pairwise non-isomorphic, even up to twist MDHYV4D6BR

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

Mentions

arxiv: arXiv 2610.04099#NID9, Scalar pullbacks of $\Kl$ are pairwise non-isomorphic, even up to twist (statement). In QPJ6FWG5HD/e1, lemma 2.61

History

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

MDJEHQXZPP MDJEHQXZPP

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

Mentions

arxiv: arXiv 2610.07001#231M (statement). In 5DFTVG7FFF/e1, proposition 5.9

History

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

Richard B. McHugh MDJFRRMB7B

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

Mentions

wikipedia: Wikipedia Richard B. McHugh, Richard B. McHugh (topic). Also Wikidata Q61893893

History

2026-11-02: add by m2/dev

Heiko Harborth MDJFY6TWBC

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

Mentions

wikipedia: Wikipedia Heiko Harborth, Heiko Harborth (topic). Also Wikidata Q108459

History

2026-11-02: add by m2/dev

MDJGX1RQKA MDJGX1RQKA

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

Mentions

arxiv: arXiv 1707.06795#TI8K (statement). In 32MMSEVHYN/e1, lemma 2.5

History

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

Grönwall's lemma MDJK8TH7SB

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

Mentions

wikipedia: Wikipedia List of lemmas#E94I, Grönwall's lemma (statement)

History

2026-11-02: add by m2/dev

Variance MDJMR9NYQZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#IXQS, Variance (definition)
wikipedia: Wikipedia List of probability topics#6WJO, Variance (definition)

History

2026-11-02: add by m2/dev

Cartan identity MDJSSJNB2D

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

Mentions

wikipedia: Wikipedia Interior product#Q9FL, Cartan identity (statement)

History

2026-11-02: add by m2/dev

PGT-M MDJXGDM1BT

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

Mentions

wikipedia: Wikipedia Preimplantation genetic diagnosis#3B21, PGT-M (unknown)

History

2026-11-02: add by m2/dev

Variations MDJZFASYK6

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

Mentions

wikipedia: Wikipedia Λ-ring#CRXP, Variations (statement)

History

2026-11-02: add by m2/dev

Augmented tridiminished icosahedron MDK8MHWYTN

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#GKCB, Augmented tridiminished icosahedron (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#H40Z, Augmented tridiminished icosahedron (definition)

History

2026-11-02: add by m2/dev

MDKRPMF95S MDKRPMF95S

URI	`m2://inv/MDKRPMF95S`
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.20008#FJOW (statement)

History

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

Pandora (marketplace) MDKZ1T27MM

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

Mentions

wikipedia: Wikipedia Darknet market#6FQY, Pandora (marketplace) (unknown)

History

2026-11-02: add by m2/dev

MDM3BZXHV6 MDM3BZXHV6

URI	`m2://inv/MDM3BZXHV6`
Kind	definition
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 2510.01873#IH4Q (definition). In FVZZDPEYNM/e1, definition 1.8

History

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

MDM96YHNDW MDM96YHNDW

URI	`m2://inv/MDM96YHNDW`
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.02585#PQEE (statement). In V0KBBY82SY/e1, theorem 1.3

History

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

Mobile web analytics MDMCCV3BP4

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

Mentions

wikipedia: Wikipedia Mobile web analytics, Mobile web analytics (topic). Also Wikidata Q15504130

History

2026-11-02: add by m2/dev

MDMDV62GH0 MDMDV62GH0

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

Mentions

arxiv: arXiv 2609.34831#2V6I (statement). In YF36GM7X5Y/e1, lemma 1

History

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

Methods MDMN2C3GNV

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

Mentions

wikipedia: Wikipedia Phase retrieval#3N8U, Methods (definition)

History

2026-11-02: add by m2/dev

Linkless embedding MDMNC5BZQB

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

Mentions

wikipedia: Wikipedia Linkless embedding, Linkless embedding (definition). Also Wikidata Q6554389

History

2026-11-02: add by m2/dev

MDN872PJMZ MDN872PJMZ

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

Mentions

arxiv: arXiv 2609.29107#UZ10 (definition)

History

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

MDNATCP7E4 MDNATCP7E4

URI	`m2://inv/MDNATCP7E4`
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.20190#MSGG (statement)

History

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

MDNB5EP6RR MDNB5EP6RR

URI	`m2://inv/MDNB5EP6RR`
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 2610.15217#GUYH (definition). In G70Q2FB591/e1, definition 3.13

History

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

Purity and self-duality for diagonal sectors MDNEFZZSD2

URI	`m2://inv/MDNEFZZSD2`
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 2609.33162#HJE0, Purity and self-duality for diagonal sectors (statement). In RPC7VG3KHQ/e1, proposition 9.8

History

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

Semantic recursion, one-sided substituted MDNES84YFJ

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

Mentions

arxiv: arXiv 2610.21131#ASZ4, Semantic recursion, one-sided substituted (statement). In CPYWHRTPKC/e1, lemma 6.62

History

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

Metric map MDNM8R1QCJ

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

Mentions

wikipedia: Wikipedia Metric map, Metric map (definition). Also Wikidata Q2713824

History

2026-11-02: add by m2/dev

set of natural numbers MDNVA9YR4A

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

Mentions

wikidata: Wikidata Q141085682, set of natural numbers (unknown). Also MathWorld N

History

2026-10-26: add by m2/dev

MDNVRPCWXE MDNVRPCWXE

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

Mentions

arxiv: arXiv 2610.16554#376B (example). In GWNT8HEZG1/e1, example 2.10

History

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

Stirling's approximation MDNWQ69E62

URI	`m2://inv/MDNWQ69E62`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Stirling's formula 0KC0F51T6A

Mentions

mathlib_100: mathlib_100 90, Stirling’s Formula (statement). Also Mathlib Stirling.tendsto_stirlingSeq_sqrt_pi
mathlib_1000: mathlib_1000 Q470877, Stirling's theorem (statement). Also Mathlib Stirling.tendsto_stirlingSeq_sqrt_pi, Wikidata Q470877
thousand_plus: thousand_plus Q470877, Stirling's theorem (statement). Also Mathlib Stirling.tendsto_stirlingSeq_sqrt_pi, Wikidata Q470877, Wikipedia Stirling's theorem
wikidata: Wikidata Q470877, Stirling's approximation (statement). Also EoM Stirling formula, MathWorld StirlingsApproximation
wikipedia: Wikipedia Stirling's approximation, Stirling's approximation (definition). Also Wikidata Q470877

History

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

Definition MDNYCF7W0G

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

Mentions

wikipedia: Wikipedia Logarithmically convex function#57OP, Definition (definition)

History

2026-11-02: add by m2/dev

Emilie Virginia Haynsworth MDP5621XWJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#UP3D, Emilie Virginia Haynsworth (topic)

History

2026-11-02: add by m2/dev

MDPAJ0YV86 MDPAJ0YV86

URI	`m2://inv/MDPAJ0YV86`
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 1103.1038#GRNB (statement). In T9VMNNPS0H/e1, theorem 5.1

History

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

MDPFGPXCP3 MDPFGPXCP3

URI	`m2://inv/MDPFGPXCP3`
Kind	statement
Layer	research
MSC	19-XX, 30-XX, 32-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.26808#W6O9 (statement)

History

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

Great ditrigonal dodecicosidodecahedron MDPMDXYTPE

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#025Y, Great ditrigonal dodecicosidodecahedron (object)

History

2026-11-02: add by m2/dev

MDPYZYHNAP MDPYZYHNAP

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

Mentions

arxiv: arXiv 2609.35691#WVQX (statement). In G7R61RPWE2/e1, theorem 4.2

History

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

MDQBZNJR7H MDQBZNJR7H

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

Mentions

arxiv: arXiv 2508.21045#BC1U (statement). In CGA36VE1C5/e1, fact 3.12.2

History

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

Gelfand lemma MDQMWGJD60

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

Mentions

wikipedia: Wikipedia Gelfand pair#6DAT, Gelfand lemma (unknown)

History

2026-11-02: add by m2/dev

Theorem 2 MDQNH2EYWE

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

Mentions

wikipedia: Wikipedia Melnikov distance#BOV5, Theorem 2 (statement)

History

2026-11-02: add by m2/dev

MDQQ3N0CX2 MDQQ3N0CX2

URI	`m2://inv/MDQQ3N0CX2`
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.37897#012C (statement). In RBQ5FNCVNZ/e1, corollary A.6

History

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

MDQS8446QH MDQS8446QH

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

Mentions

arxiv: arXiv 1001.0174#P8H1 (statement). In 4P97F3GPJC/e1, lemma 2.10

History

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

1080 MDQSHRB4BQ

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

Mentions

wikidata: Wikidata Q3843705, 1080 (statement). Also ProofWiki 1080

History

2026-10-26: add by m2/dev

MDQXY8NTN9 MDQXY8NTN9

URI	`m2://inv/MDQXY8NTN9`
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.10325#LGC8 (statement). In 66CDJ94PGW/e1, corollary 3.5

History

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

MDQYSAJ9YN MDQYSAJ9YN

URI	`m2://inv/MDQYSAJ9YN`
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.21937#TZLR (statement)

History

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

Nikola Tesla MDR28XN43N

URI	`m2://inv/MDR28XN43N`
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 Q9036, Nikola Tesla (unknown). Also ProofWiki Mathematician:Nikola_Tesla

History

2026-10-26: add by m2/dev

Bernoulli's Inequality MDR5HB8MG1

URI	`m2://inv/MDR5HB8MG1`
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 2104.00162#1TWA, Bernoulli's Inequality (statement). In HVGT9D84WV/e1, lemma 3.2

History

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

Catalan Mathematical Society MDR6VZKE9P

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

Mentions

wikipedia: Wikipedia List of mathematical societies#82SK, Catalan Mathematical Society (definition)

History

2026-11-02: add by m2/dev

Pietro Mengoli MDRAM3S6QV

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#AL41, Pietro Mengoli (topic)

History

2026-11-02: add by m2/dev

MDRAV8WM03 MDRAV8WM03

URI	`m2://inv/MDRAV8WM03`
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.27516#82K1 (statement)

History

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

MDRGNNB0GJ MDRGNNB0GJ

URI	`m2://inv/MDRGNNB0GJ`
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.29273#TE9T (statement)

History

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

Statement MDRH2TWKMN

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

Mentions

wikipedia: Wikipedia Van den Berg–Kesten inequality#RPLW, Statement (statement)

History

2026-11-02: add by m2/dev

Definition MDRK124VE3

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

Mentions

wikipedia: Wikipedia Cyclical monotonicity#DQ4L, Definition (definition)

History

2026-11-02: add by m2/dev

Artificial creativity MDRSAP9XAK

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#CHSZ, Artificial creativity (unknown)

History

2026-11-02: add by m2/dev

Dense MDRTERTJ5T

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

Mentions

wikipedia: Wikipedia List of first-order theories#8WI7, Dense (definition)

History

2026-11-02: add by m2/dev

MDRTR1Y4RV MDRTR1Y4RV

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-210 (exercise). In VNMV985MXX, exercise, section 4.3

History

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

Theorem MDS4VKDPQA

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

Mentions

wikipedia: Wikipedia Vitali covering lemma#7P8T, Theorem (statement)

History

2026-11-02: add by m2/dev

Nash's theorem MDSC0DVJR4

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

Mentions

wikipedia: Wikipedia Hilbert's nineteenth problem#NYG7, Nash's theorem (statement)

History

2026-11-02: add by m2/dev

CSPro MDSD1ERFD0

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

Mentions

wikipedia: Wikipedia List of statistical software#ZTGC, CSPro (unknown)

History

2026-11-02: add by m2/dev

Examples MDSFF5S066

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

Mentions

wikipedia: Wikipedia Engineered language#CQ4N, Examples (example)

History

2026-11-02: add by m2/dev

MDSR6F5Y7E MDSR6F5Y7E

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

Mentions

arxiv: arXiv 2609.28121#L7EZ (definition)

History

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

MDSSJ4VV4V MDSSJ4VV4V

URI	`m2://inv/MDSSJ4VV4V`
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 2111.14143#Z0CI (statement). In QSKV7N0T89/e1, theorem 1.5

History

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

Continuous-time Markov chain MDSV7GY9PB

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

Mentions

wikipedia: Wikipedia Continuous-time Markov chain, Continuous-time Markov chain (definition). Also Wikidata Q176720

History

2026-11-02: add by m2/dev

Gustav Rümelin MDSWF4CZY5

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

Mentions

wikipedia: Wikipedia Gustav Rümelin, Gustav Rümelin (topic). Also Wikidata Q368434

History

2026-11-02: add by m2/dev

De Giorgi's theorem MDT6GA07MM

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

Mentions

wikipedia: Wikipedia Caccioppoli set#WLE9, De Giorgi's theorem (statement)

History

2026-11-02: add by m2/dev

MDT6Z5PVJY MDT6Z5PVJY

URI	`m2://inv/MDT6Z5PVJY`
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.23341#ATPM (statement)

History

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

Higher spatial regularity of the velocity MDT8HSW4TZ

URI	`m2://inv/MDT8HSW4TZ`
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#EI9B, Higher spatial regularity of the velocity (statement). In NHW0VEJ09F/e1, proposition 3.5

History

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

Law of the perturbed population MDT93DERZ6

URI	`m2://inv/MDT93DERZ6`
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.11619#6V64, Law of the perturbed population (statement). In HT2K76Y9WS/e1, lemma B.5

History

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

Example MDTBVMP02E

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

Mentions

wikipedia: Wikipedia Unit-weighted regression#72EF, Example (example)

History

2026-11-02: add by m2/dev

MDTE3AJ8K3 MDTE3AJ8K3

URI	`m2://inv/MDTE3AJ8K3`
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.39700#SKBG (statement). In E7W2HDNEKJ/e1, theorem 6.9

History

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

Donald G. Higman MDTEF5WR67

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

Mentions

wikipedia: Wikipedia Donald G. Higman, Donald G. Higman (topic). Also Wikidata Q1239881

History

2026-11-02: add by m2/dev

Lertap 5 MDTF0G0TW3

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

Mentions

wikipedia: Wikipedia Psychometric software#SPHL, Lertap 5 (unknown)

History

2026-11-02: add by m2/dev

The algorithm MDTFKYC3CE

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

Mentions

wikipedia: Wikipedia Tonelli–Shanks algorithm#Q9DD, The algorithm (definition)

History

2026-11-02: add by m2/dev

Anita Burdman Feferman MDTGTKTFJM

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

Mentions

wikipedia: Wikipedia Anita Burdman Feferman, Anita Burdman Feferman (topic). Also Wikidata Q59629139

History

2026-11-02: add by m2/dev

MDTWH4VJWG MDTWH4VJWG

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 1.2

History

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

MDV7DCR960 MDV7DCR960

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

Mentions

arxiv: arXiv 2610.22268#ZXSB (statement). In 9ZD87293QS/e1, theorem 3.4

History

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

Basic smoothness and compactness MDV9NT9C8Q

URI	`m2://inv/MDV9NT9C8Q`
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.22513#ZZDN, Basic smoothness and compactness (statement)

History

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

Sylow subgroup MDVFMCD53A

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

Mentions

wikidata: Wikidata Q10686808, Sylow subgroup (concept). Also EoM Sylow_subgroup, MathWorld Sylowp-Subgroup, nLab Sylow p-subgroup, ProofWiki Definition:Sylow_p-Subgroup

History

2026-10-26: add by m2/dev

Multiprocessor scheduling MDVQ9E99HY

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#8U5E, Multiprocessor scheduling (unknown)

History

2026-11-02: add by m2/dev

MDVT0NZD88 MDVT0NZD88

URI	`m2://inv/MDVT0NZD88`
Kind	statement
Layer	research
MSC	11-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 2609.21090#QAAP (statement)

History

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

Fundamental polygon MDVT1SM4VT

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

Mentions

wikipedia: Wikipedia Fundamental polygon, Fundamental polygon (definition). Also Wikidata Q444931

History

2026-11-02: add by m2/dev

Jo Ellis-Monaghan MDVXADQW42

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#H27F, Jo Ellis-Monaghan (topic)

History

2026-11-02: add by m2/dev

mid-range MDW6J0J988

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

Mentions

wikidata: Wikidata Q3260254, mid-range (unknown). Also MathWorld Midrange
wikipedia: Wikipedia Mid-range, Mid-range (definition). Also Wikidata Q3260254

History

2026-10-26: add by m2/dev

Topological ring MDWK0VAJRC

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

Mentions

wikipedia: Wikipedia List of general topology topics#AQ5Q, Topological ring (definition)

History

2026-11-02: add by m2/dev

affine morphism MDWPKJX4MT

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

Mentions

wikidata: Wikidata Q3324322, affine morphism (unknown). Also nLab affine morphism

History

2026-10-26: add by m2/dev

MDWTFX1SY4 MDWTFX1SY4

URI	`m2://inv/MDWTFX1SY4`
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 2609.36509#VSHT (statement). In DPJ15KW23C/e1, corollary 7.11

History

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

MDWX4W8QZA MDWX4W8QZA

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

Mentions

arxiv: arXiv 2609.28893#B355 (unknown)

History

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

MDWYSSEGT6 MDWYSSEGT6

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

Mentions

arxiv: arXiv 2610.21358#FBII (statement). In XV70TXYS5A/e1, theorem 2.19

History

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

Cauchy interlacing MDX2YB9Y3F

URI	`m2://inv/MDX2YB9Y3F`
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.12324#TYSO, Cauchy interlacing (statement). In CJDCSSCF1V/e1, lemma II.2

History

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

Chemical equation MDX6TEAANX

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

Mentions

wikipedia: Wikipedia Chemical equation, Chemical equation (definition). Also Wikidata Q182527

History

2026-11-02: add by m2/dev

Three Mile Bush MDXEDFFBVR

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

Mentions

wikipedia: Wikipedia List of places with numeric names#6P3E, Three Mile Bush (unknown)

History

2026-11-02: add by m2/dev

MDXY9DGJNM MDXY9DGJNM

URI	`m2://inv/MDXY9DGJNM`
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 2510.01873#62E8 (statement). In FVZZDPEYNM/e1, theorem 4.7
arxiv: arXiv 2609.23167#XYBT (statement)

History

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

MDY2VCVBTH MDY2VCVBTH

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

Mentions

open_logic: open_logic content/incompleteness/theories-computability/consis-with-q.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 30.7

History

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

MDY8ZKHPMH MDY8ZKHPMH

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

Mentions

arxiv: arXiv 2610.05146#WU8U (statement). In 63MJS935N4/e1, lemma 2.3

History

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

MDY94PYR1F MDY94PYR1F

URI	`m2://inv/MDY94PYR1F`
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 2610.20421#7871 (definition). In Q4R7J8JE3F/e1, definition 2.6

History

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

vertex cut MDYBFMQE1H

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#MJ9G, vertex cut (definition)

History

2026-11-02: add by m2/dev

MDYCTVF14A MDYCTVF14A

URI	`m2://inv/MDYCTVF14A`
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 2303.04321#80VI (definition). In TE54S4QFW1/e1, definition

History

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

MDYVZJVF8B MDYVZJVF8B

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

Mentions

arxiv: arXiv 2609.26196#6749 (definition)

History

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

Replacement of the radial perturbation at fixed cutoff MDYXT3YJFB

URI	`m2://inv/MDYXT3YJFB`
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.32710#Q0C7, Replacement of the radial perturbation at fixed cutoff (statement). In KVYG6R7CGJ/e1, proposition 3.10

History

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

MDYZNMNCZS MDYZNMNCZS

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

Mentions

arxiv: arXiv 2403.16814#DBXT (statement). In MN03Z3PRFT/e1, proposition 2.2

History

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

John McQuown MDZ2JVKGM9

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

Mentions

wikipedia: Wikipedia Merton model#Y9OA, John McQuown (unknown)

History

2026-11-02: add by m2/dev

Boris Levin MDZB0MW9FC

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#RODS, Boris Levin (topic)

History

2026-11-02: add by m2/dev

Consistency of the endpoint estimator MDZFTBQNYV

URI	`m2://inv/MDZFTBQNYV`
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.08766#F7R8, Consistency of the endpoint estimator (statement). In QA4JM9SHPA/e1, proposition 4.5

History

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

Standard Borel spaces and Kuratowski theorems MDZKE1XX11

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

Mentions

wikipedia: Wikipedia Borel set#R1TT, Standard Borel spaces and Kuratowski theorems (statement)

History

2026-11-02: add by m2/dev

Tord Ganelius MDZP4JANM9

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

Mentions

wikipedia: Wikipedia Tord Ganelius, Tord Ganelius (topic). Also Wikidata Q5751077

History

2026-11-02: add by m2/dev

Rank 2 reduced basis MDZPHG0SDF

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

Mentions

arxiv: arXiv 2609.32936#O1FX, Rank 2 reduced basis (definition). In QDBYK125AB/e1, definition 1

History

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

MDZSVFB8BR MDZSVFB8BR

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

Mentions

arxiv: arXiv 2609.36823#8RZ5 (statement). In 55WT8DME6Y/e1, lemma A.1

History

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