Inventory rows GE

Barnum effect GE03QS6R7M

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

Mentions

wikipedia: Wikipedia List of cognitive biases#2VA5, Barnum effect (unknown)

History

2026-11-02: add by m2/dev

algebraic geometry over the field with one element GE03TEAMH0

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#27PM, algebraic geometry over the field with one element (definition)

History

2026-11-02: add by m2/dev

Cornish–Fisher expansion GE0BNWAPFQ

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

Mentions

wikipedia: Wikipedia Cornish–Fisher expansion, Cornish–Fisher expansion (definition). Also Wikidata Q1134189

History

2026-11-02: add by m2/dev

GE0FZA0QF4 GE0FZA0QF4

URI	`m2://inv/GE0FZA0QF4`
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.04323#AHYZ (statement). In 3Z0D2NCJ0B/e1, lemma 29

History

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

GE0GM45R2E GE0GM45R2E

URI	`m2://inv/GE0GM45R2E`
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 2011.08789#AWNL (statement). In 43AGRMP7T3/e1, theorem

History

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

Algebraic Geometry Code GE0HBABMMD

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

Mentions

arxiv: arXiv 2609.31484#JDYU, Algebraic Geometry Code (definition). In 1RDQ10G87W/e1, definition 2.1

History

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

GE0M38F809 GE0M38F809

URI	`m2://inv/GE0M38F809`
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.19982#VNMA (statement)

History

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

GE0VND6TQ9 GE0VND6TQ9

URI	`m2://inv/GE0VND6TQ9`
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#QSLI (statement). In GK1V5GEHTK/e1, theorem 5.1

History

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

Examples GE0WS8J473

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

Mentions

wikipedia: Wikipedia Minimal polynomial (field theory)#DK2T, Examples (example)

History

2026-11-02: add by m2/dev

Polynomial identity ring GE158MZAC5

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

Mentions

wikipedia: Wikipedia Polynomial identity ring, Polynomial identity ring (statement). Also Wikidata Q7226641

History

2026-11-02: add by m2/dev

Skein relation GE16WYVJ17

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

Mentions

wikipedia: Wikipedia List of knot theory topics#33Z2, Skein relation (definition)

History

2026-11-02: add by m2/dev

Sebastian De Haro GE1CHBB27F

URI	`m2://inv/GE1CHBB27F`
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 Q56489778, Sebastian De Haro (unknown). Also nLab Sebastian de Haro

History

2026-10-26: add by m2/dev

Lagrange resolvent GE1FCR9EZH

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

Mentions

wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#BJYP, Lagrange resolvent (definition)

History

2026-11-02: add by m2/dev

Properties GE1HBJAYDA

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

Mentions

wikipedia: Wikipedia Multivariate normal distribution#B5FK, Properties (statement)

History

2026-11-02: add by m2/dev

GE1S3BRKKT GE1S3BRKKT

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

Mentions

arxiv: arXiv 2609.39293#59WO (statement). In S26QVW5613/e1, lemma 2.1.4

History

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

Remembering a field in discrete time GE1TCX46SZ

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

Mentions

arxiv: arXiv math/0003117#LGPK, Remembering a field in discrete time (statement). In WD2NCBV9F0/e1, theorem 1

History

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

sequence GE1TVTCKXY

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

Mentions

levin_dmoi: levin_dmoi index/3.1/sequence, sequence (concept). In Y91XFCEVHQ, index, section 3.1

History

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

Examples GE1XTNKZW9

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

Mentions

wikipedia: Wikipedia Regular chain#SLAT, Examples (example)

History

2026-11-02: add by m2/dev

GE1Z02RDFJ GE1Z02RDFJ

URI	`m2://inv/GE1Z02RDFJ`
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#ISF0 (statement). In CC6S1HVK0T/e1, lemma E.1

History

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

GE214QFBSH GE214QFBSH

URI	`m2://inv/GE214QFBSH`
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.39260#L9CO (statement). In ZNDB1AZZSA/e1, corollary 2.3

History

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

GE27FSE0DS GE27FSE0DS

URI	`m2://inv/GE27FSE0DS`
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 0805.4273#C5XC (statement). In ZX3NV58FRX/e1, corollary 4.3

History

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

Variations GE2AYZW0DM

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

Mentions

wikipedia: Wikipedia Tensor sketch#W537, Variations (statement)

History

2026-11-02: add by m2/dev

Examples GE2DVWN1KT

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

Mentions

wikipedia: Wikipedia BK-space#883N, Examples (example)

History

2026-11-02: add by m2/dev

GE2PP8FK73 GE2PP8FK73

URI	`m2://inv/GE2PP8FK73`
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.25843#L695 (statement)

History

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

Well travelled road effect GE2PTQ507K

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

Mentions

wikipedia: Wikipedia List of cognitive biases#7HHP, Well travelled road effect (definition)

History

2026-11-02: add by m2/dev

Palliyara Sreedharan GE2S5KA09H

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

Mentions

wikipedia: Wikipedia Palliyara Sreedharan, Palliyara Sreedharan (topic). Also Wikidata Q13113143

History

2026-11-02: add by m2/dev

Siddhartha Mishra GE2TPNBWRE

URI	`m2://inv/GE2TPNBWRE`
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#07CG, Siddhartha Mishra (unknown)

History

2026-11-02: add by m2/dev

GE2TZWJ49X GE2TZWJ49X

URI	`m2://inv/GE2TZWJ49X`
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.08873#DA8E (statement). In 7WMNVJBAVR/e1, corollary 3.6

History

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

Mary Wheeler GE2ZRS3A0M

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

Mentions

wikipedia: Wikipedia Mary Wheeler, Mary Wheeler (topic). Also Wikidata Q435958

History

2026-11-02: add by m2/dev

Finite-burst semigroup and generator GE3B9CK0GT

URI	`m2://inv/GE3B9CK0GT`
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.20302#HLEE, Finite-burst semigroup and generator (statement). In GN8JWKH956/e1, proposition 5.1

History

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

circumscribed circle GE42M0J6N8

URI	`m2://inv/GE42M0J6N8`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Circumcircle 03VZJE6C8C

Mentions

wikidata: Wikidata Q110176, circumscribed circle (definition). Also MathWorld Circumcircle, ProofWiki Definition:Circumcircle_of_Triangle
wikidata: Wikidata Q2946460, circumscribed circle for triangle (unknown). Also MathWorld Circumcircle
wikipedia: Wikipedia Circumscribed circle, Circumscribed circle (definition). Also Wikidata Q110176
wikipedia: Wikipedia Circumcircle, Circumcircle (definition). Also Wikidata Q2946460

History

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

Albert Edward, Prince of Wales GE44Y0SMQJ

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

Mentions

wikipedia: Wikipedia List of presidents of the Royal Statistical Society#TIOY, Albert Edward, Prince of Wales (unknown)

History

2026-11-02: add by m2/dev

Extensions GE47VFD6RB

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

Mentions

wikipedia: Wikipedia Functional additive model#M2OG, Extensions (statement)

History

2026-11-02: add by m2/dev

GE4836DYE1 GE4836DYE1

URI	`m2://inv/GE4836DYE1`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.04776#CONQ (statement). In WSQDYBQDSV/e1, lemma 1

History

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

GE4B4JW0XG GE4B4JW0XG

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

Mentions

arxiv: arXiv 1904.08413#3YRK (definition). In X88HPQ0W8C/e1, definition 3.8

History

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

Anisotropy and finite certificates GE4GSR58MK

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

Mentions

arxiv: arXiv 2609.38228#BEQ6, Anisotropy and finite certificates (statement). In 9YAE8FNQST/e1, corollary 14.12

History

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

Demographics of Africa GE4X6216WX

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

Mentions

wikipedia: Wikipedia Demographics of Africa, Demographics of Africa (definition). Also Wikidata Q3037005

History

2026-11-02: add by m2/dev

Hyperinteger GE4Y5FPD1P

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

Mentions

wikipedia: Wikipedia Hyperinteger, Hyperinteger (definition). Also Wikidata Q5958146

History

2026-11-02: add by m2/dev

Perspectivity GE4ZKTMJGD

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

Mentions

wikipedia: Wikipedia Perspectivity, Perspectivity (definition). Also Wikidata Q3924142

History

2026-11-02: add by m2/dev

Inverse cosine GE4ZZ10HMG

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#C8BC, Inverse cosine (definition)

History

2026-11-02: add by m2/dev

GE55QVNT91 GE55QVNT91

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

Mentions

arxiv: arXiv 2609.25761#DV51 (statement)

History

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

Examples GE57H7GGAH

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

Mentions

wikipedia: Wikipedia Planar algebra#GYAL, Examples (example)

History

2026-11-02: add by m2/dev

Statements of the theorem GE57HJKMK9

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

Mentions

wikipedia: Wikipedia Hausdorff–Young inequality#RFZD, Statements of the theorem (statement)

History

2026-11-02: add by m2/dev

Formula GE5J360S48

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

Mentions

wikipedia: Wikipedia Walsh matrix#FZKO, Formula (statement)

History

2026-11-02: add by m2/dev

Examples GE5S9A38Z5

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

Mentions

wikipedia: Wikipedia Siegel modular form#V944, Examples (example)

History

2026-11-02: add by m2/dev

Two stage least squares GE5V2MQ9X1

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

Mentions

wikipedia: Wikipedia List of statistics articles#RVRW, Two stage least squares (definition)

History

2026-11-02: add by m2/dev

GE61AVGP7G GE61AVGP7G

URI	`m2://inv/GE61AVGP7G`
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.25435#WT1T (statement)

History

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

GE67FB01S1 GE67FB01S1

URI	`m2://inv/GE67FB01S1`
Kind	statement
Layer	research
MSC	17-XX, 19-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 2504.00596#6ZNU (statement). In F8RC6AENB0/e1, theorem 3.5

History

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

Inherent zero GE6EN8DZK4

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

Mentions

wikipedia: Wikipedia Inherent zero, Inherent zero (definition). Also Wikidata Q6033734

History

2026-11-02: add by m2/dev

GE6Q5AQ6G4 GE6Q5AQ6G4

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

Mentions

austin_ula: austin_ula src/section4-3.xml#prop-powers-diag (statement). In 649HGZKE96, proposition, section 4.3.3

History

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

tensor GE6RG1KS19

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#AC98, tensor (definition)

History

2026-11-02: add by m2/dev

Bruce Schneier GE6RQVPD9Q

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#M3VA, Bruce Schneier (topic)

History

2026-11-02: add by m2/dev

GE75Y5XBNB GE75Y5XBNB

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

Mentions

arxiv: arXiv 2410.14097#C4UQ (statement). In H52QQS8WZA/e1, theorem

History

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

GE7A3TCG0H GE7A3TCG0H

URI	`m2://inv/GE7A3TCG0H`
Kind	example
Layer	research
MSC	18-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.10930#9L0Y (example). In HX63A1PH1W/e1, example 3.84

History

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

differential Galois theory GE7C2ARAN3

URI	`m2://inv/GE7C2ARAN3`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Differential Galois theory EEZS4H8QPH

Mentions

wikidata: Wikidata Q2383624, differential Galois theory (topic). Also nLab differential Galois theory
wikipedia: Wikipedia Differential Galois theory, Differential Galois theory (topic). Also Wikidata Q2383624

History

2026-10-26: add by m2/dev

Bernoulli's inequality GE7E57DD1V

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

Mentions

wikipedia: Wikipedia List of real analysis topics#MZFL, Bernoulli's inequality (statement)
wikipedia: Wikipedia List of inequalities#KDMG, Bernoulli's inequality (statement)

History

2026-11-02: add by m2/dev

GE7F1P9ZWJ GE7F1P9ZWJ

URI	`m2://inv/GE7F1P9ZWJ`
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.26896#N9UK (statement)

History

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

higher-order operad GE7XK23HSK

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

Mentions

wikidata: Wikidata Q55643078, higher-order operad (unknown). Also nLab (infinity,1)-operad

History

2026-10-26: add by m2/dev

Effective Henry's law constants GE80GMF7J2

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

Mentions

wikipedia: Wikipedia Henry's law#CA0G, Effective Henry's law constants (statement)

History

2026-11-02: add by m2/dev

Fixed-dimensional H\"older approximation by ReLU networks GE80YCX00X

URI	`m2://inv/GE80YCX00X`
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.05333#I9PN, Fixed-dimensional H\"older approximation by ReLU networks (statement). In N37WKFTR7Q/e1, lemma E.3

History

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

Marcelo Viana GE885C494A

URI	`m2://inv/GE885C494A`
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#IK1N, Marcelo Viana (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LJMW, Marcelo Viana (topic)

History

2026-11-02: add by m2/dev

GE8JJ6J7R7 GE8JJ6J7R7

URI	`m2://inv/GE8JJ6J7R7`
Kind	statement
Layer	research
MSC	26-XX, 51-XX, 52-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.20385#BNWQ (statement). In 54HS9AHWPE/e1, lemma 4.5

History

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

GE910WKYB7 GE910WKYB7

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

Mentions

arxiv: arXiv 2303.14022#ASAH (definition). In NSYR6W27FP/e1, definition 6.9

History

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

GE9FK21WFB GE9FK21WFB

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

Mentions

arxiv: arXiv 2609.35396#W83H (statement). In 51N4SF53EV/e1, lemma 2.5

History

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

Radius normalisation GE9FPARE8A

URI	`m2://inv/GE9FPARE8A`
Kind	statement
Layer	research
MSC	26-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 2609.22407#ZMWV, Radius normalisation (statement)

History

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

GE9NSD8AVS GE9NSD8AVS

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

Mentions

arxiv: arXiv 2609.35383#VNZ8 (statement). In HSR4748706/e1, theorem 1.4

History

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

GE9Q2AFHK4 GE9Q2AFHK4

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

Mentions

arxiv: arXiv 2610.13629#HLBP (definition). In PQNYA0C510/e1, definition 2.2

History

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

Singular control GEAB4G6MNF

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

Mentions

wikipedia: Wikipedia Singular control, Singular control (definition). Also Wikidata Q7524238

History

2026-11-02: add by m2/dev

Small-seed lower estimate GEABJF5N8F

URI	`m2://inv/GEABJF5N8F`
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.21328#VJW4, Small-seed lower estimate (statement). In BJXVV4ZF7B/e1, lemma 8.1

History

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

GEAF7APW53 GEAF7APW53

URI	`m2://inv/GEAF7APW53`
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.19283#QPDU (statement). In 28BAGZRCKG/e1, corollary 3.5

History

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

GEAFRRWRKD GEAFRRWRKD

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_counting-proofs.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 2.4

History

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

\acrlong{ph} system GEAMMVA4P0

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

Mentions

arxiv: arXiv 2610.01295#OLKK, \acrlong{ph} system (definition). In EHGJX4ETBN/e1, definition 2.2

History

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

GEASSVZD18 GEASSVZD18

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

Mentions

arxiv: arXiv 2609.36045#MMZ9 (statement). In F0E8YBV0Z0/e1, lemma 2.1

History

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

GEAV5Q266B GEAV5Q266B

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

Mentions

arxiv: arXiv 2609.21914#AUZP (statement)

History

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

Applications GEB0BPHEW5

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

Mentions

wikipedia: Wikipedia Discrete wavelet transform#DR5Y, Applications (example)

History

2026-11-02: add by m2/dev

GEB15KX5A9 GEB15KX5A9

URI	`m2://inv/GEB15KX5A9`
Kind	statement
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 2610.16339#ZUH8 (statement). In ER5EH4W919/e1, proposition 5.1

History

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

Vázsonyi problem , solved by Grünbaum, Heppes, and Straszewicz GEB62958ZQ

URI	`m2://inv/GEB62958ZQ`
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.06300#9848, Vázsonyi problem , solved by Grünbaum, Heppes, and Straszewicz (statement). In 751KSRS7WT/e1, theorem 1.2

History

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

Hénon map GEBFK1F7PJ

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

Mentions

wikipedia: Wikipedia Hénon map, Hénon map (definition). Also Wikidata Q1642961

History

2026-11-02: add by m2/dev

GEBWAPBXHZ GEBWAPBXHZ

URI	`m2://inv/GEBWAPBXHZ`
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 2511.05069#ASL7 (statement). In SFQBJBTW8K/e1, lemma 14.4

History

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

Perturbation Lemma GEBZD4E39D

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

Mentions

arxiv: arXiv 2610.10262#G5I2, Perturbation Lemma (statement). In MVSGDTN2PB/e1, lemma 5.7

History

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

Jacques Stern GEC0ZVF82N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#64VA, Jacques Stern (unknown)

History

2026-11-02: add by m2/dev

Fixed-ratio Hausdorff convergence GEC6TCV7FP

URI	`m2://inv/GEC6TCV7FP`
Kind	statement
Layer	research
MSC	26-XX, 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.09602#U1PF, Fixed-ratio Hausdorff convergence (statement). In 4AQ48WSBDQ/e1, theorem 3.9

History

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

First example (mental and written multiplication) GEC89KASZ0

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

Mentions

wikipedia: Wikipedia Distributive property#ZNAT, First example (mental and written multiplication) (definition)

History

2026-11-02: add by m2/dev

inaccessible cardinal GECR4GG1VG

URI	`m2://inv/GECR4GG1VG`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Inaccessible cardinal NW4DREQ5DQ

Mentions

wikidata: Wikidata Q1331373, inaccessible cardinal (definition). Also MathWorld InaccessibleCardinal, nLab inaccessible cardinal, ProofWiki Definition:Strongly_Inaccessible_Cardinal
wikipedia: Wikipedia Inaccessible cardinal, Inaccessible cardinal (definition). Also Wikidata Q1331373

History

2026-10-26: add by m2/dev

trichotomy GECR88B5K7

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

Mentions

wikipedia: Wikipedia Glossary of logic#L7P8, trichotomy (definition)

History

2026-11-02: add by m2/dev

GECVZAHV79 GECVZAHV79

URI	`m2://inv/GECVZAHV79`
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 2108.09796#CGQA (statement). In NAA7WFQN20/e1, theorem 7.5

History

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

GED3NYJ39H GED3NYJ39H

URI	`m2://inv/GED3NYJ39H`
Kind	statement
Layer	research
MSC	26-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 2609.29712#PD3U (statement)

History

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

GEDC6XJQTH GEDC6XJQTH

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

Mentions

arxiv: arXiv 2609.35030#2XRG (statement). In DPT4P2BTEW/e1, lemma 9.1

History

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

GEDD9KHNEH GEDD9KHNEH

URI	`m2://inv/GEDD9KHNEH`
Kind	problem
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 2510.23812#Y4VL (problem). In D8XZBXJPR5/e1, problem 2.13

History

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

Component GEDRZQZZSR

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

Mentions

wikipedia: Wikipedia Component (group theory), Component (definition). Also Wikidata Q5156688

History

2026-11-02: add by m2/dev

Definition GEDVNT9NZH

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

Mentions

wikipedia: Wikipedia M-matrix#YBD2, Definition (definition)

History

2026-11-02: add by m2/dev

GEDX0RTKC2 GEDX0RTKC2

URI	`m2://inv/GEDX0RTKC2`
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#A3Q5 (statement). In DPBHYJBGKD/e1, proposition 3.16

History

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

GEE59NGDD1 GEE59NGDD1

URI	`m2://inv/GEE59NGDD1`
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#255F (statement). In S95MSZ7MDR/e1, lemma 2.3

History

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

trigonometric power formulas GEE5C89R30

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

Mentions

wikidata: Wikidata Q140299171, trigonometric power formulas (statement). Also MathWorld TrigonometricPower-ReductionFormulas, MathWorld TrigonometricPowerFormulas, ProofWiki Power_Reduction_Formulas

History

2026-10-26: add by m2/dev

GEE6FTKFTC GEE6FTKFTC

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

Mentions

arxiv: arXiv 2212.06621#7EC7 (example). In DB223AABTH/e1, example 4.3

History

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

Correspondence of local extrema GEEJFCX2JQ

URI	`m2://inv/GEEJFCX2JQ`
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.15369#62F8, Correspondence of local extrema (statement). In JESNVAZEYT/e1, lemma 7

History

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

error equivalence in the broken norm GEET4CQ6TX

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

Mentions

arxiv: arXiv 2610.17678#TK4Y, error equivalence in the broken norm (statement). In V753EAWQ3S/e1, theorem 9.4

History

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

GEETAY774C GEETAY774C

URI	`m2://inv/GEETAY774C`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-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.25289#VKQR (statement)

History

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

Good reduction of the marked punctured line GEEWQZVKY4

URI	`m2://inv/GEEWQZVKY4`
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.04214#MVTN, Good reduction of the marked punctured line (statement). In HWY7AQ4KT2/e1, proposition 3.6

History

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

Application GEEXQTW8XK

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

Mentions

wikipedia: Wikipedia Continuous linear extension#9SI4, Application (example)

History

2026-11-02: add by m2/dev

MTProto GEF4YQCRM2

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

Mentions

wikipedia: Wikipedia Telegram (software)#5HFM, MTProto (unknown)

History

2026-11-02: add by m2/dev

Survey data collection GEFGMKYABA

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

Mentions

wikipedia: Wikipedia List of statistics articles#YO0Z, Survey data collection (definition)

History

2026-11-02: add by m2/dev

Stochastic partial differential equation GEFJ5NTX80

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#9PMM, Stochastic partial differential equation (definition)

History

2026-11-02: add by m2/dev

width GEFM45RMYG

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#QDDC, width (definition)

History

2026-11-02: add by m2/dev

GEFRT8FMH9 GEFRT8FMH9

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

Mentions

hott_book: hott_book hlevels.tex#reflectcommutespushout (statement). In N54F33XE07, thm, section 6.4

History

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

GEFTWN74KJ GEFTWN74KJ

URI	`m2://inv/GEFTWN74KJ`
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.23262#MUFX (statement)

History

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

Stone–Weierstrass theorem (lattices) GEG1CVKNE4

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

Mentions

wikipedia: Wikipedia Stone–Weierstrass theorem#WKTG, Stone–Weierstrass theorem (lattices) (statement)

History

2026-11-02: add by m2/dev

Notation GEGA3X1EP6

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

Mentions

wikipedia: Wikipedia Myerson–Satterthwaite theorem#G97R, Notation (definition)

History

2026-11-02: add by m2/dev

Weighted Green estimate GEGBBCX5Z4

URI	`m2://inv/GEGBBCX5Z4`
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.20042#0XXS, Weighted Green estimate (statement)

History

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

GEGF1XVN0P GEGF1XVN0P

URI	`m2://inv/GEGF1XVN0P`
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 2108.03672#EU9C (statement). In EZZSZ1F071/e1, fact 1.29

History

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

Spherical Bernstein's problem GEGGDDCS7T

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#TDDW, Spherical Bernstein's problem (conjecture)

History

2026-11-02: add by m2/dev

Albrecht Fröhlich GEGHBWR81J

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#V7TD, Albrecht Fröhlich (topic)

History

2026-11-02: add by m2/dev

Fan (order) GEGKS16D80

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

Mentions

wikipedia: Wikipedia Ordered field#3CJU, Fan (order) (unknown)

History

2026-11-02: add by m2/dev

GEGM6VTXE7 GEGM6VTXE7

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

Mentions

arxiv: arXiv 2609.30444#SGD4 (example). In RZWJ0AT8W5/e1, example 6.4

History

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

Bessel GEGPBHH8PV

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#FWFL, Bessel (definition)

History

2026-11-02: add by m2/dev

GEGW5XF8H4 GEGW5XF8H4

URI	`m2://inv/GEGW5XF8H4`
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.25094#XUJD (statement)

History

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

GEGYRVZTWM GEGYRVZTWM

URI	`m2://inv/GEGYRVZTWM`
Kind	statement
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.25275#C73T (statement)

History

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

Examples GEH1FTPAKQ

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

Mentions

wikipedia: Wikipedia Homotopy Lie algebra#0S9U, Examples (example)

History

2026-11-02: add by m2/dev

GEH5DF1CZK GEH5DF1CZK

URI	`m2://inv/GEH5DF1CZK`
Kind	statement
Layer	research
MSC	11-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.18246#6L6C (statement). In SN6F0MPPVF/e1, corollary 5.4

History

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

B. G. Moishezon GEHDDNNENE

URI	`m2://inv/GEHDDNNENE`
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#SXNI, B. G. Moishezon (topic)

History

2026-11-02: add by m2/dev

Intermediate value theorem GEHPXNAE6T

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

Mentions

wikipedia: Wikipedia List of real analysis topics#YWFN, Intermediate value theorem (statement)

History

2026-11-02: add by m2/dev

Construction GEHTKBHWE7

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

Mentions

wikipedia: Wikipedia Nephroid#6WR3, Construction (definition)

History

2026-11-02: add by m2/dev

Group representation GEHZGM402E

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

Mentions

wikipedia: Wikipedia List of group theory topics#HBK6, Group representation (definition)
wikipedia: Wikipedia List of representation theory topics#TY5M, Group representation (definition)
wikipedia: Wikipedia List of abstract algebra topics#DL2K, Group representation (definition)

History

2026-11-02: add by m2/dev

GEJ1W8ATA8 GEJ1W8ATA8

URI	`m2://inv/GEJ1W8ATA8`
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.28336#9B5Y (statement)

History

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

GEJ6CQBE59 GEJ6CQBE59

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

Mentions

arxiv: arXiv 2609.25307#08Z0 (statement)

History

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

GEJBGZ5Y2N GEJBGZ5Y2N

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

Mentions

arxiv: arXiv 2510.01873#HSXI (statement). In FVZZDPEYNM/e1, lemma 3.1
arxiv: arXiv 2609.23167#Y746 (statement)

History

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

cartesian GEJC4B3AQE

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#WNI4, cartesian (definition)

History

2026-11-02: add by m2/dev

Transportation theory GEJH70TDPY

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#OU5F, Transportation theory (topic)

History

2026-11-02: add by m2/dev

Caliber GEJKMEQEMW

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

Mentions

wikipedia: Wikipedia Caliber (mathematics), Caliber (definition). Also Wikidata Q18205771

History

2026-11-02: add by m2/dev

GEJPEZPMHQ GEJPEZPMHQ

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

Mentions

arxiv: arXiv 2610.09897#4JZM (statement). In NYA085FW0M/e1, lemma 3.8

History

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

GEJPEZZ5R6 GEJPEZZ5R6

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prop:Dual-valid (statement). In PKGMM3P5QY, prop, section 54.7

History

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

Twofish GEJQNH3Y85

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

Mentions

wikipedia: Wikipedia Twofish, Twofish (definition). Also Wikidata Q747320

History

2026-11-02: add by m2/dev

Algorithms GEJVWKEFMH

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

Mentions

wikipedia: Wikipedia Comparability graph#40XE, Algorithms (definition)

History

2026-11-02: add by m2/dev

GEK2WM4ME3 GEK2WM4ME3

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

Mentions

arxiv: arXiv 2610.14060#T7XR (statement). In X47RYAZF8P/e1, corollary 3.4

History

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

tangent-secant theorem GEKB5F7T3R

URI	`m2://inv/GEKB5F7T3R`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Tangent–secant theorem 0QX7E9KAAX

Mentions

mathlib_1000: mathlib_1000 Q2267175, Tangent-secant theorem (statement). Also Mathlib EuclideanGeometry.Sphere.dist_sq_eq_mul_dist_of_tangent_and_secant, Wikidata Q2267175
thousand_plus: thousand_plus Q2267175, Tangent-secant theorem (statement). Also Mathlib EuclideanGeometry.Sphere.dist_sq_eq_mul_dist_of_tangent_and_secant, Wikidata Q2267175, Wikipedia Tangent-secant theorem
wikidata: Wikidata Q2267175, tangent-secant theorem (statement). Also ProofWiki Tangent_Secant_Theorem
wikipedia: Wikipedia Tangent–secant theorem, Tangent–secant theorem (statement). Also Wikidata Q2267175

History

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

GEKF4W4ETC GEKF4W4ETC

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

Mentions

arxiv: arXiv 2610.04434#KQBU (statement). In EY0QS456EC/e1, lemma 3.4

History

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

Roger J-B Wets GEKGGY7KQB

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

Mentions

wikipedia: Wikipedia Roger J-B Wets, Roger J-B Wets (topic). Also Wikidata Q7358391

History

2026-11-02: add by m2/dev

GEKHTR54Y1 GEKHTR54Y1

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

Mentions

napkin: napkin tex/topology/metric-top.tex#example-17 (example). In RZP28ERRZV, example, section 100.7

History

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

Champernowne distribution GEKKGS1CAV

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

Mentions

wikipedia: Wikipedia List of statistics articles#REK4, Champernowne distribution (definition)

History

2026-11-02: add by m2/dev

Gary Seitz GEKKPPE6DR

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#9HNU, Gary Seitz (topic)

History

2026-11-02: add by m2/dev

Ideal completion GEKSN60P8T

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

Mentions

wikipedia: Wikipedia List of order theory topics#ET6C, Ideal completion (unknown)

History

2026-11-02: add by m2/dev

Compatibility of the Hopf operation GEKVGNSRZF

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

Mentions

arxiv: arXiv 2610.03298#HC3N, Compatibility of the Hopf operation (statement). In 9SBZP218SM/e1, lemma 4.1

History

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

Threefish GEM7Y8VPZG

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

Mentions

wikipedia: Wikipedia Threefish, Threefish (definition). Also Wikidata Q4051445

History

2026-11-02: add by m2/dev

GEM9VRFA24 GEM9VRFA24

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

Mentions

arxiv: arXiv 2610.02042#98IK (statement). In P3HWTYFDBX/e1, lemma 3.6

History

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

Third derivative GEMPHQ6ZJ8

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

Mentions

wikipedia: Wikipedia Third derivative, Third derivative (definition). Also Wikidata Q7785054

History

2026-11-02: add by m2/dev

super vector space GEMPX2N19Q

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

Mentions

wikidata: Wikidata Q7642975, super vector space (unknown). Also nLab super vector space
wikipedia: Wikipedia Super vector space, Super vector space (definition). Also Wikidata Q7642975

History

2026-10-26: add by m2/dev

GEN1NP7E08 GEN1NP7E08

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

Mentions

arxiv: arXiv 2610.00021#3ZJ7 (statement). In EX42AVA7CV/e1, corollary 4.3

History

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

GEN5V1X0YH GEN5V1X0YH

URI	`m2://inv/GEN5V1X0YH`
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 2507.05417#OXQN (statement). In RGHZ863Q26/e1, fact 3.12

History

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

Properties GENA5HSTGK

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

Mentions

wikipedia: Wikipedia Qualitative variation#44WY, Properties (statement)

History

2026-11-02: add by m2/dev

Dirac–von Neumann axioms GENW1GHD9P

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

Mentions

wikipedia: Wikipedia List of axioms#CRJB, Dirac–von Neumann axioms (statement)

History

2026-11-02: add by m2/dev

T-square GENYQ3W5WZ

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#9610, T-square (unknown)

History

2026-11-02: add by m2/dev

GEPDCAJJQF GEPDCAJJQF

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

Mentions

wikipedia: Wikipedia One-way function#1H7I (problem)

History

2026-11-02: add by m2/dev

UMFPACK GEPEC31SRF

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#2468, UMFPACK (unknown)

History

2026-11-02: add by m2/dev

GEPG0TR0NY GEPG0TR0NY

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

Mentions

arxiv: arXiv 2610.01806#C0YN (statement). In 4FXW9CRBXX/e1, proposition 2.1

History

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

Quantum channel without dominating transmittable algebra GEPHJG0SH2

URI	`m2://inv/GEPHJG0SH2`
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.40054#Z7OD, Quantum channel without dominating transmittable algebra (example). In CA4C9PFM1E/e1, example 4.0.3

History

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

GEPZC103FB GEPZC103FB

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

Mentions

arxiv: arXiv 2610.16332#PTKL (statement). In JJQPFXZQ3D/e1, theorem 3.2

History

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

GEQ0AKPZWP GEQ0AKPZWP

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-306 (exercise). In VNMV985MXX, exercise, section 6.7

History

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

Examples GEQ0S9AJBA

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

Mentions

wikipedia: Wikipedia U-statistic#QVZ2, Examples (example)

History

2026-11-02: add by m2/dev

GEQ0Y6DH3E GEQ0Y6DH3E

URI	`m2://inv/GEQ0Y6DH3E`
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 2410.02139#C0O7 (statement). In TJ1NTK3KJW/e1, corollary 2

History

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

GEQ2DQDME5 GEQ2DQDME5

URI	`m2://inv/GEQ2DQDME5`
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#6YJA (statement). In 2VHV0RNTNV/e1, corollary 3.14

History

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

GEQBWF0GMP GEQBWF0GMP

URI	`m2://inv/GEQBWF0GMP`
Kind	definition
Layer	research
MSC	14-XX, 20-XX, 22-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.01694#RXF1 (definition). In EBMHYN0XK9/e1, definition 4.6

History

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

GEQFXVJK5V GEQFXVJK5V

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

Mentions

arxiv: arXiv 2610.18632#6IWU (definition). In PTM5MVD4M0/e1, definition Definition

History

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

GEQHH8F63W GEQHH8F63W

URI	`m2://inv/GEQHH8F63W`
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.27800#90K1 (statement)

History

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

well-powered category GEQJZETVCV

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

Mentions

wikidata: Wikidata Q122953307, well-powered category (unknown). Also EoM Well-powered_category, nLab well-powered category

History

2026-10-26: add by m2/dev

GEQT901ZES GEQT901ZES

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

Mentions

napkin: napkin tex/diffgeo/manifolds.tex#definition-1 (definition). In RZP28ERRZV, definition, section 44.2

History

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

Metaphysical vagueness GEQV1DWA1K

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

Mentions

wikipedia: Wikipedia Vagueness#GDYT, Metaphysical vagueness (unknown)

History

2026-11-02: add by m2/dev

Identification with classical spherical Eisenstein series GEQW4BVY1W

URI	`m2://inv/GEQW4BVY1W`
Kind	statement
Layer	research
MSC	11-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.25925#24G0, Identification with classical spherical Eisenstein series (statement)

History

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

Amplified GNS and localization GEQXHRNJ1B

URI	`m2://inv/GEQXHRNJ1B`
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#9RPS, Amplified GNS and localization (statement). In Q6GGQ29TRC/e1, lemma

History

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

Sample Complexity of Hard Neighborhood Selection GER0CTT5ZN

URI	`m2://inv/GER0CTT5ZN`
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.31470#7C6W, Sample Complexity of Hard Neighborhood Selection (statement). In 4RS2WKVB7F/e1, theorem C.1

History

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

Jonathan Bennett GER3KDTBVJ

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

Mentions

wikipedia: Wikipedia Jonathan Bennett (mathematician), Jonathan Bennett (topic). Also Wikidata Q17385640

History

2026-11-02: add by m2/dev

GERAHQRJZT GERAHQRJZT

URI	`m2://inv/GERAHQRJZT`
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 1009.2047#4KW7 (statement). In F3MWRNBNED/e1, proposition 7.3

History

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

Strong solution GERGG43N9Y

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

Mentions

arxiv: arXiv 2610.14555#9VF8, Strong solution (definition). In NHW0VEJ09F/e1, definition 2.1

History

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

GERMYN4FF5 GERMYN4FF5

URI	`m2://inv/GERMYN4FF5`
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 2301.04933#250R (definition). In Q70CTMCJTP/e1, definition A.4

History

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

GERVTNHN9H GERVTNHN9H

URI	`m2://inv/GERVTNHN9H`
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 2105.03252#LJEV (statement). In 2E47BDDDR4/e1, axiom 4.8

History

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

The published higher-dimensional conjecture GES1N5B7VS

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

Mentions

arxiv: arXiv 2609.38228#H655, The published higher-dimensional conjecture (statement). In 9YAE8FNQST/e1, corollary 18.13

History

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

GESCXA2E6F GESCXA2E6F

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

Mentions

napkin: napkin tex/H113/quotient.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 3.6

History

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

GESFEPF4T6 GESFEPF4T6

URI	`m2://inv/GESFEPF4T6`
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 2610.14189#IO4X (definition). In 39VAB08YDJ/e1, definition 2.1

History

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

National Science Olympiad GESKCB57PA

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#W5ZQ, National Science Olympiad (unknown)

History

2026-11-02: add by m2/dev

Local identifiability under a sensitivity condition GESNAET0HF

URI	`m2://inv/GESNAET0HF`
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.00033#YH9C, Local identifiability under a sensitivity condition (statement). In SHMMW4JXZ1/e1, proposition 4

History

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

566 (number) GESQDDNMVA

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

Mentions

wikipedia: Wikipedia 500 (number)#T88Z, 566 (number) (unknown)

History

2026-11-02: add by m2/dev

Examples GESTACSVGN

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

Mentions

wikipedia: Wikipedia Maximum theorem#TTTD, Examples (example)

History

2026-11-02: add by m2/dev

GESXQ4C9EH GESXQ4C9EH

URI	`m2://inv/GESXQ4C9EH`
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.34236#EOA0 (statement). In 203FGMHAE9/e1, theorem 2

History

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

LaplacesDemon GET3QXZD9F

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

Mentions

wikipedia: Wikipedia LaplacesDemon, LaplacesDemon (definition). Also Wikidata Q17064019

History

2026-11-02: add by m2/dev

Maulik–Nekrasov–Okounkov–Pandharipande conjecture GET5AKZA8Q

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#NKE7, Maulik–Nekrasov–Okounkov–Pandharipande conjecture (topic)

History

2026-11-02: add by m2/dev

Characterization GET6C3YJZD

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

Mentions

wikipedia: Wikipedia Automedian triangle#5K9P, Characterization (statement)

History

2026-11-02: add by m2/dev

GETB7MV5S0 GETB7MV5S0

URI	`m2://inv/GETB7MV5S0`
Kind	statement
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 2609.30098#KS5B (statement)

History

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

Law of diminishing returns GETK2DDJJ7

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

Mentions

wikipedia: Wikipedia Cobb–Douglas production function#NILL, Law of diminishing returns (statement)

History

2026-11-02: add by m2/dev

GETVXCE6YV GETVXCE6YV

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

Mentions

arxiv: arXiv 2609.30933#O3M7 (statement). In KXWYE4SJY3/e1, lemma 3

History

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

Javier Perez-Capdevila GETYJ2EMWE

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

Mentions

wikipedia: Wikipedia Javier Perez-Capdevila, Javier Perez-Capdevila (topic). Also Wikidata Q24263599

History

2026-11-02: add by m2/dev

Definition GEV16QRYF9

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

Mentions

wikipedia: Wikipedia Herbrand quotient#CF9Z, Definition (definition)

History

2026-11-02: add by m2/dev

Formulation GEV8QDRJ2F

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

Mentions

wikipedia: Wikipedia Mumford–Tate group#3LQ6, Formulation (definition)

History

2026-11-02: add by m2/dev

Grothendieck–Riemann–Roch theorem GEVQ33ERBG

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

Mentions

wikipedia: Wikipedia Grothendieck–Riemann–Roch theorem#G46T, Grothendieck–Riemann–Roch theorem (statement)

History

2026-11-02: add by m2/dev

Examples GEW90EQZHG

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

Mentions

wikipedia: Wikipedia Hermite class#62MF, Examples (example)

History

2026-11-02: add by m2/dev

Tetrahedral Spider Lemma GEWK1A01DY

URI	`m2://inv/GEWK1A01DY`
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.38493#9SRX, Tetrahedral Spider Lemma (statement). In WTA8VGP6B1/e1, lemma 4.1

History

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

Definition GEWS54V14H

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

Mentions

wikipedia: Wikipedia Boyle's law#FTSL, Definition (definition)

History

2026-11-02: add by m2/dev

GEWV0GB4AZ GEWV0GB4AZ

URI	`m2://inv/GEWV0GB4AZ`
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.23287#CR9I (statement)

History

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

Deduction Theorem GEWZ5HNMPJ

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem-quantifiers.tex#thm:deduction-thm-q, Deduction Theorem (statement). In PKGMM3P5QY, thm, section 8.3

History

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

Rule 90 GEX019V43A

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

Mentions

wikidata: Wikidata Q7378926, Rule 90 (unknown). Also MathWorld Rule90
wikipedia: Wikipedia Rule 90, Rule 90 (definition). Also Wikidata Q7378926

History

2026-10-26: add by m2/dev

Gap on a hidden cube GEXBF922HV

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

Mentions

arxiv: arXiv 2610.12641#FVVM, Gap on a hidden cube (statement). In X5BYGZZHPF/e1, lemma J.4

History

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

GEXE0QT3W0 GEXE0QT3W0

URI	`m2://inv/GEXE0QT3W0`
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.21934#K7SI (statement). In YKD51BX3XB/e1, lemma 8.9

History

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

Convergence of the Gibbs measure GEXEH65H5T

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

Mentions

arxiv: arXiv 2610.10257#6W4N, Convergence of the Gibbs measure (statement). In BQD9MJHKV8/e1, theorem 5.1

History

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

Trivium GEXGM7R62V

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

Mentions

wikipedia: Wikipedia Trivium (cipher), Trivium (definition). Also Wikidata Q666421

History

2026-11-02: add by m2/dev

GEXNY58B4W GEXNY58B4W

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

Mentions

arxiv: arXiv 2609.27078#DORU (definition)

History

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

GEY23Z7VG3 GEY23Z7VG3

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

Mentions

applied_combinatorics: applied_combinatorics source/s_flowapplications_exercises.ptx#exercise-8 (exercise). In QKM9DD2H56, exercise, section 14

History

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

GEY4BF1QKB GEY4BF1QKB

URI	`m2://inv/GEY4BF1QKB`
Kind	definition
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#OTVR (definition). In 6KR7Z5ETRY/e1, definition 2.62

History

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

Parallel algorithms for matrix multiplication GEYAD2NTAN

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

Mentions

wikipedia: Wikipedia Matrix multiplication algorithm#MKF6, Parallel algorithms for matrix multiplication (unknown)

History

2026-11-02: add by m2/dev

Identification of the exact rate GEYC2S1WAS

URI	`m2://inv/GEYC2S1WAS`
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.15125#PAYD, Identification of the exact rate (statement). In V5GT8NJKCM/e1, lemma H.1

History

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

Albert algebra GEYKD9K574

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

Mentions

wikidata: Wikidata Q12204658, Albert algebra (concept). Also nLab Albert algebra
wikipedia: Wikipedia Albert algebra, Albert algebra (definition). Also Wikidata Q12204658

History

2026-10-26: add by m2/dev

Parabiaugmented hexagonal prism GEYKV1C97T

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#GRSJ, Parabiaugmented hexagonal prism (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Z2VK, Parabiaugmented hexagonal prism (definition)

History

2026-11-02: add by m2/dev

Applications GEYN519NM4

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

Mentions

wikipedia: Wikipedia Symplectic matrix#BR5W, Applications (example)

History

2026-11-02: add by m2/dev

GEYRH0SJ2G GEYRH0SJ2G

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

Mentions

arxiv: arXiv 2610.17537#L77M (statement). In P8QECYECXN/e1, theorem 1.1

History

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

Cyclic base GEZ1DX9PFM

URI	`m2://inv/GEZ1DX9PFM`
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#YFMH, Cyclic base (statement)

History

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

Closedness of touching points GEZ2Y0YJVD

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

Mentions

arxiv: arXiv 2609.21508#VQSP, Closedness of touching points (statement)

History

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

Weak ETH controls exact local memory GEZB7S5RMN

URI	`m2://inv/GEZB7S5RMN`
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.16351#UBZ7, Weak ETH controls exact local memory (statement). In 1QSV7EQE3T/e1, lemma S32

History

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

Fresh variable GEZBX7VD3V

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

Mentions

wikipedia: Wikipedia Fresh variable, Fresh variable (definition). Also Wikidata Q120629477

History

2026-11-02: add by m2/dev

Sofya Kovalevskaya GEZC9V5EQJ

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

Mentions

wikipedia: Wikipedia Sofya Kovalevskaya, Sofya Kovalevskaya (topic). Also Wikidata Q184535

History

2026-11-02: add by m2/dev

GEZRZ4JYTZ GEZRZ4JYTZ

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

Mentions

arxiv: arXiv 2609.27687#920Q (statement)

History

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

geometry of numbers GEZX5X3P4A

URI	`m2://inv/GEZX5X3P4A`
Kind	definition
Layer	textbook
MSC	11Hxx
Sources	2
Outcome	open
Node	Geometry of numbers AAATH70CY1

Mentions

wikidata: Wikidata Q1466519, geometry of numbers (topic)
wikipedia: Wikipedia Geometry of numbers, Geometry of numbers (definition). Also Wikidata Q1466519

History

2026-10-26: add by m2/dev

GEZZSCFHWC GEZZSCFHWC

URI	`m2://inv/GEZZSCFHWC`
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 2303.00676#20V9 (statement). In 5351H04TJY/e1, lemma 4.1

History

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

Ruochuan Liu GEZZV4EHRT

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

Mentions

wikipedia: Wikipedia Ruochuan Liu, Ruochuan Liu (topic). Also Wikidata Q102377949

History

2026-11-02: add by m2/dev

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