Inventory rows 31

310D7XT9VC 310D7XT9VC

URI	`m2://inv/310D7XT9VC`
Kind	statement
Layer	research
MSC	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.38211#EPQZ (statement). In KWKK0S9YJN/e1, proposition 3

History

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

Forced least missing distance 310DA60JKS

URI	`m2://inv/310DA60JKS`
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.20492#2ADZ, Forced least missing distance (statement)

History

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

Conductor of an abelian variety 310ER6FHKY

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

Mentions

wikipedia: Wikipedia Conductor of an abelian variety, Conductor of an abelian variety (definition). Also Wikidata Q5159399

History

2026-11-02: add by m2/dev

Uniformization theorem 310G3FM3SN

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

Mentions

mathlib_1000: mathlib_1000 Q2109761, Uniformization theorem (statement). Also Wikidata Q2109761
thousand_plus: thousand_plus Q2109761, Uniformization theorem (statement). Also Wikidata Q2109761, Wikipedia Uniformization theorem
wikipedia: Wikipedia Uniformization theorem, Uniformization theorem (statement). Also Wikidata Q2109761

History

2026-10-26: add by m2/dev

310K28G50M 310K28G50M

URI	`m2://inv/310K28G50M`
Kind	statement
Layer	research
MSC	19-XX, 20-XX, 22-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.14278#TXV3 (statement). In RTE2C0PH4S/e1, theorem 5.1

History

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

semiprime 310N6DEXVV

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#WKNJ, semiprime (definition)

History

2026-11-02: add by m2/dev

Topology--inference separation 310PS89HF7

URI	`m2://inv/310PS89HF7`
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.15824#GCJK, Topology--inference separation (statement). In GDZXR87FJV/e1, statement 2

History

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

Lucas–Lehmer primality test 310PYN2P87

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

Mentions

wikipedia: Wikipedia List of number theory topics#39H8, Lucas–Lehmer primality test (definition)

History

2026-11-02: add by m2/dev

Millennial cringe 310ZE6CVBF

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

Mentions

wikipedia: Wikipedia Millennials#ZHR5, Millennial cringe (unknown)

History

2026-11-02: add by m2/dev

311BJH8JQ5 311BJH8JQ5

URI	`m2://inv/311BJH8JQ5`
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.29943#BW14 (problem)

History

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

311E2TRP4W 311E2TRP4W

URI	`m2://inv/311E2TRP4W`
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 2401.12263#3PXT (statement). In 3Z029EZBBS/e1, lemma 1

History

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

Theorem 311GSFS5FF

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

Mentions

wikipedia: Wikipedia Intermediate value theorem#MXIT, Theorem (statement)

History

2026-11-02: add by m2/dev

Blow-up and non-simplicity 311HNMS0S1

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

Mentions

arxiv: arXiv 2609.20042#QOS3, Blow-up and non-simplicity (definition)

History

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

311J5NF36S 311J5NF36S

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

Mentions

arxiv: arXiv 2610.17759#IMB7 (statement). In 7MWKMG2V8A/e1, lemma 4.5

History

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

Examples 311Y6G91RS

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

Mentions

wikipedia: Wikipedia Antimatroid#IM54, Examples (example)

History

2026-11-02: add by m2/dev

Nicolas Ressayre 3121FJ5YX1

URI	`m2://inv/3121FJ5YX1`
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#4KUD, Nicolas Ressayre (unknown)

History

2026-11-02: add by m2/dev

Geometric \texorpdfstring{$\Zp$}{Zp}-tower 3123NFBQGA

URI	`m2://inv/3123NFBQGA`
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 2610.05652#RABN, Geometric \texorpdfstring{$\Zp$}{Zp}-tower (definition). In 8BNPFYQDQX/e1, definition 2.1

History

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

Comparison with theorem 3127P7X00Z

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

Mentions

wikipedia: Wikipedia Lemma (mathematics)#ZPRG, Comparison with theorem (statement)

History

2026-11-02: add by m2/dev

31289GAW1S 31289GAW1S

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 4.1

History

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

31292ANCSM 31292ANCSM

URI	`m2://inv/31292ANCSM`
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.11939#PJIS (statement). In DQMEN40FZV/e1, lemma 18

History

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

Example 312D9ZDBZK

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

Mentions

wikipedia: Wikipedia 3-dimensional matching#LY56, Example (example)

History

2026-11-02: add by m2/dev

312G2PX709 312G2PX709

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

Mentions

open_logic: open_logic content/proof-theory/normalization/translations.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 59.4

History

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

Representations 312M42ASG9

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

Mentions

wikipedia: Wikipedia Conway group Co3#K4VX, Representations (definition)

History

2026-11-02: add by m2/dev

Triple product rule 312NM35AW7

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

Mentions

wikipedia: Wikipedia Triple product rule, Triple product rule (definition). Also Wikidata Q7843530

History

2026-11-02: add by m2/dev

BTZ black hole 312T1S8AJ1

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

Mentions

wikidata: Wikidata Q4836741, BTZ black hole (unknown). Also nLab BTZ black hole
wikipedia: Wikipedia BTZ black hole, BTZ black hole (definition). Also Wikidata Q4836741

History

2026-10-26: add by m2/dev

Properties 31319SMH1B

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

Mentions

wikipedia: Wikipedia Wiener algebra#6J54, Properties (statement)

History

2026-11-02: add by m2/dev

Without the axiom of choice 313229RVEW

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

Mentions

wikipedia: Wikipedia Uncountable set#2US3, Without the axiom of choice (statement)

History

2026-11-02: add by m2/dev

Assumptions of the theorem 3133KXRPH2

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

Mentions

wikipedia: Wikipedia Van Cittert–Zernike theorem#2RAH, Assumptions of the theorem (statement)

History

2026-11-02: add by m2/dev

Prime signature 3136M77J1V

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

Mentions

wikidata: Wikidata Q7243382, Prime signature (concept). Also MathWorld PrimeSignature
wikipedia: Wikipedia Prime signature, Prime signature (definition). Also Wikidata Q7243382

History

2026-10-26: add by m2/dev

313ARMNCWM 313ARMNCWM

URI	`m2://inv/313ARMNCWM`
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.19358#0L4A (statement). In N3QZZ7BD0V/e1, lemma 5

History

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

313FDZ6FHD 313FDZ6FHD

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

Mentions

arxiv: arXiv 2610.04172#IJLO (definition). In 9Q1D1NMTTS/e1, definition 6

History

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

Airy wave theory 313FJCA23Q

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

Mentions

wikipedia: Wikipedia Airy wave theory, Airy wave theory (definition). Also Wikidata Q4699087

History

2026-11-02: add by m2/dev

313HYH2CTF 313HYH2CTF

URI	`m2://inv/313HYH2CTF`
Kind	statement
Layer	research
MSC	35-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.21670#HMEQ (statement)

History

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

Sergio Ferrara 313QDZHGM7

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

Mentions

wikipedia: Wikipedia List of string theory topics#2GGK, Sergio Ferrara (unknown)

History

2026-11-02: add by m2/dev

Examples 313TBW21QK

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

Mentions

wikipedia: Wikipedia Formal scheme#3BDC, Examples (example)

History

2026-11-02: add by m2/dev

Karel Hrbáček 313TDA1HZ3

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

Mentions

wikipedia: Wikipedia Karel Hrbáček, Karel Hrbáček (topic). Also Wikidata Q1708716

History

2026-11-02: add by m2/dev

Algebraically compact group 313XF9MS7Z

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

Mentions

wikipedia: Wikipedia Algebraically compact group, Algebraically compact group (definition). Also Wikidata Q4724024

History

2026-11-02: add by m2/dev

314AH4AQXT 314AH4AQXT

URI	`m2://inv/314AH4AQXT`
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.19959#F290 (statement)

History

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

Properties 314EYNG48W

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

Mentions

wikipedia: Wikipedia Hurewicz space#10GA, Properties (statement)

History

2026-11-02: add by m2/dev

405 (number) 314GBW17VF

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

Mentions

wikipedia: Wikipedia 400 (number)#LWVR, 405 (number) (unknown)

History

2026-11-02: add by m2/dev

314WSW0FS4 314WSW0FS4

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#proof-5 (proof). In RZP28ERRZV, proof, section 30.3

History

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

Counting rods 31515H67HX

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

Mentions

wikipedia: Wikipedia Counting rods, Counting rods (definition). Also Wikidata Q583473

History

2026-11-02: add by m2/dev

3151T2RHA1 3151T2RHA1

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#lt:examplebeam (example). In E9HS8K3A52, example, section 7.4.4

History

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

3153Y84Q40 3153Y84Q40

URI	`m2://inv/3153Y84Q40`
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.35762#KPQ6 (statement). In C9QEPN1E56/e1, lemma F.12

History

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

3159W9K2GT 3159W9K2GT

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

Mentions

arxiv: arXiv 2609.24917#A9JR (statement)

History

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

315QZCYNQC 315QZCYNQC

URI	`m2://inv/315QZCYNQC`
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#C3RL (statement). In T8BQ6HHZYT/e1, proposition 6.18

History

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

315XQC6NQ7 315XQC6NQ7

URI	`m2://inv/315XQC6NQ7`
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.23781#JAFB (statement)

History

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

315ZMRAKRQ 315ZMRAKRQ

URI	`m2://inv/315ZMRAKRQ`
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 0911.1417#8PHQ (statement). In BBD7TZW79R/e1, corollary 3.5

History

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

3161CTXH46 3161CTXH46

URI	`m2://inv/3161CTXH46`
Kind	definition
Layer	research
MSC	19-XX, 20-XX, 22-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.14278#SAFB (definition). In RTE2C0PH4S/e1, definition 5.1

History

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

31637D4BNH 31637D4BNH

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

Mentions

arxiv: arXiv 2609.25353#DPW0 (statement)

History

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

3164JEX3Q9 3164JEX3Q9

URI	`m2://inv/3164JEX3Q9`
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.21491#HZTA (statement)

History

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

Stone–Weierstrass theorem, complex version 3164TB7KFA

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

Mentions

wikipedia: Wikipedia Stone–Weierstrass theorem#EK4H, Stone–Weierstrass theorem, complex version (statement)

History

2026-11-02: add by m2/dev

Applications 31650NMQS0

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

Mentions

wikipedia: Wikipedia B*#RF5Q, Applications (example)

History

2026-11-02: add by m2/dev

Bogomolov–Sommese vanishing theorem 3168C39H31

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

Mentions

wikipedia: Wikipedia Bogomolov–Sommese vanishing theorem, Bogomolov–Sommese vanishing theorem (statement). Also Wikidata Q117336722

History

2026-11-02: add by m2/dev

Opinion polling for the 2019 Indian general election 3168Q0NY53

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

Mentions

wikipedia: Wikipedia Opinion polling for the 2019 Indian general election, Opinion polling for the 2019 Indian general election (definition). Also Wikidata Q30692953

History

2026-11-02: add by m2/dev

Hannan–Quinn information criterion 316GGR7D6X

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZX4I, Hannan–Quinn information criterion (statement)

History

2026-11-02: add by m2/dev

Weibull chart 317912WR37

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

Mentions

wikipedia: Wikipedia List of statistics articles#HN4A, Weibull chart (definition)

History

2026-11-02: add by m2/dev

Related results 317ESDXWF8

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

Mentions

wikipedia: Wikipedia Bonnet theorem#BI4Q, Related results (statement)

History

2026-11-02: add by m2/dev

Separable measure space 317M8M5S2C

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

Mentions

wikipedia: Wikipedia Σ-algebra#1SGL, Separable measure space (unknown)

History

2026-11-02: add by m2/dev

317MG8Q86B 317MG8Q86B

URI	`m2://inv/317MG8Q86B`
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.20590#G91H (statement)

History

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

317N9C6RXS 317N9C6RXS

URI	`m2://inv/317N9C6RXS`
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.07292#9C91 (statement). In PZ17NHGAKX/e1, lemma 15

History

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

Wacław Marzantowicz 317WDFFB8D

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

Mentions

wikipedia: Wikipedia Wacław Marzantowicz, Wacław Marzantowicz (topic). Also Wikidata Q21290634

History

2026-11-02: add by m2/dev

Principles 3187K73N6D

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

Mentions

wikipedia: Wikipedia Cumulative frequency analysis#7UT3, Principles (statement)

History

2026-11-02: add by m2/dev

Base PERs are PERs 3189N2KZQY

URI	`m2://inv/3189N2KZQY`
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#1U3M, Base PERs are PERs (statement). In CPYWHRTPKC/e1, lemma 6.4

History

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

318WNM902R 318WNM902R

URI	`m2://inv/318WNM902R`
Kind	example
Layer	research
MSC	18-XX, 49-XX, 51-XX, 52-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 1904.08413#57IZ (example). In X88HPQ0W8C/e1, example 2.33

History

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

318ZJZ6YYZ 318ZJZ6YYZ

URI	`m2://inv/318ZJZ6YYZ`
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.18600#40LH (statement). In 31D6TQVCNZ/e1, corollary 3.18

History

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

Stability under discardable ancillas 31958AME9Z

URI	`m2://inv/31958AME9Z`
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.02166#J2U4, Stability under discardable ancillas (statement). In R6RF3P6D5A/e1, lemma 3.10

History

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

Parallel redrawing 319BTTXX69

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

Mentions

wikipedia: Wikipedia Parallel redrawing, Parallel redrawing (definition). Also Wikidata Q28135016

History

2026-11-02: add by m2/dev

319EWZ4DSS 319EWZ4DSS

URI	`m2://inv/319EWZ4DSS`
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.20760#ZING (statement). In 6G9JSJ5JMP/e1, theorem 30

History

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

319NFJ9345 319NFJ9345

URI	`m2://inv/319NFJ9345`
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 2208.07784#ZBCU (statement). In X0GJCD9768/e1, theorem 5.2

History

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

4-orthoscheme 319NP4VSCS

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

Mentions

wikipedia: Wikipedia 5-cell#A5MK, 4-orthoscheme (unknown)

History

2026-11-02: add by m2/dev

Population and housing censuses by country 319NYAP5KJ

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

Mentions

wikipedia: Wikipedia Population and housing censuses by country, Population and housing censuses by country (definition). Also Wikidata Q7229794

History

2026-11-02: add by m2/dev

319Q3GJM5Q 319Q3GJM5Q

URI	`m2://inv/319Q3GJM5Q`
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.07292#0P4F (statement). In PZ17NHGAKX/e1, lemma 2

History

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

319R44SK8D 319R44SK8D

URI	`m2://inv/319R44SK8D`
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.28118#GJN1 (statement)

History

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

319RFM4GXA 319RFM4GXA

URI	`m2://inv/319RFM4GXA`
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.18562#H4KA (statement). In 793KXAR957/e1, proposition 4.6

History

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

319XTH4B81 319XTH4B81

URI	`m2://inv/319XTH4B81`
Kind	statement
Layer	research
MSC	05-XX, 49-XX, 51-XX, 52-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.34845#56V8 (statement). In SBZNH932ZV/e1, corollary 10.7

History

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

31A3BRRXSK 31A3BRRXSK

URI	`m2://inv/31A3BRRXSK`
Kind	definition
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.00789#O2YF (definition). In 4WPYBTARS2/e1, definition 2.24

History

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

31A4CY0T9Z 31A4CY0T9Z

URI	`m2://inv/31A4CY0T9Z`
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.36423#IYZR (statement). In Q5Z178SAHP/e1, theorem 7.3

History

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

quotient type 31A6BAMCZB

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

Mentions

wikidata: Wikidata Q17045118, quotient type (unknown). Also nLab quotient type
wikipedia: Wikipedia Quotient type, Quotient type (definition). Also Wikidata Q17045118

History

2026-10-26: add by m2/dev

31A6KPZ1TD 31A6KPZ1TD

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

Mentions

arxiv: arXiv 2610.11002#AQ4O (statement). In P55JSAYR3T/e1, proposition

History

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

Lie supergroup 31AE431SGG

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

Mentions

wikipedia: Wikipedia List of string theory topics#D5F2, Lie supergroup (definition)

History

2026-11-02: add by m2/dev

Excess-fibre power sum 31AHN5BSMC

URI	`m2://inv/31AHN5BSMC`
Kind	statement
Layer	research
MSC	05-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.23922#H5K4, Excess-fibre power sum (statement)

History

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

Convergence theorem 31AVQV7JE4

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

Mentions

wikipedia: Wikipedia Toda bracket#IR3Q, Convergence theorem (statement)

History

2026-11-02: add by m2/dev

Properties 31AWNN2SPZ

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

Mentions

wikipedia: Wikipedia Moment (mathematics)#20KF, Properties (statement)

History

2026-11-02: add by m2/dev

infix notation 31BA5ABP5F

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

Mentions

wikipedia: Wikipedia Glossary of logic#POCW, infix notation (definition)

History

2026-11-02: add by m2/dev

Examples 31BDJ2YQHR

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

Mentions

wikipedia: Wikipedia Projectionless C*-algebra#AF6J, Examples (example)

History

2026-11-02: add by m2/dev

Certificate revocation list 31BJVM1EWX

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

Mentions

wikipedia: Wikipedia Certificate revocation list, Certificate revocation list (definition). Also Wikidata Q196765

History

2026-11-02: add by m2/dev

A uniform distance from compact Gaussian operators 31BNP2KXMJ

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

Mentions

arxiv: arXiv 2609.38228#H08A, A uniform distance from compact Gaussian operators (statement). In 9YAE8FNQST/e1, corollary 13.12

History

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

University Ranking by Academic Performance 31BXVKR1YD

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

Mentions

wikipedia: Wikipedia University Ranking by Academic Performance, University Ranking by Academic Performance (definition). Also Wikidata Q6103393

History

2026-11-02: add by m2/dev

Symmetry 31BYDARV5B

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

Mentions

wikipedia: Wikipedia Order-5 hexagonal tiling honeycomb#JN59, Symmetry (statement)

History

2026-11-02: add by m2/dev

Mikhail Kadets 31C0ZT5HM4

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#V2MN, Mikhail Kadets (topic)

History

2026-11-02: add by m2/dev

31C5GTVCY1 31C5GTVCY1

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

Mentions

arxiv: arXiv 2610.20558#LJ7B (definition). In 46370P3Y9S/e1, definition 5.1

History

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

31CKFRXF8Y 31CKFRXF8Y

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

Mentions

hott_book: hott_book hits.tex#proof-13 (proof). In N54F33XE07, proof, section 5.5

History

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

electromotive force 31CS3F9WAH

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

Mentions

wikidata: Wikidata Q185329, electromotive force (definition). Also ProofWiki Definition:Electromotive_Force

History

2026-10-26: add by m2/dev

31CS7ST7G4 31CS7ST7G4

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

Mentions

arxiv: arXiv 2610.00856#BMPH (statement). In W6VHD4QBY4/e1, proposition 5.4

History

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

31CY3ZQAVE 31CY3ZQAVE

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

Mentions

arxiv: arXiv 2610.09522#1KCO (statement). In KKR9167FPT/e1, lemma 11

History

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

Applications 31CYD2FA8F

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

Mentions

wikipedia: Wikipedia Minkowski distance#5F4Q, Applications (example)

History

2026-11-02: add by m2/dev

Algorithms 31D1MQNNGX

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

Mentions

wikipedia: Wikipedia John von Neumann#DKZ9, Algorithms (definition)

History

2026-11-02: add by m2/dev

31D2B3N22K 31D2B3N22K

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

Mentions

applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-7 (exercise). In QKM9DD2H56, exercise, section 9

History

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

plus sign 31D2BDJ3ZK

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

Mentions

wikidata: Wikidata Q6265342, plus sign (unknown). Also MathWorld PlusSign

History

2026-10-26: add by m2/dev

Banach space 31D5QJ8SXN

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

Mentions

wikipedia: Wikipedia List of vector spaces in mathematics#04L0, Banach space (definition)

History

2026-11-02: add by m2/dev

31D5XGF7G9 31D5XGF7G9

URI	`m2://inv/31D5XGF7G9`
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.31276#N4ZU (statement). In WYDHWYFRFK/e1, corollary 3.5

History

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

Literary device 31D7GVF0PH

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

Mentions

wikipedia: Wikipedia Literary device, Literary device (definition). Also Wikidata Q182545

History

2026-11-02: add by m2/dev

Intersection of a polyhedron with a line 31DBH51SYM

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

Mentions

wikipedia: Wikipedia Intersection of a polyhedron with a line, Intersection of a polyhedron with a line (definition). Also Wikidata Q6056725

History

2026-11-02: add by m2/dev

31DDSNXNXZ 31DDSNXNXZ

URI	`m2://inv/31DDSNXNXZ`
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.28808#CQXH (statement)

History

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

Kelmans–Seymour conjecture 31DF1V2E4S

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

Mentions

wikipedia: Wikipedia Kelmans–Seymour conjecture, Kelmans–Seymour conjecture (statement). Also Wikidata Q24687039

History

2026-11-02: add by m2/dev

31DF5MQJYM 31DF5MQJYM

URI	`m2://inv/31DF5MQJYM`
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.35467#57LU (statement). In FK89DQ9J4S/e1, proposition 3.6

History

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

Generalized Jacobian 31DTA3AASX

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

Mentions

wikipedia: Wikipedia Generalized Jacobian, Generalized Jacobian (definition). Also Wikidata Q3027709

History

2026-11-02: add by m2/dev

normal ring 31DV8MG29B

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

Mentions

wikidata: Wikidata Q93353768, normal ring (unknown). Also EoM Normal_ring

History

2026-10-26: add by m2/dev

Paris–Harrington theorem 31DVT6FFD2

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

Mentions

wikipedia: Wikipedia Paris–Harrington theorem#GWNR, Paris–Harrington theorem (statement)

History

2026-11-02: add by m2/dev

Fundamental theorem of random fields 31DYQWWFZF

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

Mentions

wikipedia: Wikipedia List of theorems called fundamental#O4IA, Fundamental theorem of random fields (statement)

History

2026-11-02: add by m2/dev

Zvi Arad 31E5RNRHAW

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#L7UM, Zvi Arad (topic)

History

2026-11-02: add by m2/dev

Comparison between strong and weak solutions 31EF54ZPM2

URI	`m2://inv/31EF54ZPM2`
Kind	statement
Layer	research
MSC	35-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.20998#NV90, Comparison between strong and weak solutions (statement)

History

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

31ENX1PHRX 31ENX1PHRX

URI	`m2://inv/31ENX1PHRX`
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.07099#41WI (statement). In 9GNAHRCYFT/e1, lemma 2.3

History

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

31ESSEV4DE 31ESSEV4DE

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

Mentions

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

History

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

Derivation of partition function 31EX5AMKN5

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

Mentions

wikipedia: Wikipedia Partition function (statistical mechanics)#E3QY, Derivation of partition function (unknown)

History

2026-11-02: add by m2/dev

31FB09D30A 31FB09D30A

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

Mentions

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

History

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

31FBPGVYNK 31FBPGVYNK

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

Mentions

arxiv: arXiv 2609.21274#AWQ9 (statement)

History

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

Example 31FDWQ2MZ7

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

Mentions

wikipedia: Wikipedia Spearman's rank correlation coefficient#9BCT, Example (example)

History

2026-11-02: add by m2/dev

31FY29YJRG 31FY29YJRG

URI	`m2://inv/31FY29YJRG`
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.13214#6WXH (statement). In 4GRNWWH88J/e1, lemma 5.5

History

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

Concentration on the maximizers 31FYQ5SDK2

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

Mentions

arxiv: arXiv 2609.37479#7W04, Concentration on the maximizers (statement). In P3RTT99C41/e1, lemma 4.5

History

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

Joel Shapiro 31G0YBW54A

URI	`m2://inv/31G0YBW54A`
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 Q63193620, Joel Shapiro (unknown). Also nLab Joel Shapiro

History

2026-10-26: add by m2/dev

31GBZHWFYR 31GBZHWFYR

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

Mentions

arxiv: arXiv 2610.20421#8ZHM (statement). In Q4R7J8JE3F/e1, proposition 5.1

History

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

31GEAQFV30 31GEAQFV30

URI	`m2://inv/31GEAQFV30`
Kind	statement
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#SNGQ (statement). In 9DQKY7KGE8/e1, proposition 4.22

History

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

31GECK18JG 31GECK18JG

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

Mentions

arxiv: arXiv 2610.21960#3KF0 (statement). In QX77AN49J0/e1, proposition 2.8

History

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

Leonhard Euler 31GERYDBB0

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#CDTI, Leonhard Euler (topic)

History

2026-11-02: add by m2/dev

Steiner triple system 31GEVJE8HT

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

Mentions

wikipedia: Wikipedia Steiner system#MF9Y, Steiner triple system (unknown)

History

2026-11-02: add by m2/dev

31GN1DHBH3 31GN1DHBH3

URI	`m2://inv/31GN1DHBH3`
Kind	statement
Layer	research
MSC	19-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.40028#TZH7 (statement). In N8TDKGGC7S/e1, corollary 5.5

History

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

Balancing preserves the characteristic polynomial 31GTR4W2N3

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

Mentions

arxiv: arXiv 2609.31768#9650, Balancing preserves the characteristic polynomial (statement). In WC7ZECEE3P/e1, proposition 2.1

History

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

Divide and conquer algorithm for matrix multiplication 31H5MF7C7H

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

Mentions

wikipedia: Wikipedia Matrix multiplication algorithm#IUC6, Divide and conquer algorithm for matrix multiplication (unknown)

History

2026-11-02: add by m2/dev

Jadad scale 31H6NSRE45

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

Mentions

wikipedia: Wikipedia List of statistics articles#OXA3, Jadad scale (definition)

History

2026-11-02: add by m2/dev

characteristic equation 31HJG0SADC

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

Mentions

austin_ula: austin_ula index/4.2.2/characteristic-equation, characteristic equation (concept). In 649HGZKE96, index, section 4.2.2

History

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

Complex projective space 31HTC410B8

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#ZSTL, Complex projective space (definition)
wikipedia: Wikipedia List of algebraic geometry topics#ZZSG, Complex projective space (definition)

History

2026-11-02: add by m2/dev

31HZEGD4TR 31HZEGD4TR

URI	`m2://inv/31HZEGD4TR`
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#I7OP (statement)

History

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

31J1M854CW 31J1M854CW

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

Mentions

arxiv: arXiv 2610.06707#IJXI (statement). In 9TR5E527P5/e1, lemma 5.11

History

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

Miquel configuration 31J3TDS0T7

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

Mentions

wikidata: Wikidata Q104859763, Miquel configuration (unknown). Also MathWorld MiquelConfiguration
wikipedia: Wikipedia Miquel configuration, Miquel configuration (definition). Also Wikidata Q104859763

History

2026-10-26: add by m2/dev

Gromov-Hausdorff convergence of the GGDPC dendrogram 31J7ZVB9YQ

URI	`m2://inv/31J7ZVB9YQ`
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.01050#FFGF, Gromov-Hausdorff convergence of the GGDPC dendrogram (statement). In 48NN33SAH7/e1, theorem 5.3

History

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

31JA91971W 31JA91971W

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

Mentions

arxiv: arXiv 2610.00135#QP7O (statement). In PXWXV92SJY/e1, corollary 4.2

History

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

Schwartz kernel theorem 31JE7RKG5Z

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

Mentions

wikipedia: Wikipedia Spaces of test functions and distributions#BBA0, Schwartz kernel theorem (statement)

History

2026-11-02: add by m2/dev

Henning Samtleben 31JF8S6MS9

URI	`m2://inv/31JF8S6MS9`
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 Q54323638, Henning Samtleben (unknown). Also nLab Henning Samtleben

History

2026-10-26: add by m2/dev

Talitha Washington 31JHT544D3

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

Mentions

wikipedia: Wikipedia Talitha Washington, Talitha Washington (topic). Also Wikidata Q12897605

History

2026-11-02: add by m2/dev

Saturated chain 31JKXNAVY5

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

Mentions

wikipedia: Wikipedia Glossary of order theory#VRQ0, Saturated chain (unknown)

History

2026-11-02: add by m2/dev

monoidal category 31JRVYER1H

URI	`m2://inv/31JRVYER1H`
Kind	definition
Layer	textbook
Sources	3
Outcome	open
Node	Monoidal category M3MSQ3NKAE

Mentions

mathlib_overview: mathlib_overview General algebra > Category theory > monoidal category, monoidal category (unknown). Also Mathlib CategoryTheory.MonoidalCategory
wikidata: Wikidata Q1945014, monoidal category (unknown). Also Mathlib CategoryTheory.MonoidalCategory, MathWorld TensorCategory, nLab monoidal category
wikipedia: Wikipedia Monoidal category, Monoidal category (definition). Also Wikidata Q1945014

History

2026-10-26: add by m2/dev

31JXNNQAPH 31JXNNQAPH

URI	`m2://inv/31JXNNQAPH`
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.11047#YX2P (statement). In MNQAZ70XTH/e1, corollary 3.10

History

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

Nonvanishing after forgetting the orientation 31K0WRFR19

URI	`m2://inv/31K0WRFR19`
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.26196#E01W, Nonvanishing after forgetting the orientation (statement)

History

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

Inertia 31K4DQJ70H

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

Mentions

wikipedia: Wikipedia List of mathematical topics in classical mechanics#VTKC, Inertia (unknown)

History

2026-11-02: add by m2/dev

cut 31KBNXG3D1

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

Mentions

wikidata: Wikidata Q1626444, cut (unknown). Also MathWorld Cut
wikipedia: Wikipedia Cut (graph theory), Cut (definition). Also Wikidata Q1626444

History

2026-10-26: add by m2/dev

31KS1MB714 31KS1MB714

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

Mentions

arxiv: arXiv 2210.17066#47OC (definition). In X2AEJAQEP8/e1, definition 2.3

History

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

Unknotting problem 31M5V11BTH

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

Mentions

wikipedia: Wikipedia Unknotting problem, Unknotting problem (conjecture). Also Wikidata Q7896950

History

2026-11-02: add by m2/dev

Perfect completeness 31MD8Q6R7A

URI	`m2://inv/31MD8Q6R7A`
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.26258#KYIM, Perfect completeness (statement)

History

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

31MFSY9A4C 31MFSY9A4C

URI	`m2://inv/31MFSY9A4C`
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.00292#08YD (statement). In NX3EFW0D0X/e1, corollary 5.7

History

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

Coarsened minimum-distance estimation 31MJFE0NFZ

URI	`m2://inv/31MJFE0NFZ`
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.07190#HQ6U, Coarsened minimum-distance estimation (statement). In ZWS6Q4467X/e1, lemma 2.2

History

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

Concomitant variation 31MS2JES8W

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

Mentions

wikipedia: Wikipedia Mill's methods#LLKR, Concomitant variation (unknown)

History

2026-11-02: add by m2/dev

Ginzburg–Landau equation 31MY9HSX8F

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

Mentions

wikipedia: Wikipedia Ginzburg–Landau equation, Ginzburg–Landau equation (definition). Also Wikidata Q119285744

History

2026-11-02: add by m2/dev

Lucia Caporaso 31N6JYDWDN

URI	`m2://inv/31N6JYDWDN`
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#6TDV, Lucia Caporaso (topic)

History

2026-11-02: add by m2/dev

HAS-160 31NAJFDTKN

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#ZYRU, HAS-160 (definition)

History

2026-11-02: add by m2/dev

Rosemary Roberts 31NGQ97MQN

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#CTSY, Rosemary Roberts (topic)

History

2026-11-02: add by m2/dev

American Mathematics Contest 31NMJAH9Z0

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#MLF1, American Mathematics Contest (definition)

History

2026-11-02: add by m2/dev

Properties 31NN6RVR9M

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

Mentions

wikipedia: Wikipedia Superprocess#D2TN, Properties (statement)

History

2026-11-02: add by m2/dev

31NNFSA3N0 31NNFSA3N0

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#defn-1 (definition). In E59CDZA4DP, defn, section 8.1.1

History

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

BGC 31NYTN3XF5

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

Mentions

wikipedia: Wikipedia Glossary of set theory#EYOS, BGC (definition)

History

2026-11-02: add by m2/dev

Theorem 31PETY179G

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

Mentions

wikipedia: Wikipedia Beauville–Laszlo theorem#T2V6, Theorem (statement)

History

2026-11-02: add by m2/dev

M. Riesz extension theorem 31PKY8KCHY

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

Mentions

mathlib_1000: mathlib_1000 Q3527217, M. Riesz extension theorem (statement). Also Mathlib riesz_extension, Wikidata Q3527217
thousand_plus: thousand_plus Q3527217, M. Riesz extension theorem (statement). Also Mathlib riesz_extension, Wikidata Q3527217, Wikipedia M. Riesz extension theorem
wikipedia: Wikipedia M. Riesz extension theorem, M. Riesz extension theorem (statement). Also Wikidata Q3527217

History

2026-10-26: add by m2/dev

31PMY0K9CK 31PMY0K9CK

URI	`m2://inv/31PMY0K9CK`
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.31858#R693 (definition). In QV16PHDXKJ/e1, definition 4.4

History

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

Preconditioned gradient descent 31PR6RZRPC

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

Mentions

wikipedia: Wikipedia Preconditioner#UMJ2, Preconditioned gradient descent (unknown)

History

2026-11-02: add by m2/dev

31PSVRPVFY 31PSVRPVFY

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

Mentions

arxiv: arXiv 2609.27301#RTIO (definition)

History

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

31Q8TJ0SRH 31Q8TJ0SRH

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

Mentions

arxiv: arXiv 2610.12908#1HXN (definition). In TNC658NVMQ/e1, definition 4.1

History

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

Grigorii Fikhtengol'ts 31Q8ZVQ2FS

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

Mentions

wikipedia: Wikipedia Grigorii Fikhtengol'ts, Grigorii Fikhtengol'ts (topic). Also Wikidata Q1235148

History

2026-11-02: add by m2/dev

Adkins, Dorothy 31Q9HE3ZCK

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

Mentions

wikipedia: Wikipedia List of statisticians#IH20, Adkins, Dorothy (topic)

History

2026-11-02: add by m2/dev

31QBXTGY19 31QBXTGY19

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

Mentions

arxiv: arXiv 2609.27301#UMKF (definition)

History

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

Stably free module 31QJ43W03E

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

Mentions

wikipedia: Wikipedia Stably free module, Stably free module (definition). Also Wikidata Q7595791

History

2026-11-02: add by m2/dev

Extension 31QN9MBPSG

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

Mentions

wikipedia: Wikipedia Interior extremum theorem#4NQG, Extension (statement)

History

2026-11-02: add by m2/dev

31QV8B4X8Z 31QV8B4X8Z

URI	`m2://inv/31QV8B4X8Z`
Kind	definition
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 2204.01073#QUGA (definition). In W4TYN4PGE8/e1, definition 2.10

History

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

Law of small numbers bias 31R1A7BNBB

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

Mentions

wikipedia: Wikipedia Gambling mathematics#MVZ6, Law of small numbers bias (statement)

History

2026-11-02: add by m2/dev

Generalized forces 31R3KNAQHV

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

Mentions

wikipedia: Wikipedia Generalized forces, Generalized forces (definition). Also Wikidata Q1153787

History

2026-11-02: add by m2/dev

31RB5XMN96 31RB5XMN96

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

Mentions

arxiv: arXiv 2610.19437#RN1V (statement). In 9PXXGQ978Z/e1, proposition 6.3

History

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

Gauss's law 31RC0K46KM

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

Mentions

wikipedia: Wikipedia Gauss's law, Gauss's law (statement). Also Wikidata Q173356

History

2026-11-02: add by m2/dev

Finite element method in structural mechanics 31RPJ13EJK

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

Mentions

wikipedia: Wikipedia Finite element method in structural mechanics, Finite element method in structural mechanics (definition). Also Wikidata Q5450397

History

2026-11-02: add by m2/dev

31RRT632N2 31RRT632N2

URI	`m2://inv/31RRT632N2`
Kind	example
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 2610.04046#GEC2 (example). In 3THDT8WNF7/e1, example 6

History

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

Kneser's theorem 31RX8B49GY

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

Mentions

mathlib_1000: mathlib_1000 Q6421981, Kneser's theorem (statement). Also Wikidata Q6421981
thousand_plus: thousand_plus Q6421981, Kneser's theorem (statement). Also Wikidata Q6421981, Wikipedia Kneser's theorem (differential equations)
wikipedia: Wikipedia Kneser's theorem (differential equations), Kneser's theorem (statement). Also Wikidata Q6421981

History

2026-10-26: add by m2/dev

3600 Archimedes 31S0C755C0

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

Mentions

wikipedia: Wikipedia List of things named after Archimedes#KL6R, 3600 Archimedes (unknown)

History

2026-11-02: add by m2/dev

31S7VX0EC5 31S7VX0EC5

URI	`m2://inv/31S7VX0EC5`
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.19093#3JG5 (statement). In S2K79KESZ4/e1, fact 5.1

History

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

Gromov-Hausdorff space 31SB2YGDEF

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

Mentions

mathlib_overview: mathlib_overview Topology > Metric spaces > Gromov-Hausdorff space, Gromov-Hausdorff space (unknown). Also Mathlib GromovHausdorff.GHSpace

History

2026-10-26: add by m2/dev

Definition 31SCP2DGBB

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

Mentions

wikipedia: Wikipedia Bilateral hypergeometric series#R9FJ, Definition (definition)

History

2026-11-02: add by m2/dev

31SD4FFNFH 31SD4FFNFH

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

Mentions

arxiv: arXiv 2609.27360#9P8X (definition)

History

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

31SHP19NGZ 31SHP19NGZ

URI	`m2://inv/31SHP19NGZ`
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 2212.11038#44II (statement). In M3E3ARMJXK/e1, lemma 6.2

History

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

Applications 31SHT8YGRT

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

Mentions

wikipedia: Wikipedia Coalescent theory#FG92, Applications (example)

History

2026-11-02: add by m2/dev

Hedge's g 31SN07QNBG

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

Mentions

wikipedia: Wikipedia Effect size#A7WI, Hedge's g (unknown)

History

2026-11-02: add by m2/dev

Logical extreme 31SZEBAE2T

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

Mentions

wikipedia: Wikipedia Logical extreme, Logical extreme (definition). Also Wikidata Q6667491

History

2026-11-02: add by m2/dev

Factorization lemma 31SZMPFTDP

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

Mentions

wikipedia: Wikipedia Ken Brown's lemma#IRRK, Factorization lemma (statement)

History

2026-11-02: add by m2/dev

31T0B6Q5S1 31T0B6Q5S1

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

Mentions

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

History

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

Erlang distribution 31T1W3RV4K

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

Mentions

wikipedia: Wikipedia List of statistics articles#LEC3, Erlang distribution (definition)

History

2026-11-02: add by m2/dev

31T6CJGMGY 31T6CJGMGY

URI	`m2://inv/31T6CJGMGY`
Kind	statement
Layer	research
MSC	16-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.34193#2CRF (statement). In 9XMZTTSF5E/e1, corollary B.3

History

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

Special cases 31TC3XW6S3

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

Mentions

wikipedia: Wikipedia Multivariate stable distribution#EOIJ, Special cases (statement)

History

2026-11-02: add by m2/dev

31TQD3RFN5 31TQD3RFN5

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

Mentions

arxiv: arXiv 2610.06868#PRLY (statement). In TV73V5E7JV/e1, lemma 2.1

History

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

31TWN79AHQ 31TWN79AHQ

URI	`m2://inv/31TWN79AHQ`
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.03298#WR20 (statement). In 9SBZP218SM/e1, proposition 11.1

History

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

31TZQJAA8P 31TZQJAA8P

URI	`m2://inv/31TZQJAA8P`
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 2610.03688#PSY8 (statement). In HMWJQY9NAP/e1, corollary 3.7

History

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

One-fill chordal ML-degree formula 31V2H178PS

URI	`m2://inv/31V2H178PS`
Kind	statement
Layer	research
MSC	05-XX, 14-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.19669#SGU3, One-fill chordal ML-degree formula (statement). In 1QPAA94Q76/e1, theorem 2

History

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

Existence of a consistent diagonal 31V3SGST63

URI	`m2://inv/31V3SGST63`
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.05457#07NN, Existence of a consistent diagonal (statement). In SV36P5P5Z3/e1, corollary 4.3

History

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

Uses 31V9N4N9JH

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

Mentions

wikipedia: Wikipedia Overline#ZJ71, Uses (example)

History

2026-11-02: add by m2/dev

Capillary radial function 31VBZ9WXQA

URI	`m2://inv/31VBZ9WXQA`
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 2506.09840#IWH9, Capillary radial function (definition). In Y7TWHSF2HC/e1, definition 2.5

History

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

Analysis and gain regularity 31VDT93TYT

URI	`m2://inv/31VDT93TYT`
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#0Y0J, Analysis and gain regularity (statement)

History

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

31VET07Y83 31VET07Y83

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

Mentions

arxiv: arXiv 2610.11336#R318 (statement). In X1R1GDAJ0Y/e1, corollary 2.5

History

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

31VFM24NSR 31VFM24NSR

URI	`m2://inv/31VFM24NSR`
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.32599#8K2Q (statement). In E1Y93JNBJA/e1, proposition 1.24

History

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

Topological order 31VR56XFTV

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

Mentions

wikipedia: Wikipedia List of topology topics#3YQP, Topological order (definition)

History

2026-11-02: add by m2/dev

Ioanid Rosu 31VWADHE3E

URI	`m2://inv/31VWADHE3E`
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 Q18547559, Ioanid Rosu (unknown). Also nLab Ioanid Rosu

History

2026-10-26: add by m2/dev

Definition 31W4VP5Y9N

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

Mentions

wikipedia: Wikipedia Residue field#XV77, Definition (definition)

History

2026-11-02: add by m2/dev

Fuzzy category 31W8QC7435

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

Mentions

wikipedia: Wikipedia Fuzzy set#W094, Fuzzy category (unknown)

History

2026-11-02: add by m2/dev

31WGY9A169 31WGY9A169

URI	`m2://inv/31WGY9A169`
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.07292#5OCY (statement). In PZ17NHGAKX/e1, corollary 2

History

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

31WHTY8333 31WHTY8333

URI	`m2://inv/31WHTY8333`
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.21976#5C5M (statement)

History

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

Examples 31WJWS0D9X

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

Mentions

wikipedia: Wikipedia Dimension of a scheme#K7TI, Examples (example)

History

2026-11-02: add by m2/dev

31WW6F2M1F 31WW6F2M1F

URI	`m2://inv/31WW6F2M1F`
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.40282#SZ2B (statement). In P86RWY99S2/e1, corollary 3.2.2

History

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

George Stigler 31WYEB09KB

URI	`m2://inv/31WYEB09KB`
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#8BT2, George Stigler (unknown)

History

2026-11-02: add by m2/dev

Traité des Sinus du Quart de Cercle 31X6M1JC0X

URI	`m2://inv/31X6M1JC0X`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q109046083, Traité des Sinus du Quart de Cercle (unknown). Also ProofWiki Book:Blaise_Pascal/Traité_des_Sinus_du_Quart_de_Cercle

History

2026-10-26: add by m2/dev

Paul McCrossan 31X7TD4XWQ

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

Mentions

wikipedia: Wikipedia List of actuaries#POKT, Paul McCrossan (unknown)

History

2026-11-02: add by m2/dev

Definition 31XT8A0FKM

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

Mentions

wikipedia: Wikipedia Voronoi pole#L30B, Definition (definition)

History

2026-11-02: add by m2/dev

Bott periodicity theorem 31XZN3W9CQ

URI	`m2://inv/31XZN3W9CQ`
Kind	statement
Layer	textbook
MSC	14-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q4948983, Bott periodicity theorem (statement). Also Wikidata Q4948983
thousand_plus: thousand_plus Q4948983, Bott periodicity theorem (statement). Also Wikidata Q4948983, Wikipedia Bott periodicity theorem
wikidata: Wikidata Q4948983, Bott periodicity theorem (statement). Also EoM Bott_periodicity_theorem, MathWorld BottPeriodicityTheorem, nLab Bott periodicity
wikipedia: Wikipedia Bott periodicity theorem, Bott periodicity theorem (statement). Also Wikidata Q4948983

History

2026-10-26: add by m2/dev

Francis Bach 31Y0PRPEW3

URI	`m2://inv/31Y0PRPEW3`
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#SBV7, Francis Bach (unknown)

History

2026-11-02: add by m2/dev

Well-posedness 31YDW45GC0

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

Mentions

arxiv: arXiv 2610.14988#Z6XV, Well-posedness (statement). In B29M4E6KGC/e1, proposition J.2

History

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

Irrational rotation 31YMJMWND7

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

Mentions

wikipedia: Wikipedia Irrational rotation, Irrational rotation (object). Also Wikidata Q6073537

History

2026-11-02: add by m2/dev

Exact filling 31YPHDA7S8

URI	`m2://inv/31YPHDA7S8`
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.18017#NFZP, Exact filling (statement). In EBSQEQYECS/e1, corollary 1

History

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

Ambit fields 31YQB3KFXV

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

Mentions

arxiv: arXiv 2609.31102#X22Q, Ambit fields (example). In 7CADATJMAA/e1, example 3.2

History

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

31YT1WEYRS 31YT1WEYRS

URI	`m2://inv/31YT1WEYRS`
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.08658#Q7KE (statement). In 7PK5WS7246/e1, proposition 2.2

History

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

31YXBWSRRH 31YXBWSRRH

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

Mentions

arxiv: arXiv 2609.35030#BDBM (statement). In DPT4P2BTEW/e1, proposition 3.5

History

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

Conway polynomial (finite fields) 31Z4C25438

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

Mentions

wikipedia: Wikipedia List of things named after John Horton Conway#QHG5, Conway polynomial (finite fields) (definition)

History

2026-11-02: add by m2/dev

Bounded displacement criterion 31ZAJ1PSG3

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

Mentions

arxiv: arXiv 2609.37704#ZDTI, Bounded displacement criterion (statement). In HGTFJ325A4/e1, theorem 5.2

History

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

31ZEZPXFK6 31ZEZPXFK6

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

Mentions

arxiv: arXiv 2610.22161#DJ8B (definition). In FVM35KPN8C/e1, definition 5.3

History

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

Definition 31ZJQ6P4TD

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

Mentions

wikipedia: Wikipedia Copula (statistics)#ZZEC, Definition (definition)

History

2026-11-02: add by m2/dev

range 31ZJZHF9EN

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

Mentions

wikipedia: Wikipedia Glossary of logic#526Q, range (definition)

History

2026-11-02: add by m2/dev

Computational chemistry 31ZR8KVYFC

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#75J6, Computational chemistry (unknown)

History

2026-11-02: add by m2/dev

Plane curve 31ZSG5XTVF

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

Mentions

wikipedia: Wikipedia List of curves topics#5L4Q, Plane curve (definition)

History

2026-11-02: add by m2/dev

An example of a Justesen code 31ZYE1APBZ

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

Mentions

wikipedia: Wikipedia Justesen code#ICWW, An example of a Justesen code (example)

History

2026-11-02: add by m2/dev