Inventory rows CQ

Method CQ01JQE4VX

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

Mentions

wikipedia: Wikipedia Permutation test#U6I3, Method (definition)

History

2026-11-02: add by m2/dev

CQ07PBG0M8 CQ07PBG0M8

URI	`m2://inv/CQ07PBG0M8`
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.07927#OBLB (definition). In GKM19DHQTM/e1, definition 6.17

History

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

Timeline of numerals and arithmetic CQ08H93WW2

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

Mentions

wikipedia: Wikipedia Timeline of numerals and arithmetic, Timeline of numerals and arithmetic (topic). Also Wikidata Q7806131

History

2026-11-02: add by m2/dev

cofibrant approximation CQ094CQA99

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#J1F5, cofibrant approximation (definition)

History

2026-11-02: add by m2/dev

Heinz Bauer CQ0CFBT2H2

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

Mentions

wikipedia: Wikipedia Heinz Bauer, Heinz Bauer (topic). Also Wikidata Q112290

History

2026-11-02: add by m2/dev

CQ0CZAXD1J CQ0CZAXD1J

URI	`m2://inv/CQ0CZAXD1J`
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.16180#IOPF (statement). In FCFD59D3T6/e1, lemma 3.3

History

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

CQ0QE4JJ9H CQ0QE4JJ9H

URI	`m2://inv/CQ0QE4JJ9H`
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.02484#OM8Z (statement). In D1V0MQZTFQ/e1, theorem 3.3

History

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

CQ0QXM16CB CQ0QXM16CB

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#prop-3 (statement). In E59CDZA4DP, prop, section 10.2.2

History

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

Mostow rigidity theorem CQ0X59JQ5V

URI	`m2://inv/CQ0X59JQ5V`
Kind	statement
Layer	textbook
MSC	53-XX
Sources	4
Outcome	open
Node	Mostow rigidity theorem 4BEWKR0EG7

Mentions

mathlib_1000: mathlib_1000 Q3984063, Mostow rigidity theorem (statement). Also Wikidata Q3984063
thousand_plus: thousand_plus Q3984063, Mostow rigidity theorem (statement). Also Wikidata Q3984063, Wikipedia Mostow rigidity theorem
wikidata: Wikidata Q3984063, Mostow rigidity theorem (statement). Also nLab Mostow rigidity theorem
wikipedia: Wikipedia Mostow rigidity theorem, Mostow rigidity theorem (statement). Also Wikidata Q3984063

History

2026-10-26: add by m2/dev

Euler–Maruyama method CQ149K4R5W

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

Mentions

wikipedia: Wikipedia Euler–Maruyama method, Euler–Maruyama method (definition). Also Wikidata Q761604

History

2026-11-02: add by m2/dev

Special cases CQ14F0B2JG

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

Mentions

wikipedia: Wikipedia Separating words problem#ULZ6, Special cases (statement)

History

2026-11-02: add by m2/dev

application, of hypothesis or theorem CQ16RXJFNW

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

Mentions

hott_book: hott_book index/A.11/application-of-hypothesis-or-theorem, application, of hypothesis or theorem (concept). In N54F33XE07, index, section A.11

History

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

Marian Rejewski CQ17RK6ARX

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

Mentions

wikipedia: Wikipedia List of cryptographers#BKLZ, Marian Rejewski (topic)

History

2026-11-02: add by m2/dev

CQ1Q5RRPTT CQ1Q5RRPTT

URI	`m2://inv/CQ1Q5RRPTT`
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.21005#20KF (statement). In E63NRC7MBE/e1, proposition 4.5

History

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

Discriminant function analysis CQ1V5XEW5B

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

Mentions

wikipedia: Wikipedia List of statistics articles#CBEP, Discriminant function analysis (definition)

History

2026-11-02: add by m2/dev

Kathryn Leonard CQ1WT6N57T

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

Mentions

wikipedia: Wikipedia Kathryn Leonard, Kathryn Leonard (topic). Also Wikidata Q62991260

History

2026-11-02: add by m2/dev

CQ214SAV1T CQ214SAV1T

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

Mentions

arxiv: arXiv 2610.12691#TOIB (statement). In YVQKT91MYN/e1, lemma 2

History

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

Karl Heinrich Gräffe CQ238NP955

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

Mentions

wikipedia: Wikipedia Karl Heinrich Gräffe, Karl Heinrich Gräffe (topic). Also Wikidata Q113168

History

2026-11-02: add by m2/dev

Calkin CQ286ZR2SM

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#XLKX, Calkin (definition)

History

2026-11-02: add by m2/dev

CQ2ANVH30Q CQ2ANVH30Q

URI	`m2://inv/CQ2ANVH30Q`
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 2104.05191#O2CR (statement). In CCNH3FK8YZ/e1, theorem 2.1

History

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

Cauchy-continuous function CQ2CGXSECA

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#ZE0J, Cauchy-continuous function (definition)

History

2026-11-02: add by m2/dev

QAMA Calculator CQ2ED150QB

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

Mentions

wikipedia: Wikipedia QAMA Calculator, QAMA Calculator (definition). Also Wikidata Q56279632

History

2026-11-02: add by m2/dev

First theorem CQ2GKKQSMJ

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

Mentions

wikipedia: Wikipedia Mertens' theorems#2TLO, First theorem (statement)

History

2026-11-02: add by m2/dev

Radio coloring CQ2Q8DYZB7

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

Mentions

wikipedia: Wikipedia Radio coloring, Radio coloring (definition). Also Wikidata Q20707659

History

2026-11-02: add by m2/dev

Source unfolding CQ2QHZ4D1X

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

Mentions

wikipedia: Wikipedia Source unfolding, Source unfolding (definition). Also Wikidata Q107427167

History

2026-11-02: add by m2/dev

Chenchang Zhu CQ2SS5PKS9

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

Mentions

wikipedia: Wikipedia Chenchang Zhu, Chenchang Zhu (topic). Also Wikidata Q102168218

History

2026-11-02: add by m2/dev

Generalized principle CQ339GKYRG

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

Mentions

wikipedia: Wikipedia Commutativity of conjunction#77WY, Generalized principle (statement)

History

2026-11-02: add by m2/dev

Applications CQ3CWG81J0

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

Mentions

wikipedia: Wikipedia Advanced Vector Extensions#GJFZ, Applications (example)

History

2026-11-02: add by m2/dev

Reality dichotomy CQ3SZ5JMBZ

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

Mentions

arxiv: arXiv 2609.31689#SAN2, Reality dichotomy (statement). In Z7M2JSF6HA/e1, lemma 10.2

History

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

Conway group CQ3W5H655S

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

Mentions

wikipedia: Wikipedia List of group theory topics#CEFY, Conway group (definition)
wikipedia: Wikipedia List of mathematical examples#G0K2, Conway group (definition)

History

2026-11-02: add by m2/dev

Finite-state automaton CQ41C2B7JC

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#711A, Finite-state automaton (definition)

History

2026-11-02: add by m2/dev

CQ443Q3GXQ CQ443Q3GXQ

URI	`m2://inv/CQ443Q3GXQ`
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.37265#55GW (statement). In BKYAWEC5XH/e1, theorem 4.2

History

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

Distributed system CQ453EYJAD

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#5RKB, Distributed system (unknown)

History

2026-11-02: add by m2/dev

Hautus Lemma for detectability CQ45DZMTJ3

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

Mentions

wikipedia: Wikipedia Hautus lemma#ARIM, Hautus Lemma for detectability (statement)

History

2026-11-02: add by m2/dev

CQ47WN7KN8 CQ47WN7KN8

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

Mentions

arxiv: arXiv 2609.40290#GS4P (example). In 4K1CNBYJHF/e1, example 3.6

History

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

Min-wise independence CQ4C17M2ZA

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

Mentions

wikipedia: Wikipedia MinHash#CUFT, Min-wise independence (unknown)

History

2026-11-02: add by m2/dev

Leibnitz CQ52NZXF9Z

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#4A02, Leibnitz (definition)

History

2026-11-02: add by m2/dev

Senior Mathematical Challenge CQ52Q20M00

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

Mentions

wikipedia: Wikipedia United Kingdom Mathematics Trust#Y1LW, Senior Mathematical Challenge (unknown)

History

2026-11-02: add by m2/dev

CQ54M3RW42 CQ54M3RW42

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

Mentions

arxiv: arXiv 2609.31126#XK6C (statement). In GK1V5GEHTK/e1, theorem 2.13

History

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

Nef polygon CQ561BE5P6

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

Mentions

wikipedia: Wikipedia Nef polygon, Nef polygon (definition). Also Wikidata Q6986999

History

2026-11-02: add by m2/dev

Fuhrmann triangle CQ5BETRETJ

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

Mentions

wikidata: Wikidata Q74624421, Fuhrmann triangle (concept). Also MathWorld FuhrmannTriangle
wikipedia: Wikipedia Fuhrmann triangle, Fuhrmann triangle (definition). Also Wikidata Q74624421

History

2026-10-26: add by m2/dev

Gunnar Carlsson CQ5CCSNJ0D

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#J32N, Gunnar Carlsson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AG4Y, Gunnar Carlsson (topic)

History

2026-11-02: add by m2/dev

The short divisor sieve CQ5JC17GAA

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

Mentions

arxiv: arXiv 2610.13365#JRJ1, The short divisor sieve (statement). In YMBTSX10FF/e1, lemma 3.4

History

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

Nachman Aronszajn CQ5MSBZNPM

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

Mentions

wikipedia: Wikipedia Nachman Aronszajn, Nachman Aronszajn (topic). Also Wikidata Q721251

History

2026-11-02: add by m2/dev

Stanisław Lech Woronowicz CQ5PHK1J07

URI	`m2://inv/CQ5PHK1J07`
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 Q7387640, Stanisław Lech Woronowicz (unknown). Also nLab S. L. Woronowicz
wikipedia: Wikipedia S. L. Woronowicz, S. L. Woronowicz (topic). Also Wikidata Q7387640

History

2026-10-26: add by m2/dev

Applications CQ5X4KF4AS

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

Mentions

wikipedia: Wikipedia Deterministic encryption#MY6R, Applications (example)

History

2026-11-02: add by m2/dev

CQ61DS27F8 CQ61DS27F8

URI	`m2://inv/CQ61DS27F8`
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.33584#KZSX (statement). In 3HFBAWQCA1/e1, proposition 5.6

History

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

Balkan Mathematical Olympiad CQ6HRDJPD1

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

Mentions

wikipedia: Wikipedia Balkan Mathematical Olympiad, Balkan Mathematical Olympiad (definition). Also Wikidata Q4851086

History

2026-11-02: add by m2/dev

Rydberg constant CQ6KDKW8JZ

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

Mentions

wikidata: Wikidata Q658065, Rydberg constant (definition). Also ProofWiki Definition:Rydberg_Constant

History

2026-10-26: add by m2/dev

Resonant circuit R,L,C values must be determined from first principles analysis CQ6N2XKDB5

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

Mentions

wikipedia: Wikipedia Frequency selective surface#G3U1, Resonant circuit R,L,C values must be determined from first principles analysis (statement)

History

2026-11-02: add by m2/dev

Applications CQ6SNM95CY

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

Mentions

wikipedia: Wikipedia Linear matrix inequality#79BY, Applications (example)

History

2026-11-02: add by m2/dev

Parabidiminished rhombicosidodecahedron CQ6WP6YPKW

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#PSMA, Parabidiminished rhombicosidodecahedron (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#AE4M, Parabidiminished rhombicosidodecahedron (definition)

History

2026-11-02: add by m2/dev

CQ770N6QZ5 CQ770N6QZ5

URI	`m2://inv/CQ770N6QZ5`
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 2608.23797#AW7R (statement). In PZCA01JXVR/e1, proposition 7.2

History

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

Mass-action Law CQ78Q91XF6

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

Mentions

wikipedia: Wikipedia Synergistic system#LNF9, Mass-action Law (statement)

History

2026-11-02: add by m2/dev

CQ7GEPFYF7 CQ7GEPFYF7

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

Mentions

arxiv: arXiv 2609.27694#A8FF (statement)

History

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

homotopy sphere CQ7GV6376X

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#YVZA, homotopy sphere (definition)

History

2026-11-02: add by m2/dev

CQ7PVFW9H2 CQ7PVFW9H2

URI	`m2://inv/CQ7PVFW9H2`
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.25912#5LGP (statement)

History

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

Continuous Bernoulli distribution CQ7VRFDFW6

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

Mentions

wikipedia: Wikipedia Continuous Bernoulli distribution, Continuous Bernoulli distribution (definition). Also Wikidata Q97357550

History

2026-11-02: add by m2/dev

CQ7YE9E65M CQ7YE9E65M

URI	`m2://inv/CQ7YE9E65M`
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 2404.05965#KGJ6 (statement). In GD1GED3FZ3/e1, lemma 8.5

History

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

bean machine CQ80CQAD73

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

Mentions

wikidata: Wikidata Q139622, bean machine (unknown). Also MathWorld GaltonBoard
wikipedia: Wikipedia Galton board, Galton board (definition). Also Wikidata Q139622

History

2026-10-26: add by m2/dev

Uniform concentration for the untruncated criterion CQ80JW1ZV8

URI	`m2://inv/CQ80JW1ZV8`
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.37917#EK0U, Uniform concentration for the untruncated criterion (statement). In YYN10BJG1Q/e1, theorem 2

History

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

group, symmetric CQ8FQ2FX30

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

Mentions

applied_combinatorics: applied_combinatorics index/15.2/group-symmetric, group, symmetric (concept). In QKM9DD2H56, index, section 15.2

History

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

Decision analysis CQ8KSH2S8X

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#B0PK, Decision analysis (definition)

History

2026-11-02: add by m2/dev

Percy Williams Bridgman CQ8NG75VPJ

URI	`m2://inv/CQ8NG75VPJ`
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 Q172118, Percy Williams Bridgman (unknown). Also ProofWiki Mathematician:Percy_Williams_Bridgman

History

2026-10-26: add by m2/dev

$H_{x}^{3}$ regularity CQ8VWV1M6G

URI	`m2://inv/CQ8VWV1M6G`
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.28454#ABER, $H_{x}^{3}$ regularity (statement)

History

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

Statement CQ97074QHF

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

Mentions

wikipedia: Wikipedia Halanay inequality#NC15, Statement (statement)

History

2026-11-02: add by m2/dev

vertices CQ9AEJSHF5

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

Mentions

levin_dmoi: levin_dmoi index/5/vertices, vertices (concept). In Y91XFCEVHQ, index, section 5

History

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

Hilbert–Waring theorem CQ9KMG8JTW

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

Mentions

wikipedia: Wikipedia List of theorems#TMN7, Hilbert–Waring theorem (conjecture)

History

2026-11-02: add by m2/dev

Real numbers CQ9KR0X4S9

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

Mentions

wikipedia: Wikipedia Glossary of field theory#WZ07, Real numbers (definition)

History

2026-11-02: add by m2/dev

CQ9P2R0FRD CQ9P2R0FRD

URI	`m2://inv/CQ9P2R0FRD`
Kind	example
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.11455#8EY2 (example). In Z1EBVH5SP1/e1, example 4.2

History

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

Examples CQ9PQ7HQT4

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

Mentions

wikipedia: Wikipedia Gaussian binomial coefficient#FROU, Examples (example)

History

2026-11-02: add by m2/dev

Gabriel Oltramare CQ9Q0VP8HN

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

Mentions

wikipedia: Wikipedia Gabriel Oltramare, Gabriel Oltramare (topic). Also Wikidata Q47453615

History

2026-11-02: add by m2/dev

Diamagnetic inequality CQ9RB3MC1Q

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

Mentions

wikipedia: Wikipedia Diamagnetic inequality, Diamagnetic inequality (statement). Also Wikidata Q109974976

History

2026-11-02: add by m2/dev

Consistency and Persistence CQ9ZS7Q4R2

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

Mentions

napkin: napkin tex/set-theory/forcing.tex#lemma-3, Consistency and Persistence (statement). In RZP28ERRZV, lemma, section 90.5

History

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

Syllogistic falacy CQA2KAX9F8

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

Mentions

wikipedia: Wikipedia Syllogism#2AN8, Syllogistic falacy (unknown)

History

2026-11-02: add by m2/dev

CQAATB9X9J CQAATB9X9J

URI	`m2://inv/CQAATB9X9J`
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.39948#2S22 (statement). In 6R7CBG955V/e1, lemma 5.1

History

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

CQAH8E66PF CQAH8E66PF

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

Mentions

arxiv: arXiv 2609.36181#HT76 (statement). In 1KSE33PVS6/e1, proposition 70

History

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

CQAKEQM2WK CQAKEQM2WK

URI	`m2://inv/CQAKEQM2WK`
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.13271#9021 (statement). In G8ZEBKZY8M/e1, lemma 2.4

History

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

Metric version of Carathéodory's theorem CQAKF2X1SV

URI	`m2://inv/CQAKF2X1SV`
Kind	statement
Layer	research
MSC	51-XX, 52-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.17909#TK8G, Metric version of Carathéodory's theorem (statement). In YXZX6Z8S6A/e1, theorem 5.24

History

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

Seven Mile, Ohio CQAMNKMFFN

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

Mentions

wikipedia: Wikipedia List of places with numeric names#G30Z, Seven Mile, Ohio (unknown)

History

2026-11-02: add by m2/dev

Continuous limit of the corrected discrete entropy CQAPR8GZWN

URI	`m2://inv/CQAPR8GZWN`
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.15466#MZ6S, Continuous limit of the corrected discrete entropy (statement). In KJ7V6XG4M7/e1, theorem 6

History

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

Cooper, Dyer, and Greenhill CQARAPB401

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

Mentions

arxiv: arXiv 2610.09506#Z28K, Cooper, Dyer, and Greenhill (conjecture). In AQC7E6RAT4/e1, conjecture 1.1

History

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

Timothy Kanold CQAS0PQCR2

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

Mentions

wikipedia: Wikipedia Timothy Kanold, Timothy Kanold (topic). Also Wikidata Q7807322

History

2026-11-02: add by m2/dev

CQAWN7HAVB CQAWN7HAVB

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

Mentions

arxiv: arXiv 2609.38556#3WCR (statement). In GC2H0HS7ZM/e1, corollary 1.4

History

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

Natural algebraic subloci of foliation components CQAXNBT21H

URI	`m2://inv/CQAXNBT21H`
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 2609.26152#KXHL, Natural algebraic subloci of foliation components (problem)

History

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

CQAZKTSH3K CQAZKTSH3K

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

Mentions

arxiv: arXiv 2609.32233#TIXJ (statement). In V42PPD7SWH/e1, lemma 4.4

History

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

Trinomial tree CQB847J2JR

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

Mentions

wikipedia: Wikipedia Trinomial tree, Trinomial tree (definition). Also Wikidata Q7843049

History

2026-11-02: add by m2/dev

The two third cyclic covers CQBE8J3B2P

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

Mentions

arxiv: arXiv 2609.29839#5I46, The two third cyclic covers (statement)

History

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

CQBHB8VXV1 CQBHB8VXV1

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

Mentions

arxiv: arXiv 2610.14837#YP9U (statement). In J4P6HXMJCH/e1, lemma 2.4

History

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

Chui's Conjecture CQBHMXH7KK

URI	`m2://inv/CQBHMXH7KK`
Kind	conjecture
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.21121#63QM, Chui's Conjecture (conjecture)

History

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

CQBJVW1Q2S CQBJVW1Q2S

URI	`m2://inv/CQBJVW1Q2S`
Kind	example
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#85W8 (example). In NAM9ZMPHZ9/e1, example A.6

History

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

CQBQ6E1XAQ CQBQ6E1XAQ

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

Mentions

open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 49.1

History

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

Visibility graph CQC2FY6XSZ

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

Mentions

wikipedia: Wikipedia List of combinatorial computational geometry topics#1SMC, Visibility graph (definition)

History

2026-11-02: add by m2/dev

Completely randomized design CQC4CJJ06T

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

Mentions

wikipedia: Wikipedia List of statistics articles#TNP3, Completely randomized design (definition)

History

2026-11-02: add by m2/dev

CQCN37XDBS CQCN37XDBS

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

Mentions

arxiv: arXiv 1507.03803#POD3 (statement). In MMJT4R2MSS/e1, theorem 6

History

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

CQCP0EDTY4 CQCP0EDTY4

URI	`m2://inv/CQCP0EDTY4`
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.31604#5JLX (definition). In GSN5YTQS2K/e1, definition 1.12

History

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

Barycentric-sum problem CQCXWSPTWA

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

Mentions

wikipedia: Wikipedia Barycentric-sum problem, Barycentric-sum problem (problem). Also Wikidata Q4865996

History

2026-11-02: add by m2/dev

Polynomial SOS CQCXZ7Q8SC

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

Mentions

wikipedia: Wikipedia List of polynomial topics#VBEZ, Polynomial SOS (definition)

History

2026-11-02: add by m2/dev

CQCZQC3XB6 CQCZQC3XB6

URI	`m2://inv/CQCZQC3XB6`
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.24041#AZ4F (statement)

History

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

Fellegi, Ivan CQD015ECAM

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

Mentions

wikipedia: Wikipedia List of statisticians#FM7C, Fellegi, Ivan (unknown)

History

2026-11-02: add by m2/dev

CQD0V914BV CQD0V914BV

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

Mentions

hott_book: hott_book setmath.tex#proof-12 (proof). In N54F33XE07, proof, section C.1.5

History

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

CQD1DNDJKM CQD1DNDJKM

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

Mentions

arxiv: arXiv 2303.09207#K7GA (definition). In 9DQKY7KGE8/e1, definition C.19

History

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

CQD2QTAG8R CQD2QTAG8R

URI	`m2://inv/CQD2QTAG8R`
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 2603.21971#3MO8 (statement). In R6KSZ9H8CY/e1, lemma 3.2

History

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

$\cos\beta=1/5$, second inward family CQD4N6Q9RS

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

Mentions

arxiv: arXiv 2610.21408#U9D8, $\cos\beta=1/5$, second inward family (example). In 3XBEGXNPXZ/e1, example 7.4

History

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

CQD4YVGFFD CQD4YVGFFD

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

Mentions

arxiv: arXiv 2610.15700#BTYQ (statement). In S95MSZ7MDR/e1, lemma 3.21

History

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

CQD9D5ER3N CQD9D5ER3N

URI	`m2://inv/CQD9D5ER3N`
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#K6LL (statement). In CY1FE8W1ZW/e1, corollary 0.254

History

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

hasty generalization CQD9F2ZWN8

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

Mentions

wikipedia: Wikipedia Glossary of logic#T2TI, hasty generalization (definition)

History

2026-11-02: add by m2/dev

CQDBYX7GR3 CQDBYX7GR3

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

Mentions

arxiv: arXiv 2411.17412#2MD5 (statement). In DPBHYJBGKD/e1, theorem 3.8

History

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

Monotone convergence theorem CQDCA0H97X

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-47, Monotone convergence theorem (statement). In VNMV985MXX, thm, section E.1

History

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

Disorder problem CQDK0FM606

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

Mentions

wikipedia: Wikipedia Disorder problem, Disorder problem (problem). Also Wikidata Q5282511

History

2026-11-02: add by m2/dev

Applications CQDM0BSZJ1

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

Mentions

wikipedia: Wikipedia Lumped-element model#HIEC, Applications (example)

History

2026-11-02: add by m2/dev

CQDV38912Q CQDV38912Q

URI	`m2://inv/CQDV38912Q`
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 2207.07461#LJI0 (statement). In GAG532VMPF/e1, theorem 1.1.7

History

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

CQDVD24QBB CQDVD24QBB

URI	`m2://inv/CQDVD24QBB`
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.31604#KMY3 (definition). In GSN5YTQS2K/e1, definition 2.7

History

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

Example CQE1VQYKDW

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

Mentions

wikipedia: Wikipedia Friedrichs extension#SG1A, Example (example)

History

2026-11-02: add by m2/dev

Optimized discretization rate CQEBMM3XM1

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

Mentions

arxiv: arXiv 2609.35531#9JZW, Optimized discretization rate (statement). In 6VBKRCMF4K/e1, corollary 2.4

History

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

Tracking recursion CQEKGF4V8Z

URI	`m2://inv/CQEKGF4V8Z`
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.13773#3TNX, Tracking recursion (statement). In E75XQY0QFM/e1, lemma F.6

History

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

prolate spheroid CQENHCPVSP

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

Mentions

wikidata: Wikidata Q3297588, prolate spheroid (unknown). Also MathWorld ProlateSpheroid

History

2026-10-26: add by m2/dev

CQEP3JYY28 CQEP3JYY28

URI	`m2://inv/CQEP3JYY28`
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 2305.13184#30W5 (statement). In SKYG9GMA96/e1, theorem 1.1

History

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

Mac Lane set theory CQETS2ZZ40

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

Mentions

wikipedia: Wikipedia Zermelo set theory#HRD4, Mac Lane set theory (unknown)

History

2026-11-02: add by m2/dev

CQEYMTVN5Y CQEYMTVN5Y

URI	`m2://inv/CQEYMTVN5Y`
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.23390#H27N (statement)

History

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

Josef Lennertz CQF9A4XMJY

URI	`m2://inv/CQF9A4XMJY`
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#PR36, Josef Lennertz (unknown)

History

2026-11-02: add by m2/dev

CQFGVBNYB2 CQFGVBNYB2

URI	`m2://inv/CQFGVBNYB2`
Kind	problem
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 2609.26201#EB9M (problem)

History

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

CQFZWB1EGZ CQFZWB1EGZ

URI	`m2://inv/CQFZWB1EGZ`
Kind	statement
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.01208#92ZO (statement). In 317GZJ38HS/e1, theorem 4.11

History

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

Turin CQGFBP9N2A

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

Mentions

wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#KD21, Turin (unknown)

History

2026-11-02: add by m2/dev

CQGRKQBDV0 CQGRKQBDV0

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

Mentions

arxiv: arXiv 2609.27518#XYUI (statement)

History

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

Noncommutative topology CQH4TR92RR

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#JSSS, Noncommutative topology (definition)

History

2026-11-02: add by m2/dev

determinateness CQH7444X6A

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

Mentions

wikipedia: Wikipedia Glossary of set theory#G99L, determinateness (definition)

History

2026-11-02: add by m2/dev

CQH7TNN96X CQH7TNN96X

URI	`m2://inv/CQH7TNN96X`
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.28489#HF97 (statement)

History

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

Compatibility with classical Cauchy data CQHA9SG63C

URI	`m2://inv/CQHA9SG63C`
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.17519#W4W7, Compatibility with classical Cauchy data (statement). In H2DNTQ5MKV/e1, proposition 4.8

History

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

CQHAYH8FQ8 CQHAYH8FQ8

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

Mentions

austin_ula: austin_ula src/exercises/exercises1-1.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 1.1

History

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

Triglav CQHC7ZEDTQ

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

Mentions

wikipedia: Wikipedia List of places with numeric names#JJ5O, Triglav (unknown)

History

2026-11-02: add by m2/dev

Recurrence matrices under cyclic Christoffel shifts CQHGE1057E

URI	`m2://inv/CQHGE1057E`
Kind	statement
Layer	research
MSC	05-XX, 26-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.26066#1ZBN, Recurrence matrices under cyclic Christoffel shifts (statement)

History

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

Automated planning CQHJS9ZSVH

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#0N04, Automated planning (topic)

History

2026-11-02: add by m2/dev

CQHM5J2PBE CQHM5J2PBE

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

Mentions

arxiv: arXiv 2610.01216#BUPE (statement). In 59016RQTW6/e1, proposition 2.2

History

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

CQHQ3BTMJR CQHQ3BTMJR

URI	`m2://inv/CQHQ3BTMJR`
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.23279#HMC2 (statement)

History

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

Use CQHRZRCTHA

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

Mentions

wikipedia: Wikipedia Seismic migration#LUJ9, Use (example)

History

2026-11-02: add by m2/dev

Level-set method CQHS46RR2T

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#PSHY, Level-set method (definition)

History

2026-11-02: add by m2/dev

Theorem CQHV8KH9E8

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

Mentions

wikipedia: Wikipedia Gelfand representation#XM5Z, Theorem (statement)

History

2026-11-02: add by m2/dev

Formal power series over a semiring CQHZN6F1TA

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

Mentions

wikipedia: Wikipedia Formal power series#KR4Y, Formal power series over a semiring (unknown)

History

2026-11-02: add by m2/dev

CQJ1JVW9CH CQJ1JVW9CH

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#proof-11 (proof). In E59CDZA4DP, proof, section 10.2.4

History

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

CQJ2M6YXSE CQJ2M6YXSE

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

Mentions

arxiv: arXiv 2609.36181#FPDW (statement). In 1KSE33PVS6/e1, proposition 68

History

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

John Hempel CQJ6Q4RPVN

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

Mentions

wikipedia: Wikipedia John Hempel, John Hempel (topic). Also Wikidata Q102128847

History

2026-11-02: add by m2/dev

Definition CQJ71RY624

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

Mentions

wikipedia: Wikipedia Morlet wavelet#OM29, Definition (definition)

History

2026-11-02: add by m2/dev

Properties CQJBFWKY10

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

Mentions

wikipedia: Wikipedia Multiply perfect number#CDO9, Properties (statement)

History

2026-11-02: add by m2/dev

Slepian function CQJBY1M0V3

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

Mentions

wikipedia: Wikipedia Slepian function, Slepian function (definition). Also Wikidata Q134895350

History

2026-11-02: add by m2/dev

Macdonald's formula for symmetric products CQJF8158W1

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

Mentions

wikipedia: Wikipedia Plethystic exponential#KM8F, Macdonald's formula for symmetric products (statement)

History

2026-11-02: add by m2/dev

Gösta Mittag-Leffler CQJHK8YCTE

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

Mentions

wikipedia: Wikipedia Gösta Mittag-Leffler, Gösta Mittag-Leffler (topic). Also Wikidata Q357154

History

2026-11-02: add by m2/dev

CQJTR2VBA9 CQJTR2VBA9

URI	`m2://inv/CQJTR2VBA9`
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.21036#RF8Y (statement). In G0M4N3E0CG/e1, lemma 2.1

History

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

Russell Mael CQK5NBV7P4

URI	`m2://inv/CQK5NBV7P4`
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#UZ4P, Russell Mael (unknown)

History

2026-11-02: add by m2/dev

CQK6BNVG90 CQK6BNVG90

URI	`m2://inv/CQK6BNVG90`
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.30999#RXW5 (statement). In J1BWCKW2QK/e1, theorem

History

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

CQKD0RHEVX CQKD0RHEVX

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

Mentions

arxiv: arXiv 2609.34011#1UUX (statement). In RAXRNDW2Z0/e1, lemma 4.1

History

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

Formulation CQKDM53801

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

Mentions

wikipedia: Wikipedia Covariance intersection#KSQ2, Formulation (definition)

History

2026-11-02: add by m2/dev

Theorem CQKF7WPNRY

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

Mentions

wikipedia: Wikipedia Fine and Wilf's theorem#VPPO, Theorem (statement)

History

2026-11-02: add by m2/dev

CQKJWZJEYG CQKJWZJEYG

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

Mentions

arxiv: arXiv 2610.01216#2459 (statement). In 59016RQTW6/e1, theorem 7.1

History

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

Lidinoid CQKN2E8QMK

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#2GRO, Lidinoid (definition)
wikipedia: Wikipedia List of surfaces#BLUI, Lidinoid (definition)

History

2026-11-02: add by m2/dev

A cut of bounded size in a full program CQKNRP8N33

URI	`m2://inv/CQKNRP8N33`
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#YDD0, A cut of bounded size in a full program (statement). In ZZER8ZBSCR/e1, lemma 4.6

History

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

CQKW2DZ9CX CQKW2DZ9CX

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

Mentions

arxiv: arXiv 2610.15169#E5WP (statement). In V7SN19J84T/e1, proposition 4.7

History

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

CQKW5MNCEX CQKW5MNCEX

URI	`m2://inv/CQKW5MNCEX`
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 2609.23167#Q19S (statement)

History

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

Moduli stack of vector bundles CQKX7VC29R

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

Mentions

wikipedia: Wikipedia Moduli stack of vector bundles, Moduli stack of vector bundles (definition). Also Wikidata Q30694102

History

2026-11-02: add by m2/dev

Ramsey cardinal CQM1JTT3RZ

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

Mentions

wikipedia: Wikipedia Ramsey cardinal, Ramsey cardinal (definition). Also Wikidata Q255914

History

2026-11-02: add by m2/dev

Subtangent CQM43E4AQF

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

Mentions

wikipedia: Wikipedia Subtangent, Subtangent (definition). Also Wikidata Q382797

History

2026-11-02: add by m2/dev

Dynamic time warping CQM5VT8V5X

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

Mentions

wikipedia: Wikipedia List of algorithms#5SY2, Dynamic time warping (definition)

History

2026-11-02: add by m2/dev

Small icosicosidodecahedron CQM7KFKF3F

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#H88L, Small icosicosidodecahedron (object)

History

2026-11-02: add by m2/dev

Olga Holtz CQMCKHZBXZ

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

Mentions

wikipedia: Wikipedia Olga Holtz, Olga Holtz (topic). Also Wikidata Q1699677

History

2026-11-02: add by m2/dev

Almost Sure Invariance Principle CQMCQPFJXC

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

Mentions

arxiv: arXiv 2609.33590#90Z6, Almost Sure Invariance Principle (statement). In WRE0P7V6Z3/e1, theorem D.8

History

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

Seismic inversion CQMNBFXPFZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#FRB4, Seismic inversion (definition)

History

2026-11-02: add by m2/dev

CQMQ2MSS9V CQMQ2MSS9V

URI	`m2://inv/CQMQ2MSS9V`
Kind	definition
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#EDQB (definition). In 7V3HG30ZGW/e1, definition A.10

History

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

Definition CQMR48FP52

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

Mentions

wikipedia: Wikipedia Triangulated category#J969, Definition (definition)

History

2026-11-02: add by m2/dev

Graph of a function CQMS9AP34V

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#65B7, Graph of a function (definition)

History

2026-11-02: add by m2/dev

CQMSP5EDBY CQMSP5EDBY

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

Mentions

arxiv: arXiv 2609.28323#73SL (statement)

History

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

Energy-based model CQMT8943DG

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

Mentions

wikipedia: Wikipedia Energy-based model, Energy-based model (definition). Also Wikidata Q85759291

History

2026-11-02: add by m2/dev

Novikov ring CQMW7PAM4R

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

Mentions

wikipedia: Wikipedia Novikov ring, Novikov ring (definition). Also Wikidata Q17144196

History

2026-11-02: add by m2/dev

A converse of Miquel's theorem CQMXZC3X0X

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

Mentions

wikipedia: Wikipedia Miquel's theorem#N9P0, A converse of Miquel's theorem (statement)

History

2026-11-02: add by m2/dev

CQN1EBZY01 CQN1EBZY01

URI	`m2://inv/CQN1EBZY01`
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.03337#7D8B (statement). In VH7EZDGTNA/e1, lemma 2.10

History

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

Induction argument 1 CQN24EEQ2Q

URI	`m2://inv/CQN24EEQ2Q`
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.30957#38EA, Induction argument 1 (statement). In P5YB6R0RK3/e1, lemma C.9

History

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

CQN61XG2ZZ CQN61XG2ZZ

URI	`m2://inv/CQN61XG2ZZ`
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 2508.02432#DDNR (statement). In B366ACYB37/e1, theorem 3.25

History

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

CQN8EN71T9 CQN8EN71T9

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

Mentions

arxiv: arXiv 2308.05066#S2VY (definition). In 1QSCT53ZED/e1, definition 2.9

History

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

proposition, as types CQNKG78BGF

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

Mentions

hott_book: hott_book index/9.2/proposition-as-types, proposition, as types (concept). In N54F33XE07, index, section 9.2

History

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

CQNKKA1BT0 CQNKKA1BT0

URI	`m2://inv/CQNKKA1BT0`
Kind	example
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.37578#YC8T (example). In D7NDCWSDJE/e1, example 5

History

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

CQNQJKCRWE CQNQJKCRWE

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

Mentions

arxiv: arXiv 1503.05744#ILN7 (example). In 5XKHZKEGAF/e1, example 2.3

History

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

Russo–Dye theorem CQNXXD0SAM

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

Mentions

wikipedia: Wikipedia Russo–Dye theorem, Russo–Dye theorem (statement). Also Wikidata Q7382362

History

2026-11-02: add by m2/dev

Linda Liau CQNZ4FA2ZV

URI	`m2://inv/CQNZ4FA2ZV`
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#DAK7, Linda Liau (unknown)

History

2026-11-02: add by m2/dev

CQNZXDVVZE CQNZXDVVZE

URI	`m2://inv/CQNZXDVVZE`
Kind	example
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.17442#5ANG (example). In 6ADGJ51W1P/e1, example 3

History

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

multiplicatively closed set CQP5A57VB7

URI	`m2://inv/CQP5A57VB7`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Multiplicative set AN9SKEZ3VY

Mentions

wikidata: Wikidata Q2917823, multiplicatively closed set (unknown). Also MathWorld MultiplicativelyClosed
wikipedia: Wikipedia Multiplicatively closed set, Multiplicatively closed set (definition). Also Wikidata Q2917823

History

2026-10-26: add by m2/dev

CQP9PJN0M8 CQP9PJN0M8

URI	`m2://inv/CQP9PJN0M8`
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.36412#Y2XC (statement). In 6HKGGCMBCK/e1, proposition 1.11

History

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

CQPBP3Y9KW CQPBP3Y9KW

URI	`m2://inv/CQPBP3Y9KW`
Kind	statement
Layer	research
MSC	65-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.24232#RUNS (statement)

History

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

Ross–Fahroo lemma CQPR7TNG5Z

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#2K2C, Ross–Fahroo lemma (unknown)

History

2026-11-02: add by m2/dev

CQPZWB01X5 CQPZWB01X5

URI	`m2://inv/CQPZWB01X5`
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.33697#HIEG (statement). In Q6GGQ29TRC/e1, theorem

History

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

CQQ0PWV9A5 CQQ0PWV9A5

URI	`m2://inv/CQQ0PWV9A5`
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.38532#A08I (statement). In X7YYWCZFTV/e1, fact 4.3

History

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

Margaret Gurney CQQ1VMRQ1C

URI	`m2://inv/CQQ1VMRQ1C`
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#2KQU, Margaret Gurney (topic)

History

2026-11-02: add by m2/dev

Eliyahu Rips CQQ5HAY3DP

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#MSUQ, Eliyahu Rips (topic)

History

2026-11-02: add by m2/dev

Lobachevsky function CQQ6FKEQ3J

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

Mentions

wikipedia: Wikipedia Clausen function#A733, Lobachevsky function (unknown)

History

2026-11-02: add by m2/dev

John Duns Scotus CQQAKSHHG3

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

Mentions

wikipedia: Wikipedia List of logicians#590Z, John Duns Scotus (topic)

History

2026-11-02: add by m2/dev

Boris Kordemsky CQQMGT58KT

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

Mentions

wikipedia: Wikipedia Boris Kordemsky, Boris Kordemsky (topic). Also Wikidata Q893615

History

2026-11-02: add by m2/dev

CQQYRPMMZ1 CQQYRPMMZ1

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

Mentions

arxiv: arXiv 2610.15316#QKDU (statement). In 3K84E4150C/e1, lemma 5.1

History

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

Yair Censor CQR0WX0R82

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

Mentions

wikipedia: Wikipedia Yair Censor, Yair Censor (topic). Also Wikidata Q8046975

History

2026-11-02: add by m2/dev

Floquet theory CQR3CRV1FQ

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

Mentions

mathlib_1000: mathlib_1000 Q902618, Floquet's theorem (statement). Also Wikidata Q902618
thousand_plus: thousand_plus Q902618, Floquet's theorem (statement). Also Wikidata Q902618
wikipedia: Wikipedia Floquet theory, Floquet theory (topic). Also Wikidata Q902618

History

2026-10-26: add by m2/dev

* CQR69MDZ2Q

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#0W0N, * (definition)

History

2026-11-02: add by m2/dev

CQR9VYWRXP CQR9VYWRXP

URI	`m2://inv/CQR9VYWRXP`
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.33552#1XZU (statement). In SRAS2DJJQH/e1, lemma 5.6

History

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

CQRA5WQ3C6 CQRA5WQ3C6

URI	`m2://inv/CQRA5WQ3C6`
Kind	statement
Layer	research
MSC	05-XX, 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 2609.27023#T22N (statement)

History

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

Examples CQRB5BB7AF

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

Mentions

wikipedia: Wikipedia Feller process#U4O2, Examples (example)

History

2026-11-02: add by m2/dev

CQRCADS2W5 CQRCADS2W5

URI	`m2://inv/CQRCADS2W5`
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 2208.14274#YV3J (statement). In 2FKE7JPQ76/e1, proposition 3.8

History

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

CQRGVJC0M6 CQRGVJC0M6

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

Mentions

arxiv: arXiv 1209.5343#12QS (statement). In 4SPYEGKZ8J/e1, lemma 3.7

History

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

Definitions CQRJ733SQF

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

Mentions

wikipedia: Wikipedia Riemann series theorem#NS02, Definitions (definition)

History

2026-11-02: add by m2/dev

CQSCJN5T4C CQSCJN5T4C

URI	`m2://inv/CQSCJN5T4C`
Kind	statement
Layer	research
MSC	16-XX, 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 2610.21365#EDZT (statement). In FCMMB2EVAP/e1, proposition 2.35

History

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

Evans CQSGV229K1

URI	`m2://inv/CQSGV229K1`
Kind	definition
Layer	research
MSC	11-XX, 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 2610.12203#H2U7, Evans (definition). In F4YTAZSCS2/e1, definition 2.1

History

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

CQSHNZA154 CQSHNZA154

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

Mentions

arxiv: arXiv 2609.27518#OH8X (statement)

History

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

CQSJ8Q27C2 CQSJ8Q27C2

URI	`m2://inv/CQSJ8Q27C2`
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#0WFG (statement). In TX0H26X4VX/e1, lemma 8.1

History

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

CQSK0ECX32 CQSK0ECX32

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/multiplication.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 71.11

History

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

CQT5P5P4BY CQT5P5P4BY

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#37N1 (definition)

History

2026-11-02: add by m2/dev

CQTD2ZHDX1 CQTD2ZHDX1

URI	`m2://inv/CQTD2ZHDX1`
Kind	definition
Layer	research
MSC	20-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.28774#UZEL (definition)

History

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

Variations CQTDQ9MKHR

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

Mentions

wikipedia: Wikipedia Distinguishing coloring#8HPA, Variations (statement)

History

2026-11-02: add by m2/dev

CQTFV6TR9H CQTFV6TR9H

URI	`m2://inv/CQTFV6TR9H`
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.24051#W86L (statement)

History

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

graph homomorphism CQTGZEFK2A

URI	`m2://inv/CQTGZEFK2A`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Graph homomorphism 052JJ9YVNM

Mentions

wikidata: Wikidata Q3385162, graph homomorphism (definition). Also MathWorld StructureHomomorphism, ProofWiki Definition:Homomorphism_(Graph_Theory)
wikipedia: Wikipedia Graph homomorphism, Graph homomorphism (definition). Also Wikidata Q3385162

History

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

Simon Donaldson CQTMEHZGK5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#3GPG, Simon Donaldson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ITFR, Simon Donaldson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NAYC, Simon Donaldson (topic)

History

2026-11-02: add by m2/dev

Goodhart's law CQTR9DD00B

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZEVJ, Goodhart's law (statement)

History

2026-11-02: add by m2/dev

Run-length encoding CQTWMNW9Z1

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

Mentions

wikipedia: Wikipedia Run-length encoding, Run-length encoding (definition). Also Wikidata Q2797

History

2026-11-02: add by m2/dev

Equalizer (category theory) CQTZF2440H

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

Mentions

wikipedia: Wikipedia Equaliser (mathematics)#RGD1, Equalizer (category theory) (unknown)

History

2026-11-02: add by m2/dev

power set CQV29EFF27

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

Mentions

hott_book: hott_book index/B.5/power-set, power set (concept). In N54F33XE07, index, section B.5

History

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

Applications CQV6F3818J

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

Mentions

wikipedia: Wikipedia Harmonic index#E8IL, Applications (example)

History

2026-11-02: add by m2/dev

CQVA8SA3AW CQVA8SA3AW

URI	`m2://inv/CQVA8SA3AW`
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.07049#FEK1 (statement). In GMF552ESG6/e1, lemma 6.1

History

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

CQVBS5GWT5 CQVBS5GWT5

URI	`m2://inv/CQVBS5GWT5`
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.19459#TE1F (example). In SATS9RFBX7/e1, example

History

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

CQVGZX5YJ1 CQVGZX5YJ1

URI	`m2://inv/CQVGZX5YJ1`
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.22263#7KWK (statement)

History

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

Slice knot CQVWVC78KY

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

Mentions

wikipedia: Wikipedia List of knot theory topics#SI3X, Slice knot (definition)

History

2026-11-02: add by m2/dev

CQVYREJ781 CQVYREJ781

URI	`m2://inv/CQVYREJ781`
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.09578#U65Z (statement). In WT0ZB7R39B/e1, theorem 1.2

History

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

Solitary number CQW072TVB2

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#H5DA, Solitary number (conjecture)

History

2026-11-02: add by m2/dev

CQW0YHC1YM CQW0YHC1YM

URI	`m2://inv/CQW0YHC1YM`
Kind	example
Layer	research
MSC	37-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 2503.01567#DAKA (example). In GB0V23Q6C5/e1, example A.1

History

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

Statistical fluctuations CQW4FQGD2D

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

Mentions

wikipedia: Wikipedia Statistical fluctuations, Statistical fluctuations (definition). Also Wikidata Q7604395

History

2026-11-02: add by m2/dev

Theorem (Bieberbach) CQW5R66H4Q

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

Mentions

wikipedia: Wikipedia Topological rigidity#BV8B, Theorem (Bieberbach) (statement)

History

2026-11-02: add by m2/dev

Causes of food insecurity among college students in the United States CQW7TBECBK

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

Mentions

wikipedia: Wikipedia Food insecurity among college students in the United States#FBVV, Causes of food insecurity among college students in the United States (unknown)

History

2026-11-02: add by m2/dev

Comparison to Planck's law CQW87YW85S

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

Mentions

wikipedia: Wikipedia Rayleigh–Jeans law#61B8, Comparison to Planck's law (statement)

History

2026-11-02: add by m2/dev

Relative cycle CQWKKJSE9S

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

Mentions

wikipedia: Wikipedia Relative cycle, Relative cycle (definition). Also Wikidata Q55643339

History

2026-11-02: add by m2/dev

CQWPWXKG85 CQWPWXKG85

URI	`m2://inv/CQWPWXKG85`
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 2510.12502#UUX2 (definition). In 3A4K47Y9F2/e1, definition 6.28

History

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

Local Langlands conjectures for GL2 CQWQSXJ8AG

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

Mentions

wikipedia: Wikipedia Local Langlands conjectures#3G77, Local Langlands conjectures for GL2 (statement)

History

2026-11-02: add by m2/dev

soliton CQWWGSP0YR

URI	`m2://inv/CQWWGSP0YR`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Soliton 63D4AXYCT4

Mentions

wikidata: Wikidata Q464949, soliton (unknown). Also MathWorld Soliton
wikipedia: Wikipedia Soliton, Soliton (definition). Also Wikidata Q464949

History

2026-10-26: add by m2/dev

James Joseph Sylvester CQWZCBFAK7

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

Mentions

wikipedia: Wikipedia List of actuaries#QSTJ, James Joseph Sylvester (topic)

History

2026-11-02: add by m2/dev

Symmetric-KL Minimiser CQX5X9AHH5

URI	`m2://inv/CQX5X9AHH5`
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.27120#1WQC, Symmetric-KL Minimiser (statement)

History

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

Packing dimension CQX67CJZBW

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

Mentions

wikipedia: Wikipedia Packing dimension, Packing dimension (definition). Also Wikidata Q5404299

History

2026-11-02: add by m2/dev

CQXDRARX6M CQXDRARX6M

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

Mentions

arxiv: arXiv 2505.04593#9JCG (statement). In PEXJPV3NP8/e1, theorem 4.4

History

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

Jacobian and weight estimates CQXEX96VZY

URI	`m2://inv/CQXEX96VZY`
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.12873#48CY, Jacobian and weight estimates (statement). In 9MMD2N7DQ1/e1, lemma 6.3

History

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

Joseph Silverman CQY8VY95C8

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

Mentions

wikipedia: Wikipedia Joseph Silverman, Joseph Silverman (topic). Also Wikidata Q6286995

History

2026-11-02: add by m2/dev

CQYAQXK0B1 CQYAQXK0B1

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

Mentions

arxiv: arXiv 2508.21045#VV90 (definition). In CGA36VE1C5/e1, definition 2.1.6

History

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

Gallery of curves CQYBVYTQBJ

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

Mentions

wikipedia: Wikipedia Gallery of curves, Gallery of curves (definition). Also Wikidata Q5519012

History

2026-11-02: add by m2/dev

Yule's Y CQYG5P0XQR

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

Mentions

wikipedia: Wikipedia List of statistics articles#TDXE, Yule's Y (definition)

History

2026-11-02: add by m2/dev

boundary conformal field theory CQYG6EATS9

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

Mentions

wikidata: Wikidata Q4949964, boundary conformal field theory (unknown). Also nLab boundary conformal field theory

History

2026-10-26: add by m2/dev

CQYH59NXXD CQYH59NXXD

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

Mentions

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

History

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

Applications CQYMHEK1TJ

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

Mentions

wikipedia: Wikipedia Frobenius–Schur indicator#MXJ2, Applications (example)

History

2026-11-02: add by m2/dev

Alon–Boppana bound CQYSBR9K9P

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

Mentions

wikipedia: Wikipedia Alon–Boppana bound, Alon–Boppana bound (definition). Also Wikidata Q85741005

History

2026-11-02: add by m2/dev

CQYWH8KKKC CQYWH8KKKC

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

Mentions

arxiv: arXiv 2610.13100#TMXX (statement). In CC6S1HVK0T/e1, corollary 3.14

History

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

CQYX3W56F7 CQYX3W56F7

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

Mentions

arxiv: arXiv 2609.37931#6TYI (example). In J8C1EXQW86/e1, example 4.6

History

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

CQZ5433F29 CQZ5433F29

URI	`m2://inv/CQZ5433F29`
Kind	statement
Layer	research
MSC	11-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 2610.02111#RBK5 (statement). In NC5ZRF6F8N/e1, lemma 6.2

History

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

CQZED4997X CQZED4997X

URI	`m2://inv/CQZED4997X`
Kind	definition
Layer	research
MSC	20-XX, 22-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.32916#UPQ4 (definition). In G1RP4JY5PE/e1, definition 2.2.1

History

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

John B. Bell CQZP3GKQAM

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

Mentions

wikipedia: Wikipedia John B. Bell (mathematician), John B. Bell (topic). Also Wikidata Q11098313

History

2026-11-02: add by m2/dev

Bohuslav Hostinský CQZS2RVCB4

URI	`m2://inv/CQZS2RVCB4`
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#I9SZ, Bohuslav Hostinský (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JZJ3, Bohuslav Hostinský (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MZLC, Bohuslav Hostinský (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZG84, Bohuslav Hostinský (topic)

History

2026-11-02: add by m2/dev

Tim Austin CQZSRYGTEK

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

Mentions

wikipedia: Wikipedia Tim Austin (mathematician), Tim Austin (topic). Also Wikidata Q136400136

History

2026-11-02: add by m2/dev

CQZV44R07C CQZV44R07C

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-18 (exercise). In Y91XFCEVHQ, exercise, section 6.2

History

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

CQZWYB8FP2 CQZWYB8FP2

URI	`m2://inv/CQZWYB8FP2`
Kind	statement
Layer	research
MSC	03-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.12612#ML16 (statement). In 8A0VZV8PBN/e1, lemma 3.1

History

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