Inventory rows YX

YX07AASKHR YX07AASKHR

URI	`m2://inv/YX07AASKHR`
Kind	statement
Layer	research
MSC	17-XX, 20-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.09333#G63M (statement). In Z9HC1EDTQP/e1, theorem 4.5

History

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

The duality theorem YX0DTAHY2N

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

Mentions

wikipedia: Wikipedia Stone duality#2LPS, The duality theorem (statement)

History

2026-11-02: add by m2/dev

YX0EV0YFQ6 YX0EV0YFQ6

URI	`m2://inv/YX0EV0YFQ6`
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.03264#OBTA (statement). In 5TXRSPPTHP/e1, theorem 4

History

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

Dynamic Programming Principle YX0HG9D635

URI	`m2://inv/YX0HG9D635`
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.35466#V5ZA, Dynamic Programming Principle (statement). In MVR35ZJPCC/e1, theorem 4

History

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

YX0JH6V41E YX0JH6V41E

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#prop-7 (statement). In E59CDZA4DP, prop, section 1.8.1

History

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

YX0T78V7B2 YX0T78V7B2

URI	`m2://inv/YX0T78V7B2`
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.26813#14X8 (statement)

History

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

Guy Henniart YX0WA65FKG

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

Mentions

wikipedia: Wikipedia Guy Henniart, Guy Henniart (topic). Also Wikidata Q730373

History

2026-11-02: add by m2/dev

Leibniz Institute for Solid State and Materials Research YX100APFZZ

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

Mentions

wikipedia: Wikipedia List of things named after Gottfried Leibniz#E6PG, Leibniz Institute for Solid State and Materials Research (unknown)

History

2026-11-02: add by m2/dev

Linear Smoother YX10T808Z0

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

Mentions

arxiv: arXiv 2610.10167#XWUE, Linear Smoother (definition). In SVMDSE7PKG/e1, definition 1

History

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

affine YX1106GYX3

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#RXAQ, affine (definition)

History

2026-11-02: add by m2/dev

YX125Y013K YX125Y013K

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

Mentions

arxiv: arXiv 2610.12116#W041 (statement). In WB3F0S794F/e1, corollary 3.1

History

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

YX155AD22B YX155AD22B

URI	`m2://inv/YX155AD22B`
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.01433#7SR2 (statement). In 160PQ7F1AS/e1, proposition 4.1

History

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

Omnipotence does not mean breaking the laws of logic YX181G8CYH

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

Mentions

wikipedia: Wikipedia Omnipotence paradox#ZFHC, Omnipotence does not mean breaking the laws of logic (statement)

History

2026-11-02: add by m2/dev

Definition YX1FCRXW9W

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

Mentions

wikipedia: Wikipedia Residuated Boolean algebra#G2IP, Definition (definition)

History

2026-11-02: add by m2/dev

YX1GE2XGXG YX1GE2XGXG

URI	`m2://inv/YX1GE2XGXG`
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 2212.05398#CIMT (statement). In WQKQ8438M7/e1, lemma 6.3

History

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

Quantitative crossing transfer YX1J5TH8AF

URI	`m2://inv/YX1J5TH8AF`
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.33472#TBQC, Quantitative crossing transfer (statement). In WBQQBZ4FCJ/e1, theorem 8.2

History

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

Reinhold Baer YX1JFWDMG9

URI	`m2://inv/YX1JFWDMG9`
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 Q78085, Reinhold Baer (unknown). Also nLab Reinhold Baer
wikipedia: Wikipedia Reinhold Baer, Reinhold Baer (topic). Also Wikidata Q78085

History

2026-10-26: add by m2/dev

Michelle Manes YX1P4YNZZZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#NV35, Michelle Manes (topic)

History

2026-11-02: add by m2/dev

YX1X5YWMGH YX1X5YWMGH

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

Mentions

arxiv: arXiv 2609.26019#V0A1 (statement)

History

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

Hodge theory YX1Z5SX7KS

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#HW2K, Hodge theory (definition)
wikipedia: Wikipedia List of differential geometry topics#OOGU, Hodge theory (definition)
wikipedia: Wikipedia List of algebraic geometry topics#VRRC, Hodge theory (definition)
wikipedia: Wikipedia List of things named after W. V. D. Hodge#O4H7, Hodge theory (definition)

History

2026-11-02: add by m2/dev

YX1ZT0W5XQ YX1ZT0W5XQ

URI	`m2://inv/YX1ZT0W5XQ`
Kind	problem
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 2609.20516#EX33 (problem)

History

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

Definition YX22NHFDB3

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

Mentions

wikipedia: Wikipedia Isolating neighborhood#E5QX, Definition (definition)

History

2026-11-02: add by m2/dev

Lars Edvard Phragmén YX22P05WDK

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#URGZ, Lars Edvard Phragmén (topic)

History

2026-11-02: add by m2/dev

Allard's rectifiability theorem YX275ABRV2

URI	`m2://inv/YX275ABRV2`
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.24451#867C, Allard's rectifiability theorem (statement)

History

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

YX285YJNQ9 YX285YJNQ9

URI	`m2://inv/YX285YJNQ9`
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#H9AV (statement). In 793KXAR957/e1, corollary 4.2

History

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

YX2REY56JV YX2REY56JV

URI	`m2://inv/YX2REY56JV`
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.28501#CQGG (statement)

History

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

coordinate plane YX2TAB4TMY

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

Mentions

wikidata: Wikidata Q1783818, coordinate plane (unknown). Also MathWorld CoordinatePlane

History

2026-10-26: add by m2/dev

YX34BCSXYD YX34BCSXYD

URI	`m2://inv/YX34BCSXYD`
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 2206.05392#JRD0 (statement). In 58D1ZC82DW/e1, theorem 8

History

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

Anti-Life Equation YX3G34XEFZ

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

Mentions

wikipedia: Wikipedia Anti-Life Equation, Anti-Life Equation (definition). Also Wikidata Q3730810

History

2026-11-02: add by m2/dev

Formal definition YX45NBNAYH

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

Mentions

wikipedia: Wikipedia Burnside ring#BYFG, Formal definition (definition)

History

2026-11-02: add by m2/dev

YX4AVYTSJC YX4AVYTSJC

URI	`m2://inv/YX4AVYTSJC`
Kind	definition
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#N517 (definition). In ESDKTYDHC8/e1, definition 10

History

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

Faculty of Law YX4DH95CP2

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

Mentions

wikipedia: Wikipedia Tribhuvan University#K8V9, Faculty of Law (statement)

History

2026-11-02: add by m2/dev

Applications YX4E34W97P

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

Mentions

wikipedia: Wikipedia Binomial sum variance inequality#OJ0Y, Applications (example)

History

2026-11-02: add by m2/dev

YX4SPR3FXG YX4SPR3FXG

URI	`m2://inv/YX4SPR3FXG`
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 2608.23797#3Z97 (definition). In PZCA01JXVR/e1, definition 4.1

History

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

Generalizations YX4XKR7QC5

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

Mentions

wikipedia: Wikipedia Capacity of a set#G9DA, Generalizations (statement)

History

2026-11-02: add by m2/dev

YX4Y9K9X7Y YX4Y9K9X7Y

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

Mentions

arxiv: arXiv 2412.01742#AHQE (statement). In GYH7R98PPA/e1, theorem 4.1

History

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

YX4ZRM1V2S YX4ZRM1V2S

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

Mentions

arxiv: arXiv 2609.33421#SIDH (statement). In YMVA1SJ640/e1, lemma 5.1

History

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

Properties YX548DTHA1

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

Mentions

wikipedia: Wikipedia Cunningham number#YZNO, Properties (statement)

History

2026-11-02: add by m2/dev

Heinrich Suter YX54R1X514

URI	`m2://inv/YX54R1X514`
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#712N, Heinrich Suter (unknown)

History

2026-11-02: add by m2/dev

List of surfaces YX5HWRGGWG

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

Mentions

wikipedia: Wikipedia List of mathematical examples#MXKQ, List of surfaces (topic)
wikipedia: Wikipedia Lists of shapes#1YTT, List of surfaces (topic)
wikipedia: Wikipedia Lists of mathematics topics#YKOM, List of surfaces (topic)

History

2026-11-02: add by m2/dev

YX5NSWVZKV YX5NSWVZKV

URI	`m2://inv/YX5NSWVZKV`
Kind	statement
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#WIG0 (statement). In 332PQD90SW/e1, theorem 4.9

History

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

Strain energy density function YX5QAN9BKR

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

Mentions

wikipedia: Wikipedia Strain energy density function, Strain energy density function (definition). Also Wikidata Q17106073

History

2026-11-02: add by m2/dev

Formal statement YX5VWJP3BG

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

Mentions

wikipedia: Wikipedia Grimm's conjecture#YINZ, Formal statement (statement)

History

2026-11-02: add by m2/dev

YX5X3NYFWZ YX5X3NYFWZ

URI	`m2://inv/YX5X3NYFWZ`
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.19036#6T22 (statement). In 76GJ814P0A/e1, proposition 2.1

History

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

Achille Brocot YX63HTBGFP

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

Mentions

wikipedia: Wikipedia Achille Brocot, Achille Brocot (topic). Also Wikidata Q4673700

History

2026-11-02: add by m2/dev

YX641XNPFR YX641XNPFR

URI	`m2://inv/YX641XNPFR`
Kind	statement
Layer	research
MSC	35-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.07240#PJKG (statement). In D0F1GK5AHW/e1, theorem C.1

History

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

Baily–Borel compactification YX64DV94N0

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

Mentions

mathlib_1000: mathlib_1000 Q4848497, Baily–Borel theorem (statement). Also Wikidata Q4848497
thousand_plus: thousand_plus Q4848497, Baily–Borel theorem (statement). Also Wikidata Q4848497, Wikipedia Baily–Borel theorem
wikipedia: Wikipedia Baily–Borel compactification, Baily–Borel compactification (definition). Also Wikidata Q4848497

History

2026-10-26: add by m2/dev

YX6GKGQJ74 YX6GKGQJ74

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

Mentions

arxiv: arXiv 2610.09171#OFMF (statement). In 5ZPSZFE08Q/e1, corollary 4.6

History

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

Gamas's theorem YX6KFJDYAB

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

Mentions

mathlib_1000: mathlib_1000 Q112659261, Gamas's Theorem (statement). Also Wikidata Q112659261
thousand_plus: thousand_plus Q112659261, Gamas's Theorem (statement). Also Wikidata Q112659261, Wikipedia Gamas's Theorem
wikipedia: Wikipedia Gamas's theorem, Gamas's theorem (statement). Also Wikidata Q112659261

History

2026-10-26: add by m2/dev

decision rule YX6WVAYV8N

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#H39N, decision rule (definition)

History

2026-11-02: add by m2/dev

YX73EX3H8N YX73EX3H8N

URI	`m2://inv/YX73EX3H8N`
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.19837#AF1L (statement). In 837NSWQM1P/e1, proposition 8.1

History

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

Wishart distribution YX7AH9P6TT

URI	`m2://inv/YX7AH9P6TT`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Wishart distribution 8BEMNJW0B9

Mentions

wikidata: Wikidata Q1930697, Wishart distribution (concept). Also MathWorld WishartDistribution
wikipedia: Wikipedia Wishart distribution, Wishart distribution (definition). Also Wikidata Q1930697

History

2026-10-26: add by m2/dev

Four dyadic families YX7BNBSCKH

URI	`m2://inv/YX7BNBSCKH`
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.38993#8AEL, Four dyadic families (statement). In AFKQK866Y1/e1, theorem 3.8

History

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

YX7SA9YJN8 YX7SA9YJN8

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:hypervarsingularity (statement). In VNMV985MXX, thm, section 6.6

History

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

YX7WRQ321A YX7WRQ321A

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

Mentions

arxiv: arXiv 2610.14616#YO9X (statement). In 17ACAG0N9C/e1, theorem 5.8

History

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

fallacy of division YX84REMJKH

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

Mentions

wikipedia: Wikipedia Glossary of logic#E9AV, fallacy of division (definition)

History

2026-11-02: add by m2/dev

YX8572PMX5 YX8572PMX5

URI	`m2://inv/YX8572PMX5`
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.05486#26PW (statement). In 5Z46AK2XTC/e1, lemma C.2

History

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

Hotelling's lemma YX88JY4J81

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

Mentions

wikipedia: Wikipedia List of lemmas#YXR6, Hotelling's lemma (statement)

History

2026-11-02: add by m2/dev

Conservative bounds YX8NYN0ZK9

URI	`m2://inv/YX8NYN0ZK9`
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.32282#4FRR, Conservative bounds (statement). In MF7XEPN4GV/e1, corollary 2

History

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

Karp–Lipton theorem YX8PQRRSQ0

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

Mentions

mathlib_1000: mathlib_1000 Q6373327, Karp–Lipton theorem (statement). Also Wikidata Q6373327
thousand_plus: thousand_plus Q6373327, Karp–Lipton theorem (statement). Also Wikidata Q6373327, Wikipedia Karp–Lipton theorem
wikipedia: Wikipedia Karp–Lipton theorem, Karp–Lipton theorem (statement). Also Wikidata Q6373327

History

2026-10-26: add by m2/dev

Geometric realization of a simplicial set YX8RS0CPB7

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

Mentions

wikipedia: Wikipedia Simplicial set#CQEY, Geometric realization of a simplicial set (unknown)

History

2026-11-02: add by m2/dev

Finite-type radius comparison YX8X3YV5ZT

URI	`m2://inv/YX8X3YV5ZT`
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.20643#4L2N, Finite-type radius comparison (statement)

History

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

445 (number) YX8Y1V9VSV

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

Mentions

wikipedia: Wikipedia 400 (number)#69X5, 445 (number) (unknown)

History

2026-11-02: add by m2/dev

Hadwiger conjecture (combinatorial geometry) YX8YMHCXQT

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

Mentions

wikipedia: Wikipedia List of convexity topics#Z81D, Hadwiger conjecture (combinatorial geometry) (conjecture)

History

2026-11-02: add by m2/dev

Beurling YX91H34HS1

URI	`m2://inv/YX91H34HS1`
Kind	statement
Layer	research
MSC	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 2609.24307#1U1H, Beurling (statement)

History

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

Mesh generation YX9A5AHQQD

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

Mentions

wikipedia: Wikipedia Mesh generation, Mesh generation (definition). Also Wikidata Q4418033

History

2026-11-02: add by m2/dev

YX9BDV19K2 YX9BDV19K2

URI	`m2://inv/YX9BDV19K2`
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.13241#SEDA (statement). In DWQWQ5KTEE/e1, lemma 18

History

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

the subgroup formula at $j=1$ YX9BW9MVY6

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

Mentions

arxiv: arXiv 2610.09298#HTX5, the subgroup formula at $j=1$ (problem). In 1SPQ4J3AWY/e1, problem 9.2

History

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

GLIM (software) YX9FRHMEEG

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZVFU, GLIM (software) (definition)

History

2026-11-02: add by m2/dev

YX9HN0QPS0 YX9HN0QPS0

URI	`m2://inv/YX9HN0QPS0`
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.15489#EG99 (statement). In 5BCTP0B6Q1/e1, theorem 1

History

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

YX9HNDZ1SR YX9HNDZ1SR

URI	`m2://inv/YX9HNDZ1SR`
Kind	conjecture
Layer	research
MSC	05-XX, 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.16605#E7YY (conjecture). In KZ175036B5/e1, conjecture Brown–Graham–Landman

History

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

Examples YXA1A7PCB7

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

Mentions

wikipedia: Wikipedia Gaussian integer#NTWD, Examples (example)

History

2026-11-02: add by m2/dev

YXA36HCDK6 YXA36HCDK6

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

Mentions

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

History

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

Convergence of MBO YXA7QQH26M

URI	`m2://inv/YXA7QQH26M`
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.37803#UM19, Convergence of MBO (statement). In 2RN6YVQD0Z/e1, lemma 3

History

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

Maschke's theorem YXAA76R9XZ

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

Mentions

wikipedia: Wikipedia Maschke's theorem#9NHE, Maschke's theorem (statement)

History

2026-11-02: add by m2/dev

YXAB35N0TW YXAB35N0TW

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

Mentions

arxiv: arXiv 2609.21043#TWOP (statement)

History

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

Navajo code talkers YXAFZJ4HR8

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

Mentions

wikipedia: Wikipedia Code talker#LVQU, Navajo code talkers (unknown)

History

2026-11-02: add by m2/dev

YXAHS5P694 YXAHS5P694

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

Mentions

arxiv: arXiv 2610.13213#B61S (definition). In V97F4YZ8B0/e1, definition 5.2

History

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

YXAJ2XP0YN YXAJ2XP0YN

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

Mentions

arxiv: arXiv 2609.23469#YG36 (statement)

History

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

Prüfer rank YXASGKAGX6

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

Mentions

wikipedia: Wikipedia Prüfer rank, Prüfer rank (definition). Also Wikidata Q7253849

History

2026-11-02: add by m2/dev

catastrophe theory YXATZVCNCS

URI	`m2://inv/YXATZVCNCS`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Catastrophe theory 6FKJ6SXP3G

Mentions

wikidata: Wikidata Q1345659, catastrophe theory (topic). Also MathWorld CatastropheTheory, ProofWiki Definition:Catastrophe_Theory
wikipedia: Wikipedia Catastrophe theory, Catastrophe theory (topic). Also Wikidata Q1345659

History

2026-10-26: add by m2/dev

Conditional small-ball estimate YXAY839F8G

URI	`m2://inv/YXAY839F8G`
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.28198#6ET5, Conditional small-ball estimate (statement)

History

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

YXAYFDP1C3 YXAYFDP1C3

URI	`m2://inv/YXAYFDP1C3`
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#QS4M (statement). In A8Y7B1MD91/e1, lemma 2.12

History

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

Definition YXB1FB05D7

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

Mentions

wikipedia: Wikipedia Kervaire invariant#FK2S, Definition (definition)

History

2026-11-02: add by m2/dev

Extension: Ginibre inequality YXBBSQ9M77

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

Mentions

wikipedia: Wikipedia Griffiths inequality#KDIK, Extension: Ginibre inequality (statement)

History

2026-11-02: add by m2/dev

Definitions YXBGEYZR39

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

Mentions

wikipedia: Wikipedia Constitutive equation#VPAJ, Definitions (definition)

History

2026-11-02: add by m2/dev

YXBKJPZGHG YXBKJPZGHG

URI	`m2://inv/YXBKJPZGHG`
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.04844#HJD3 (statement). In 5MX3N62ENP/e1, corollary 14

History

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

YXBPZNM0JR YXBPZNM0JR

URI	`m2://inv/YXBPZNM0JR`
Kind	example
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.05216#MW9A (example). In J1VCHM6V0S/e1, example 2.2

History

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

Australian Mathematical Sciences Institute YXBRES10W8

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

Mentions

wikipedia: Wikipedia Australian Mathematical Sciences Institute, Australian Mathematical Sciences Institute (definition). Also Wikidata Q4056098

History

2026-11-02: add by m2/dev

YXBSTCA1JW YXBSTCA1JW

URI	`m2://inv/YXBSTCA1JW`
Kind	statement
Layer	research
MSC	05-XX, 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.05179#CZ8V (statement). In 9EMCPF1F2T/e1, proposition 17

History

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

First-in-man study YXC0KXEQ87

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

Mentions

wikipedia: Wikipedia List of statistics articles#J977, First-in-man study (definition)

History

2026-11-02: add by m2/dev

Genetic method YXC4XF14YX

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

Mentions

wikipedia: Wikipedia Genetic method, Genetic method (definition). Also Wikidata Q3333660

History

2026-11-02: add by m2/dev

Session-based recommender system YXC6HE5MXY

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

Mentions

wikipedia: Wikipedia Recommender system#SJUH, Session-based recommender system (unknown)

History

2026-11-02: add by m2/dev

Theorem YXC6K3WD0R

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

Mentions

wikipedia: Wikipedia Arrow–Debreu model#BTVP, Theorem (statement)

History

2026-11-02: add by m2/dev

YXCC2JKEA3 YXCC2JKEA3

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

Mentions

arxiv: arXiv 2609.21403#KXZV (definition)

History

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

YXCGH9Y5N5 YXCGH9Y5N5

URI	`m2://inv/YXCGH9Y5N5`
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.26713#4V74 (statement)

History

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

algorithm YXD0PBV0B7

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

Mentions

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

History

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

YXD0Z128AC YXD0Z128AC

URI	`m2://inv/YXD0Z128AC`
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.31798#EWBZ (statement). In HPHBJ4Y04B/e1, lemma 2.3

History

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

YXDDVGATDG YXDDVGATDG

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

Mentions

arxiv: arXiv 2609.28552#EUUC (example)

History

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

Einstein–Cartan theory YXDHGGSPD7

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

Mentions

wikipedia: Wikipedia Einstein–Cartan theory, Einstein–Cartan theory (definition). Also Wikidata Q1067602

History

2026-11-02: add by m2/dev

Strichartz estimates YXDVVN6AJA

URI	`m2://inv/YXDVVN6AJA`
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.02933#PCAR, Strichartz estimates (statement). In QSYZKPFRAN/e1, proposition 2.2

History

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

CHS conversion YXDX5S5AC0

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

Mentions

wikipedia: Wikipedia List of algorithms#DT5C, CHS conversion (unknown)

History

2026-11-02: add by m2/dev

field YXE80BJJD6

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

Mentions

mathlib_overview: mathlib_overview General algebra > Field theory > field, field (unknown). Also Mathlib Field
mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > fields, fields (unknown). Also Mathlib Field

History

2026-10-26: add by m2/dev

Example YXEB0NZ613

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

Mentions

wikipedia: Wikipedia Lebesgue–Stieltjes integration#GAV9, Example (example)

History

2026-11-02: add by m2/dev

YXEBPDSK8F YXEBPDSK8F

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

Mentions

arxiv: arXiv 2609.24701#AEI3 (statement)

History

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

Definition YXEKNSV4A4

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

Mentions

wikipedia: Wikipedia Conic bundle#6QQL, Definition (definition)

History

2026-11-02: add by m2/dev

YXENV1NTXX YXENV1NTXX

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

Mentions

napkin: napkin tex/homology/singular.tex#definition-6 (definition). In RZP28ERRZV, definition, section 55.3.1

History

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

Critical edges carry cycle rank under component-faithful forested pairing YXF2N2V2JV

URI	`m2://inv/YXF2N2V2JV`
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.01937#YB7I, Critical edges carry cycle rank under component-faithful forested pairing (statement). In BAEDMM7YM5/e1, proposition 29

History

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

Nike Sun YXF3AEWCE2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#NYW3, Nike Sun (unknown)

History

2026-11-02: add by m2/dev

YXFCRD0YRF YXFCRD0YRF

URI	`m2://inv/YXFCRD0YRF`
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 2607.28337#UI67 (statement). In 7ZJFWBTBKM/e1, proposition 3.5.2

History

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

⊩ YXFK3R4FGZ

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

Mentions

wikipedia: Wikipedia Forcing (mathematics)#OY2H, ⊩ (unknown)

History

2026-11-02: add by m2/dev

YXFP4KJXMC YXFP4KJXMC

URI	`m2://inv/YXFP4KJXMC`
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.24065#N5XI (statement)

History

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

finite progression parameters YXFRRMH1BH

URI	`m2://inv/YXFRRMH1BH`
Kind	statement
Layer	research
MSC	26-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.04000#7FJR, finite progression parameters (statement). In CBCCH5VTMQ/e1, theorem 2.9

History

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

Applications YXFRXDN41Q

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

Mentions

wikipedia: Wikipedia Riemann–Hilbert problem#3CTQ, Applications (example)

History

2026-11-02: add by m2/dev

classification of finite simple groups YXFV02XE2Y

URI	`m2://inv/YXFV02XE2Y`
Kind	statement
Layer	textbook
MSC	20-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Classification of finite simple groups 06J6P03MG7

Mentions

mathlib_1000: mathlib_1000 Q1340623, Classification of finite simple groups (statement). Also Wikidata Q1340623
thousand_plus: thousand_plus Q1340623, Classification of finite simple groups (statement). Also Wikidata Q1340623, Wikipedia Classification of finite simple groups
wikidata: Wikidata Q1340623, classification of finite simple groups (statement). Also MathWorld ClassificationTheoremofFiniteGroups, nLab classification of finite simple groups
wikipedia: Wikipedia Classification of finite simple groups, Classification of finite simple groups (definition). Also Wikidata Q1340623

History

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

equidimensional YXG07K9H6N

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#HDYS, equidimensional (definition)

History

2026-11-02: add by m2/dev

Minimal positive weighted designs on the circle YXG77VR8X1

URI	`m2://inv/YXG77VR8X1`
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 2610.04136#OSTS, Minimal positive weighted designs on the circle (statement). In TBYTWR87F3/e1, theorem 3.3

History

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

Solid of revolution YXGC76GKWR

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

Mentions

wikipedia: Wikipedia List of calculus topics#6U3S, Solid of revolution (definition)

History

2026-11-02: add by m2/dev

The cubic trace function YXGDK8HD1Q

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

Mentions

arxiv: arXiv 2610.02407#ZGMM, The cubic trace function (statement). In ZZER8ZBSCR/e1, corollary 4.12

History

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

YXGEKJZMEF YXGEKJZMEF

URI	`m2://inv/YXGEKJZMEF`
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.20391#ZZ61 (statement). In CTAS41TRM2/e1, lemma 3.6

History

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

YXGGPNDG41 YXGGPNDG41

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

Mentions

hott_book: hott_book equivalences.tex#ex:embedding-cancellable (exercise). In N54F33XE07, ex, section 3.9

History

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

YXGH78THB2 YXGH78THB2

URI	`m2://inv/YXGH78THB2`
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.39747#4ULW (statement). In 9H2KJ3W3JX/e1, theorem 9

History

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

Appell–Humbert theorem YXGPNQTVY0

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

Mentions

wikipedia: Wikipedia List of theorems#LMM8, Appell–Humbert theorem (statement)

History

2026-11-02: add by m2/dev

automorphism group YXH89VAN13

URI	`m2://inv/YXH89VAN13`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Automorphism group 0CWXCWP0Y0

Mentions

wikidata: Wikidata Q60790315, automorphism group (unknown). Also LMFDB knowl ag.aut_group, LMFDB knowl av.aut_group, MathWorld AutomorphismGroup
wikipedia: Wikipedia Automorphism group, Automorphism group (definition). Also Wikidata Q60790315

History

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

YXHAYDA4KG YXHAYDA4KG

URI	`m2://inv/YXHAYDA4KG`
Kind	statement
Layer	research
MSC	20-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 2609.25151#U2YL (statement)

History

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

Symmetry YXHC0SNP2S

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

Mentions

wikipedia: Wikipedia Trihexagonal tiling#I9AA, Symmetry (statement)

History

2026-11-02: add by m2/dev

Primitive ideal YXHP3R0V2G

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

Mentions

wikipedia: Wikipedia Primitive ideal, Primitive ideal (definition). Also Wikidata Q7243577

History

2026-11-02: add by m2/dev

No common approximate minimizer YXHW8FJ8FX

URI	`m2://inv/YXHW8FJ8FX`
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.35418#GUER, No common approximate minimizer (statement). In JHD3TW67QT/e1, lemma 24

History

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

set, empty YXHXNMNAHF

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

Mentions

applied_combinatorics: applied_combinatorics index/B.2.2/set-empty, set, empty (concept). In QKM9DD2H56, index, section B.2.2

History

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

Representation YXJ2V0WK5J

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

Mentions

wikipedia: Wikipedia Goormaghtigh conjecture#2EX4, Representation (definition)

History

2026-11-02: add by m2/dev

Dominated convergence theorem YXJ4A1N8GM

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

Mentions

lebl_scv: lebl_scv index/E.1/dominated-convergence-theorem, Dominated convergence theorem (concept). In VNMV985MXX, index, section E.1

History

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

Anders Björner YXJ4E3C4HZ

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

Mentions

wikipedia: Wikipedia Anders Björner, Anders Björner (topic). Also Wikidata Q490790

History

2026-11-02: add by m2/dev

Properties of $\delta$-regularization YXJN5K2HHQ

URI	`m2://inv/YXJN5K2HHQ`
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.12544#ZXB6, Properties of $\delta$-regularization (statement). In XXV36V6CK8/e1, lemma 6

History

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

YXJNBKEW27 YXJNBKEW27

URI	`m2://inv/YXJNBKEW27`
Kind	definition
Layer	research
MSC	03-XX, 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 1705.04310#9OVB (definition). In MG51GG0QZN/e1, definition 3.19

History

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

Yakov Zak YXJWT43HQ6

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#SF0J, Yakov Zak (unknown)

History

2026-11-02: add by m2/dev

Strong Markov property YXJZSAQRT9

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

Mentions

wikipedia: Wikipedia Markov property#P6FD, Strong Markov property (unknown)

History

2026-11-02: add by m2/dev

YXJZYHY0PA YXJZYHY0PA

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

Mentions

hott_book: hott_book categories.tex#ct:dagger-precategory (definition). In N54F33XE07, defn, section 2.7

History

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

YXK3YBWC2B YXK3YBWC2B

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

Mentions

arxiv: arXiv 2609.38567#G6LI (definition). In 59AXA7QFTE/e1, definition 1

History

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

Compound of five great cubicuboctahedra YXK4NQXEQ1

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

Mentions

wikipedia: Wikipedia Compound of five great cubicuboctahedra, Compound of five great cubicuboctahedra (definition). Also Wikidata Q5156854

History

2026-11-02: add by m2/dev

positive cone YXK6NKW7C3

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

Mentions

mathlib_overview: mathlib_overview Geometry > Convex geometry > positive cone, positive cone (unknown). Also Mathlib ConvexCone.positive

History

2026-10-26: add by m2/dev

Definition and properties YXKH97EABS

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

Mentions

wikipedia: Wikipedia Bilinski dodecahedron#MYQK, Definition and properties (definition)

History

2026-11-02: add by m2/dev

YXKJQ0V213 YXKJQ0V213

URI	`m2://inv/YXKJQ0V213`
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.03628#VKYF (statement). In P8KT6JV9N1/e1, corollary 3.8

History

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

YXKQHX8D0B YXKQHX8D0B

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

Mentions

arxiv: arXiv 2609.19921#J5MI (statement)

History

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

YXKWK84Z9V YXKWK84Z9V

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_gen-bin-thm.ptx#definition-2 (definition). In QKM9DD2H56, definition, section 8.3

History

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

YXKXK6WM7T YXKXK6WM7T

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

Mentions

arxiv: arXiv 2609.33590#VUBY (definition). In WRE0P7V6Z3/e1, definition D.25

History

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

YXM50A6SPW YXM50A6SPW

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/construction-of-model.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 11.1

History

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

class number YXMH7VSWP7

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

Mentions

wikidata: Wikidata Q91783763, class number (unknown). Also MathWorld ClassNumber, nLab class number

History

2026-10-26: add by m2/dev

Uniform continuity and the Riemann–Lebesgue lemma YXMM19KR5N

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

Mentions

wikipedia: Wikipedia Fourier transform#643D, Uniform continuity and the Riemann–Lebesgue lemma (statement)

History

2026-11-02: add by m2/dev

Alejandro Adem YXMMTGMKG7

URI	`m2://inv/YXMMTGMKG7`
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 Q2640723, Alejandro Adem (unknown). Also nLab Alejandro Adem

History

2026-10-26: add by m2/dev

YXMT3P9FRN YXMT3P9FRN

URI	`m2://inv/YXMT3P9FRN`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-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 2607.00146#UTA9 (statement). In 6KR7Z5ETRY/e1, lemma 2.24

History

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

YXMTCNSHN7 YXMTCNSHN7

URI	`m2://inv/YXMTCNSHN7`
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.28507#NKKJ (statement)

History

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

Três Cachoeiras YXMW4V212N

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

Mentions

wikipedia: Wikipedia List of places with numeric names#21FT, Três Cachoeiras (unknown)

History

2026-11-02: add by m2/dev

YXN8BQ6SD7 YXN8BQ6SD7

URI	`m2://inv/YXN8BQ6SD7`
Kind	statement
Layer	research
MSC	03-XX, 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 math/0406514#F7NT (statement). In CY1FE8W1ZW/e1, statement 0.23

History

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

A posteriori sufficient condition YXN8XSKHSM

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

Mentions

arxiv: arXiv 2610.04264#KRRL, A posteriori sufficient condition (statement). In 5YRJ4HGY4N/e1, proposition 1

History

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

Normal strain YXN8ZK5HBG

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

Mentions

wikipedia: Wikipedia Strain (mechanics)#34UZ, Normal strain (unknown)

History

2026-11-02: add by m2/dev

Computational effort YXNAKCC51Z

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

Mentions

arxiv: arXiv 2410.06788#JCEJ, Computational effort (statement). In B2VE3JQZD3/e1, proposition 21

History

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

YXNEKJD92D YXNEKJD92D

URI	`m2://inv/YXNEKJD92D`
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.05784#VDJS (statement). In 6NVP3YRWVA/e1, lemma 2.29

History

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

Law YXNHW8C2Q0

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

Mentions

wikipedia: Wikipedia Applied epistemology#TK1B, Law (statement)

History

2026-11-02: add by m2/dev

YXNK2TC0JD YXNK2TC0JD

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

Mentions

arxiv: arXiv 2609.27641#XWWN (statement)

History

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

YXNMDSAKYG YXNMDSAKYG

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

Mentions

arxiv: arXiv 2610.07280#YBVD (statement). In 1FJKW4WGEN/e1, corollary 3.7

History

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

YXNRPJ2DS0 YXNRPJ2DS0

URI	`m2://inv/YXNRPJ2DS0`
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.03568#C9TM (statement). In TGNKGP0XNY/e1, corollary 3.3

History

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

Mary Grace Kovar YXNS2E7HHE

URI	`m2://inv/YXNS2E7HHE`
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#5DCS, Mary Grace Kovar (topic)

History

2026-11-02: add by m2/dev

YXNVWCRTDP YXNVWCRTDP

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#exercise-34 (exercise). In E59CDZA4DP, exercise, section 8.4.3

History

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

YXNVWKKPWY YXNVWKKPWY

URI	`m2://inv/YXNVWKKPWY`
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.10875#0A02 (statement). In N91F15MHW1/e1, lemma 15

History

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

Integral isometries are signed permutations YXNXRRF4VW

URI	`m2://inv/YXNXRRF4VW`
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.38668#88HE, Integral isometries are signed permutations (statement). In VB1EZ9K6YW/e1, proposition 13.1

History

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

Doob–Meyer decomposition theorem YXPC4QYYHG

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

Mentions

wikipedia: Wikipedia List of statistics articles#GO4A, Doob–Meyer decomposition theorem (statement)

History

2026-11-02: add by m2/dev

Rebecca Willett YXPDSHNQNV

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

Mentions

wikipedia: Wikipedia Rebecca Willett, Rebecca Willett (topic). Also Wikidata Q57201105

History

2026-11-02: add by m2/dev

zero morphism YXPVNDMBR1

URI	`m2://inv/YXPVNDMBR1`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Zero morphism YF9F9EG6M3

Mentions

wikidata: Wikidata Q2905069, zero morphism (unknown). Also nLab zero morphism
wikipedia: Wikipedia Zero morphism, Zero morphism (definition). Also Wikidata Q2905069

History

2026-10-26: add by m2/dev

The cost of the relaxed affine error guarantee YXPWZGZF7J

URI	`m2://inv/YXPWZGZF7J`
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.15202#3XTR, The cost of the relaxed affine error guarantee (statement). In X1FPG0KYBM/e1, theorem P.3

History

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

McCarthy 91 function YXQ4BNPQTF

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

Mentions

wikidata: Wikidata Q3075198, McCarthy 91 function (unknown). Also MathWorld McCarthy91-Function

History

2026-10-26: add by m2/dev

YXQ7BZAA8D YXQ7BZAA8D

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

Mentions

arxiv: arXiv 2610.09171#HA5R (statement). In 5ZPSZFE08Q/e1, theorem 7.3

History

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

YXQA0HQDZ1 YXQA0HQDZ1

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

Mentions

arxiv: arXiv 2609.35027#FJHW (statement). In MEA7NHMQKB/e1, lemma 4.2

History

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

YXQAVJY8W6 YXQAVJY8W6

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

Mentions

napkin: napkin tex/topology/top-more.tex#def:closure (definition). In RZP28ERRZV, definition, section 101.2.2

History

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

Example YXQFHEFFYD

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

Mentions

wikipedia: Wikipedia Ordinary differential equation#9V8Y, Example (example)

History

2026-11-02: add by m2/dev

Expansive homeomorphism YXQHBK9S82

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

Mentions

wikipedia: Wikipedia Expansive homeomorphism, Expansive homeomorphism (definition). Also Wikidata Q5420801

History

2026-11-02: add by m2/dev

Iwasawa manifold YXQTDYNT9E

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

Mentions

wikipedia: Wikipedia Iwasawa manifold, Iwasawa manifold (definition). Also Wikidata Q6100709

History

2026-11-02: add by m2/dev

YXQWZYH8MA YXQWZYH8MA

URI	`m2://inv/YXQWZYH8MA`
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.20682#B8IV (statement)

History

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

Weinan E YXR3KBYF68

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#E0EW, Weinan E (unknown)

History

2026-11-02: add by m2/dev

Taleb distribution YXRB0K8NQ3

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

Mentions

wikipedia: Wikipedia Taleb distribution, Taleb distribution (definition). Also Wikidata Q7679128

History

2026-11-02: add by m2/dev

YXRH37VS6V YXRH37VS6V

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/entailment.tex#ex-1 (example). In PKGMM3P5QY, ex, section 54.1

History

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

cellular model YXRKR13HZT

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

Mentions

wikidata: Wikidata Q16335140, cellular model (unknown). Also nLab cellular model

History

2026-10-26: add by m2/dev

Piola–Kirchhoff stress tensors YXRNKD144Y

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

Mentions

wikipedia: Wikipedia Piola–Kirchhoff stress tensors, Piola–Kirchhoff stress tensors (definition). Also Wikidata Q9291589

History

2026-11-02: add by m2/dev

Ettore Bortolotti YXRTWK7T4Z

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#R51Z, Ettore Bortolotti (unknown)
wikipedia: Wikipedia List of Italian mathematicians#UA8D, Ettore Bortolotti (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7UEG, Ettore Bortolotti (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LFV8, Ettore Bortolotti (unknown)

History

2026-11-02: add by m2/dev

Statistical regularity YXS07QVTA9

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

Mentions

wikipedia: Wikipedia List of statistics articles#L1XA, Statistical regularity (definition)
wikipedia: Wikipedia List of probability topics#VUV2, Statistical regularity (definition)

History

2026-11-02: add by m2/dev

YXS3GKG6DV YXS3GKG6DV

URI	`m2://inv/YXS3GKG6DV`
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.35678#UK1Q (statement). In 4X4ZS7CEKD/e1, theorem 1

History

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

Thermal boundary layer thickness and shape YXS3HQ20JD

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

Mentions

wikipedia: Wikipedia Thermal boundary layer thickness and shape, Thermal boundary layer thickness and shape (definition). Also Wikidata Q55635672

History

2026-11-02: add by m2/dev

Interpolation derivative YXSA65220J

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

Mentions

arxiv: arXiv 2610.00453#5Q4C, Interpolation derivative (statement). In ESPJMBH2R2/e1, proposition 5.2

History

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

Logarithmic magnitude YXSHWGMT0P

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

Mentions

wikipedia: Wikipedia Magnitude (mathematics)#26Z9, Logarithmic magnitude (unknown)

History

2026-11-02: add by m2/dev

Heinz Rutishauser YXSNT3D0TQ

URI	`m2://inv/YXSNT3D0TQ`
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#4GME, Heinz Rutishauser (topic)

History

2026-11-02: add by m2/dev

YXSX6TJNCY YXSX6TJNCY

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

Mentions

applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_euler-phi.ptx#thm_eulerphi (statement). In QKM9DD2H56, theorem, section 7.5

History

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

YXT1RFED6V YXT1RFED6V

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

Mentions

arxiv: arXiv 2609.24701#QH8X (statement)

History

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

YXT2DGARXY YXT2DGARXY

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

Mentions

arxiv: arXiv 2610.06440#3RB8 (statement). In 5YB65RB13X/e1, proposition 2.1

History

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

Spanier--Whitehead category YXTK7981JH

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

Mentions

arxiv: arXiv 2610.08583#JRMS, Spanier--Whitehead category (definition). In 5EKTECQ2P1/e1, definition 4.2

History

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

YXTN54T477 YXTN54T477

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#definition-3 (definition). In RZP28ERRZV, definition, section 58.4

History

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

Tangle sum YXTPC31AN9

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

Mentions

wikipedia: Wikipedia List of knot theory topics#HSMD, Tangle sum (unknown)

History

2026-11-02: add by m2/dev

YXTS6Z9VC8 YXTS6Z9VC8

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

Mentions

arxiv: arXiv 2610.04809#MV11 (statement). In 2VHV0RNTNV/e1, proposition 2.3

History

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

YXVNE671CH YXVNE671CH

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-5 (example). In E9HS8K3A52, example, section 10.3

History

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

Airy process YXVPY78WAN

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

Mentions

wikipedia: Wikipedia Airy process, Airy process (definition). Also Wikidata Q116959350

History

2026-11-02: add by m2/dev

YXVV7QFVET YXVV7QFVET

URI	`m2://inv/YXVV7QFVET`
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.32977#A2TF (statement). In 4KT9TK3MG4/e1, theorem 3.3

History

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

Applications YXVVNQ8P9T

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

Mentions

wikipedia: Wikipedia Mean-periodic function#PQ94, Applications (example)

History

2026-11-02: add by m2/dev

Definition 2 YXVWCSMKPS

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

Mentions

wikipedia: Wikipedia Nuclear space#9RRO, Definition 2 (definition)

History

2026-11-02: add by m2/dev

Interactive Decision Maps YXW2PPFQXR

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

Mentions

wikipedia: Wikipedia Interactive Decision Maps, Interactive Decision Maps (definition). Also Wikidata Q17101720

History

2026-11-02: add by m2/dev

YXWDQ8W3EH YXWDQ8W3EH

URI	`m2://inv/YXWDQ8W3EH`
Kind	statement
Layer	research
MSC	03-XX, 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.31445#6CDC (statement). In 7V2PVZS04C/e1, theorem 5.5

History

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

YXWEDA5Y91 YXWEDA5Y91

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

Mentions

arxiv: arXiv 2609.27846#3RDB (statement)

History

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

YXWNE752NY YXWNE752NY

URI	`m2://inv/YXWNE752NY`
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#SCN8 (statement). In MNQAZ70XTH/e1, lemma 8.7

History

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

YXWPH4R54J YXWPH4R54J

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

Mentions

arxiv: arXiv 2610.05391#M08G (statement). In 9B5TNEBJHV/e1, corollary 3.2

History

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

YXWS3D28NA YXWS3D28NA

URI	`m2://inv/YXWS3D28NA`
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.38138#JPYY (statement). In G97FA99ZEF/e1, lemma 3.11

History

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

Nature Computational Science YXWSTV0JJD

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

Mentions

wikipedia: Wikipedia Nature Computational Science, Nature Computational Science (definition). Also Wikidata Q130711095

History

2026-11-02: add by m2/dev

N-group YXX6W9HJEJ

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

Mentions

wikipedia: Wikipedia N-group (finite group theory), N-group (definition). Also Wikidata Q6951483

History

2026-11-02: add by m2/dev

Pseudo-Hadamard transform YXX7MPF9E2

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

Mentions

wikipedia: Wikipedia Pseudo-Hadamard transform, Pseudo-Hadamard transform (definition). Also Wikidata Q1606011

History

2026-11-02: add by m2/dev

YXX8P0S57G YXX8P0S57G

URI	`m2://inv/YXX8P0S57G`
Kind	definition
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.26665#6U7Y (definition)

History

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

Miklós Laczkovich YXX9F1R9BK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#TIQN, Miklós Laczkovich (topic)

History

2026-11-02: add by m2/dev

Stability of simple injective MPDO parent dynamics YXXJFJA0BZ

URI	`m2://inv/YXXJFJA0BZ`
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.36016#PKB8, Stability of simple injective MPDO parent dynamics (statement). In NAM9ZMPHZ9/e1, corollary 4.7

History

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

YXXKBZDT2B YXXKBZDT2B

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

Mentions

arxiv: arXiv 2610.08382#X33Z (statement). In GYMGDQS25R/e1, lemma 6.22

History

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

Margaret W. "Hap" Brennecke YXXNH2XHH2

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#01OY, Margaret W. "Hap" Brennecke (unknown)

History

2026-11-02: add by m2/dev

Feedback arc set YXXQ2E9VA1

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#HL21, Feedback arc set (definition)

History

2026-11-02: add by m2/dev

YXXWN8HRD7 YXXWN8HRD7

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

Mentions

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

History

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

Definition YXXZ98EB27

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

Mentions

wikipedia: Wikipedia Benford's law#0WWM, Definition (definition)

History

2026-11-02: add by m2/dev

YXXZE9ZEMH YXXZE9ZEMH

URI	`m2://inv/YXXZE9ZEMH`
Kind	definition
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.25301#DMAS (definition)

History

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

Principles of boundedness YXY1TAJXQR

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

Mentions

wikipedia: Wikipedia Bounded rationality#EUOE, Principles of boundedness (statement)

History

2026-11-02: add by m2/dev

YXY689GFQB YXY689GFQB

URI	`m2://inv/YXY689GFQB`
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 2609.23522#GIB5 (definition)

History

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

YXY6TXKRM9 YXY6TXKRM9

URI	`m2://inv/YXY6TXKRM9`
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 2412.20001#9GU0 (definition). In Y6YJSB93C3/e1, definition 1

History

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

Surreal form YXYDNJZR40

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

Mentions

wikipedia: Wikipedia Surreal number#VL3M, Surreal form (unknown)

History

2026-11-02: add by m2/dev

YXYP1NTNP5 YXYP1NTNP5

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

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 51.4

History

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

YXYQ5SE091 YXYQ5SE091

URI	`m2://inv/YXYQ5SE091`
Kind	definition
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#MG8C (definition)

History

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

YXYQHBS4GC YXYQHBS4GC

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

Mentions

arxiv: arXiv 2610.03081#GZX8 (statement). In TX0H26X4VX/e1, proposition 7.9

History

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

Slash distribution YXYRGFJK41

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

Mentions

wikipedia: Wikipedia Slash distribution, Slash distribution (definition). Also Wikidata Q3258353

History

2026-11-02: add by m2/dev

YXYRYJDGV1 YXYRYJDGV1

URI	`m2://inv/YXYRYJDGV1`
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 2610.13518#S3HA (statement). In 613TY6V089/e1, lemma 15

History

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

Regular Nonagon YXYW9ZNJ7H

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

Mentions

wikipedia: Wikipedia Nonagon#GQAK, Regular Nonagon (unknown)

History

2026-11-02: add by m2/dev

Arc length isn't a form YXYWCSV5Z1

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

Mentions

napkin: napkin tex/diffgeo/stokes.tex#prob:ds_not_a_form, Arc length isn't a form (exercise). In RZP28ERRZV, problem, section 46.6

History

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

Arthur Rosenthal YXZ1QDG231

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

Mentions

wikipedia: Wikipedia List of geometers#EQJI, Arthur Rosenthal (topic)

History

2026-11-02: add by m2/dev

William of Soissons YXZ8SKYQ8N

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

Mentions

wikipedia: Wikipedia List of logicians#ZE56, William of Soissons (topic)

History

2026-11-02: add by m2/dev

Blocking set YXZP63Z4RE

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

Mentions

wikipedia: Wikipedia Blocking set, Blocking set (definition). Also Wikidata Q17005980

History

2026-11-02: add by m2/dev

Risk inclination formula YXZPHRQ9JS

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

Mentions

wikipedia: Wikipedia Risk inclination model#CSVS, Risk inclination formula (statement)

History

2026-11-02: add by m2/dev

Weil sum evaluation YXZT1VNFS3

URI	`m2://inv/YXZT1VNFS3`
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.07905#0AKG, Weil sum evaluation (statement). In 88GEN3Z5VG/e1, lemma 7.14

History

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

Projective general linear group YXZTV6WJMW

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#9PBZ, Projective general linear group (definition)

History

2026-11-02: add by m2/dev

YXZXTGCY55 YXZXTGCY55

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

Mentions

arxiv: arXiv 2610.03231#LK9Q (statement). In 3Y76AQQGF0/e1, proposition 6.3

History

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

YXZZRPRREW YXZZRPRREW

URI	`m2://inv/YXZZRPRREW`
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.07644#Y58M (statement). In TFAN2DR6FD/e1, corollary 11

History

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