Inventory rows GM

Korselt's criterion GM067A0N5E

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

Mentions

wikipedia: Wikipedia Carmichael number#3PP3, Korselt's criterion (statement)

History

2026-11-02: add by m2/dev

Hal Fishman GM0DT954DR

URI	`m2://inv/GM0DT954DR`
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#3BP6, Hal Fishman (unknown)

History

2026-11-02: add by m2/dev

Definitions GM0FZD6HR2

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

Mentions

wikipedia: Wikipedia Widom scaling#EE22, Definitions (definition)

History

2026-11-02: add by m2/dev

Unemployment in Bulgaria GM0GEJDD06

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

Mentions

wikipedia: Wikipedia Demographics of Bulgaria#UVUX, Unemployment in Bulgaria (unknown)

History

2026-11-02: add by m2/dev

John von Neumann GM0M1BDTMD

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

Mentions

wikipedia: Wikipedia List of functional analysis topics#HTBB, John von Neumann (topic)

History

2026-11-02: add by m2/dev

GM0QTQJ04V GM0QTQJ04V

URI	`m2://inv/GM0QTQJ04V`
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 2405.05684#8BHB (statement). In 1PR73ECTZB/e1, theorem 5

History

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

Algorithm GM0R5DAPDR

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

Mentions

wikipedia: Wikipedia MDC-2#QTOA, Algorithm (definition)

History

2026-11-02: add by m2/dev

Cai Yong GM0V3FTMFM

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#9V3Q, Cai Yong (unknown)

History

2026-11-02: add by m2/dev

Uzi Vishkin GM11W9PD60

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#U1HC, Uzi Vishkin (unknown)

History

2026-11-02: add by m2/dev

curved interface, nonsymmetric problem with a line source GM1529PCY1

URI	`m2://inv/GM1529PCY1`
Kind	example
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.08016#386R, curved interface, nonsymmetric problem with a line source (example). In YR3CSTYEJW/e1, example 1

History

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

Examples GM1SZZS23Q

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

Mentions

wikipedia: Wikipedia Quasi-polynomial time#B0U5, Examples (example)

History

2026-11-02: add by m2/dev

GM21NJ0TTT GM21NJ0TTT

URI	`m2://inv/GM21NJ0TTT`
Kind	statement
Layer	research
MSC	35-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 2609.34081#FT71 (statement). In 3RVGEKGX46/e1, lemma 3.3

History

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

GM27W9YNDJ GM27W9YNDJ

URI	`m2://inv/GM27W9YNDJ`
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.10745#0PBP (statement). In 5MJ4NJ5ZCV/e1, lemma B.1

History

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

GM2BXBZKJZ GM2BXBZKJZ

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

Mentions

arxiv: arXiv 2610.13180#8B9G (statement). In 7TSVFYEGD8/e1, lemma 2.5

History

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

accessibility relation GM2SJWHMB0

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

Mentions

wikipedia: Wikipedia Glossary of logic#WS33, accessibility relation (definition)

History

2026-11-02: add by m2/dev

Touchpoints GM2TQB7WVJ

URI	`m2://inv/GM2TQB7WVJ`
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.07671#7BJ8, Touchpoints (definition). In XHHBGCVG90/e1, definition 2.3.1

History

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

summation index shift GM3955EV1M

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

Mentions

wikidata: Wikidata Q1604943, summation index shift (statement). Also ProofWiki Permutation_of_Indices_of_Summation

History

2026-10-26: add by m2/dev

SM4 GM3JWCQK60

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

Mentions

wikipedia: Wikipedia SM4 (cipher), SM4 (definition). Also Wikidata Q1333561

History

2026-11-02: add by m2/dev

GM3ZYG5807 GM3ZYG5807

URI	`m2://inv/GM3ZYG5807`
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.33863#9Z2E (statement). In B7VJ76TNZX/e1, proposition 1

History

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

GM49MXR9R9 GM49MXR9R9

URI	`m2://inv/GM49MXR9R9`
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 2401.05118#H824 (statement). In BT0T0QS2TN/e1, theorem 4.14

History

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

Helmut H. Schaefer GM4C616J52

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

Mentions

wikipedia: Wikipedia List of German mathematicians#DN33, Helmut H. Schaefer (topic)

History

2026-11-02: add by m2/dev

Immerman–Szelepcsényi theorem GM4F4GHKKZ

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

Mentions

mathlib_1000: mathlib_1000 Q744440, Immerman–Szelepcsényi theorem (statement). Also Wikidata Q744440
thousand_plus: thousand_plus Q744440, Immerman–Szelepcsényi theorem (statement). Also Wikidata Q744440, Wikipedia Immerman–Szelepcsényi theorem
wikipedia: Wikipedia Immerman–Szelepcsényi theorem, Immerman–Szelepcsényi theorem (statement). Also Wikidata Q744440

History

2026-10-26: add by m2/dev

GM4K83DJHE GM4K83DJHE

URI	`m2://inv/GM4K83DJHE`
Kind	problem
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.21278#6GX1 (problem). In DCH1JJGGYH/e1, problem A

History

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

GM4Z6XF4HP GM4Z6XF4HP

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

Mentions

open_logic: open_logic content/set-theory/ordinals/basic.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 72.2

History

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

reflection rule GM549W7P43

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

Mentions

hott_book: hott_book index/1.15/reflection-rule, reflection rule (concept). In N54F33XE07, index, section 1.15

History

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

GM5A9Z51T6 GM5A9Z51T6

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 19.15

History

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

Strong prime GM5BSPVEEC

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

Mentions

wikipedia: Wikipedia Strong prime, Strong prime (object). Also Wikidata Q2233203

History

2026-11-02: add by m2/dev

Perry Picasshoe GM5F2QMT92

URI	`m2://inv/GM5F2QMT92`
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#DKEL, Perry Picasshoe (unknown)

History

2026-11-02: add by m2/dev

Theropod dinosaur GM5MBD1XSR

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#5HIG, Theropod dinosaur (unknown)

History

2026-11-02: add by m2/dev

GM5TPKCVZN GM5TPKCVZN

URI	`m2://inv/GM5TPKCVZN`
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 1904.09810#EOEW (statement). In T1VFA7TXPA/e1, lemma 46

History

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

Decision adequacy GM5ZVP12WR

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

Mentions

arxiv: arXiv 2610.11038#3RLF, Decision adequacy (definition). In RY8QBYR4SE/e1, definition 2.3

History

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

Algebraic group GM62TDG866

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

Mentions

wikipedia: Wikipedia List of group theory topics#TRN2, Algebraic group (definition)

History

2026-11-02: add by m2/dev

GM644QK4YM GM644QK4YM

URI	`m2://inv/GM644QK4YM`
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.02579#ZK8Q (definition). In CBTJDYHH34/e1, definition 4

History

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

GM64C3AZEH GM64C3AZEH

URI	`m2://inv/GM64C3AZEH`
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.05722#C1Q1 (statement). In NDKWV5J14V/e1, lemma 2.8

History

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

GM650V4G6V GM650V4G6V

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_addtops-numbth.ptx#example-2 (example). In Y91XFCEVHQ, example, section 6.2.2

History

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

Nous GM69FPE95K

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

Mentions

wikidata: Wikidata Q835041, Nous (unknown). Also nLab nous

History

2026-10-26: add by m2/dev

GM69Z48CME GM69Z48CME

URI	`m2://inv/GM69Z48CME`
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.33771#NPN1 (statement). In ZXQA7QH0H0/e1, lemma 3.21

History

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

Priority matching GM6B25S0DY

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

Mentions

wikipedia: Wikipedia Priority matching, Priority matching (definition). Also Wikidata Q104854318

History

2026-11-02: add by m2/dev

dihedral group GM6NCWYJ15

URI	`m2://inv/GM6NCWYJ15`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Dihedral group 09GK3DE0WV

Mentions

wikidata: Wikidata Q558339, dihedral group (definition). Also EoM Dihedral_group, MathWorld DihedralGroup, nLab dihedral group, ProofWiki Definition:Dihedral_Group
wikipedia: Wikipedia Dihedral group, Dihedral group (definition). Also Wikidata Q558339

History

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

GM6SJG1A05 GM6SJG1A05

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

History

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

Walter Krivitsky GM6T304P5Q

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#KSGR, Walter Krivitsky (unknown)

History

2026-11-02: add by m2/dev

Gregory Eskin GM6VYADWAK

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#9JLM, Gregory Eskin (topic)

History

2026-11-02: add by m2/dev

Trailing zero GM6YDZZ76P

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

Mentions

wikipedia: Wikipedia Trailing zero, Trailing zero (definition). Also Wikidata Q7832825

History

2026-11-02: add by m2/dev

GM6ZFPB8HB GM6ZFPB8HB

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

Mentions

arxiv: arXiv 2609.21703#NUAA (statement)

History

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

GM77DZZP32 GM77DZZP32

URI	`m2://inv/GM77DZZP32`
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 2110.08714#2DZW (statement). In A3RAXBSWA5/e1, lemma 3.14

History

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

Chevalley–Warning theorem GM7D6CHPPJ

URI	`m2://inv/GM7D6CHPPJ`
Kind	statement
Layer	textbook
MSC	12-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Chevalley–Warning theorem 08895Q5W96

Mentions

mathlib_1000: mathlib_1000 Q720469, Chevalley–Warning theorem (statement). Also Mathlib char_dvd_card_solutions_of_sum_lt, Wikidata Q720469
thousand_plus: thousand_plus Q720469, Chevalley–Warning theorem (statement). Also Mathlib char_dvd_card_solutions_of_sum_lt, Wikidata Q720469, Wikipedia Chevalley–Warning theorem
wikidata: Wikidata Q720469, Chevalley–Warning theorem (statement). Also MathWorld ChevalleysTheorem
wikipedia: Wikipedia Chevalley–Warning theorem, Chevalley–Warning theorem (statement). Also Wikidata Q720469

History

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

outer measure GM7DF9EVHF

URI	`m2://inv/GM7DF9EVHF`
Kind	definition
Layer	textbook
MSC	28-XX
Sources	4
Outcome	open
Node	Outer measure BJ314H17HC

Mentions

mathlib_1000: mathlib_1000 Q258374, Carathéodory's theorem (measure theory) (statement). Also Mathlib MeasureTheory.OuterMeasure.caratheodory, Wikidata Q258374
thousand_plus: thousand_plus Q258374, Carathéodory's theorem (measure theory) (statement). Also Mathlib MeasureTheory.OuterMeasure.caratheodory, Wikidata Q258374, Wikipedia Carathéodory's theorem (measure theory)
wikidata: Wikidata Q258374, outer measure (definition). Also EoM Outer_measure, MathWorld OuterMeasure, ProofWiki Definition:Outer_Measure
wikipedia: Wikipedia Outer measure, Outer measure (definition). Also Wikidata Q258374

History

2026-10-26: add by m2/dev

Classification of finite simple groups GM7SN54B6N

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

Mentions

wikipedia: Wikipedia List of group theory topics#3JVD, Classification of finite simple groups (definition)
wikipedia: Wikipedia List of group theory topics#4GY0, Classification of finite simple groups (definition)

History

2026-11-02: add by m2/dev

Definition and properties GM7SZH72WB

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

Mentions

wikipedia: Wikipedia Stochastic matrix#XBV0, Definition and properties (definition)

History

2026-11-02: add by m2/dev

GM8AB2CDHH GM8AB2CDHH

URI	`m2://inv/GM8AB2CDHH`
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.14364#OHRQ (statement). In GTA6B7SW2V/e1, theorem 4.1

History

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

Examples GM8KM4XGJB

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

Mentions

wikipedia: Wikipedia Subgroup series#DYSA, Examples (example)

History

2026-11-02: add by m2/dev

GM8MZN7HGK GM8MZN7HGK

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

Mentions

arxiv: arXiv 2610.03661#28BB (definition). In ESDKTYDHC8/e1, definition 22

History

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

Nonstationarity above the unit root GM8RJTSNW3

URI	`m2://inv/GM8RJTSNW3`
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.19421#O96L, Nonstationarity above the unit root (statement). In 3S1VFGYWQE/e1, theorem 5

History

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

GM91SMH9H2 GM91SMH9H2

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

Mentions

arxiv: arXiv 2212.06253#PDOB (statement). In DRVCY1VARV/e1, theorem 1

History

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

GM9EM1BK88 GM9EM1BK88

URI	`m2://inv/GM9EM1BK88`
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.40207#3M1H (statement). In JXTG8KP95P/e1, lemma 6.1

History

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

house graph GM9PTXXNQJ

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

Mentions

wikidata: Wikidata Q3115585, house graph (unknown). Also House of Graphs 1183, MathWorld HouseGraph

History

2026-10-26: add by m2/dev

GM9TDWMRZ9 GM9TDWMRZ9

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#proof-21 (proof). In E59CDZA4DP, proof, section 2.6.1

History

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

GM9V7QF04K GM9V7QF04K

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

Mentions

open_logic: open_logic content/sets-functions-relations/arithmetization/reals.tex#root2irrational (statement). In PKGMM3P5QY, thm, section 78.6

History

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

Examples GM9XZ9YQJV

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

Mentions

wikipedia: Wikipedia Segre embedding#V8L8, Examples (example)

History

2026-11-02: add by m2/dev

GM9ZBFKPFT GM9ZBFKPFT

URI	`m2://inv/GM9ZBFKPFT`
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.04165#3WE3 (statement). In PKN283MHF8/e1, proposition 5.5

History

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

Miquel's theorem GMA3BGYBH3

URI	`m2://inv/GMA3BGYBH3`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	open
Node	Miquel's theorem K8A688YSPW

Mentions

mathlib_1000: mathlib_1000 Q2449984, Miquel's theorem (statement). Also Wikidata Q2449984
mathlib_1000: mathlib_1000 Q2449984X, Pivot theorem (statement). Also Wikidata Q2449984
thousand_plus: thousand_plus Q2449984, Miquel's theorem (statement). Also Wikidata Q2449984, Wikipedia Miquel's theorem
thousand_plus: thousand_plus Q2449984X, Pivot theorem (statement). Also Wikidata Q2449984, Wikipedia Pivot theorem
wikidata: Wikidata Q2449984, Miquel's theorem (statement). Also MathWorld MiquelsTheorem
wikipedia: Wikipedia Miquel's theorem, Miquel's theorem (statement). Also Wikidata Q2449984

History

2026-10-26: add by m2/dev

local incidence rules GMA4H94PRR

URI	`m2://inv/GMA4H94PRR`
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.14099#W5N7, local incidence rules (statement). In D77GXFTKFH/e1, lemma 9

History

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

Zhao, Wang and Zhou GMA4Z490PH

URI	`m2://inv/GMA4Z490PH`
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.24353#3NBT, Zhao, Wang and Zhou (statement)

History

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

Examples GMA86H1FBB

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

Mentions

wikipedia: Wikipedia Bialgebra#W88X, Examples (example)

History

2026-11-02: add by m2/dev

GMAYETNHZ8 GMAYETNHZ8

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

Mentions

austin_ula: austin_ula src/section6-3.xml#activity-1 (exercise). In 649HGZKE96, activity, section 6.3.2

History

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

Generalised likelihood uncertainty estimation GMB3CRQXB0

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

Mentions

wikipedia: Wikipedia Generalised likelihood uncertainty estimation, Generalised likelihood uncertainty estimation (definition). Also Wikidata Q5513666

History

2026-11-02: add by m2/dev

Kernel (integral operator) GMB43SQM1D

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

Mentions

wikipedia: Wikipedia List of integration and measure theory topics#B1D3, Kernel (integral operator) (definition)

History

2026-11-02: add by m2/dev

Calcpad GMB4Q7YT7P

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#ZSSM, Calcpad (definition)

History

2026-11-02: add by m2/dev

GMB83F4CQN GMB83F4CQN

URI	`m2://inv/GMB83F4CQN`
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.37208#6GHQ (statement). In 7MCBCP4T0B/e1, lemma 3.1

History

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

Convenient fiction GMB88M0X0C

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

Mentions

wikipedia: Wikipedia Object of the mind#U6O2, Convenient fiction (unknown)

History

2026-11-02: add by m2/dev

GMBA129Z1M GMBA129Z1M

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

Mentions

arxiv: arXiv 2609.23781#PE5K (statement)

History

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

algebraic variety GMBJBVNMAZ

URI	`m2://inv/GMBJBVNMAZ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Algebraic variety HV6YBS0YDH

Mentions

wikidata: Wikidata Q648995, algebraic variety (definition). Also MathWorld AlgebraicVariety, nLab algebraic variety, ProofWiki Definition:Algebraic_Variety
wikipedia: Wikipedia Algebraic variety, Algebraic variety (definition). Also Wikidata Q648995

History

2026-10-26: add by m2/dev

Social welfare function GMBPE8XT7R

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

Mentions

wikipedia: Wikipedia Social welfare function, Social welfare function (definition). Also Wikidata Q1754086

History

2026-11-02: add by m2/dev

BCH Code GMBSCKYH8K

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

Mentions

wikipedia: Wikipedia List of algorithms#O3XN, BCH Code (definition)

History

2026-11-02: add by m2/dev

Examples GMBV7BQ4VQ

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

Mentions

wikipedia: Wikipedia Poisson distribution#T2SH, Examples (example)

History

2026-11-02: add by m2/dev

Dyscalculia GMBY1BST4N

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

Mentions

wikipedia: Wikipedia Dyscalculia, Dyscalculia (definition). Also Wikidata Q742672

History

2026-11-02: add by m2/dev

GMC44Y503S GMC44Y503S

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

Mentions

arxiv: arXiv 2609.26738#3LII (statement)

History

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

Hasse norm theorem GMC5Q1W5MQ

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

Mentions

wikipedia: Wikipedia List of theorems#V6PV, Hasse norm theorem (statement)

History

2026-11-02: add by m2/dev

Garnet Anderson GMC7CYE71H

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

Mentions

wikipedia: Wikipedia Garnet Anderson, Garnet Anderson (topic). Also Wikidata Q37387870

History

2026-11-02: add by m2/dev

GMC9Q4MFSC GMC9Q4MFSC

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

Mentions

arxiv: arXiv 2610.09739#F5FI (statement). In ZYNZ95FSFD/e1, proposition 1.5

History

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

GMCF7K9TNC GMCF7K9TNC

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

Mentions

arxiv: arXiv 2610.16731#POJP (statement). In D68KBZQ4Q6/e1, corollary 3.25

History

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

Weighted reciprocal sums GMCGJ3WRM1

URI	`m2://inv/GMCGJ3WRM1`
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.15805#RBMW, Weighted reciprocal sums (statement). In 2XVWG0Z18V/e1, lemma 2.3

History

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

Applications GMCPA78NSA

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

Mentions

wikipedia: Wikipedia Trigintaduonion#EN9S, Applications (example)

History

2026-11-02: add by m2/dev

GMCQCR7QRP GMCQCR7QRP

URI	`m2://inv/GMCQCR7QRP`
Kind	definition
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.33018#8MDO (definition). In 8XVS0QJ2AH/e1, definition 56

History

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

quasisimple group GMCRX6DGN5

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

Mentions

wikidata: Wikidata Q7269527, quasisimple group (unknown). Also LMFDB knowl group.quasisimple, MathWorld QuasisimpleGroup, nLab quasisimple group
wikipedia: Wikipedia Quasisimple group, Quasisimple group (definition). Also Wikidata Q7269527

History

2026-10-26: add by m2/dev

Cartan's criterion for semisimplicity GMCSHCC39Y

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

Mentions

wikipedia: Wikipedia Cartan's criterion#DBM3, Cartan's criterion for semisimplicity (statement)

History

2026-11-02: add by m2/dev

Examples GMCTD8GF4Z

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

Mentions

wikipedia: Wikipedia Achilles number#BZVT, Examples (example)

History

2026-11-02: add by m2/dev

Wiedersehen pair GMCVJSBTG9

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

Mentions

wikidata: Wikidata Q7998903, Wiedersehen pair (concept). Also MathWorld WiedersehenPair
wikipedia: Wikipedia Wiedersehen pair, Wiedersehen pair (definition). Also Wikidata Q7998903

History

2026-10-26: add by m2/dev

Sobolev score realization GMCWRF3J1X

URI	`m2://inv/GMCWRF3J1X`
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#ZT83, Sobolev score realization (statement). In 9YAE8FNQST/e1, proposition 19.13

History

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

challenging GMCYEC2HFT

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#matexp:explawex, challenging (exercise). In E9HS8K3A52, exercise, section 10.8.6

History

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

Racks and quandles GMD02FKCTP

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

Mentions

wikipedia: Wikipedia Racks and quandles, Racks and quandles (definition). Also Wikidata Q7279807

History

2026-11-02: add by m2/dev

Proofs involving the addition of natural numbers GMD82YN01T

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

Mentions

wikipedia: Wikipedia Proofs involving the addition of natural numbers, Proofs involving the addition of natural numbers (definition). Also Wikidata Q7250027

History

2026-11-02: add by m2/dev

GMD9RJ90CV GMD9RJ90CV

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

Mentions

arxiv: arXiv 2609.22825#VRAC (statement)

History

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

concomitants GMDA2SNC2F

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#D1CF, concomitants (definition)

History

2026-11-02: add by m2/dev

Counts after alternating assignment GMDGMWPQMF

URI	`m2://inv/GMDGMWPQMF`
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.15543#447M, Counts after alternating assignment (statement). In TQSHQZFCS5/e1, lemma H.1

History

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

GMDGT1E8TJ GMDGT1E8TJ

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

Mentions

arxiv: arXiv 2609.23660#TCFP (statement)

History

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

GMDRH09Q7Z GMDRH09Q7Z

URI	`m2://inv/GMDRH09Q7Z`
Kind	statement
Layer	research
MSC	05-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.36332#3QIR (statement). In APK7X4MFAX/e1, proposition 8

History

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

GMDYJEGJ0D GMDYJEGJ0D

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

History

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

GME147YG90 GME147YG90

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

Mentions

arxiv: arXiv 2608.23797#VL8W (definition). In PZCA01JXVR/e1, definition 3.4

History

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

Extensions GME153ABJX

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

Mentions

wikipedia: Wikipedia Fair division#ISR0, Extensions (statement)

History

2026-11-02: add by m2/dev

GME4KYHBHN GME4KYHBHN

URI	`m2://inv/GME4KYHBHN`
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 2211.14629#43DI (statement). In AX7TZJ5PP9/e1, lemma 3

History

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

Ryan Rohm GME50G2JCC

URI	`m2://inv/GME50G2JCC`
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 Q15455400, Ryan Rohm (unknown). Also nLab Ryan Rohm

History

2026-10-26: add by m2/dev

Turing reduction GME698BWD3

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

Mentions

wikipedia: Wikipedia Turing reduction, Turing reduction (definition). Also Wikidata Q4489310

History

2026-11-02: add by m2/dev

GME99KMTB8 GME99KMTB8

URI	`m2://inv/GME99KMTB8`
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.26922#8FKH (statement)

History

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

ESAIM: Probability and Statistics GMEERJ56RX

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

Mentions

wikipedia: Wikipedia List of probability journals#8UGE, ESAIM: Probability and Statistics (unknown)

History

2026-11-02: add by m2/dev

GMEG36JYZH GMEG36JYZH

URI	`m2://inv/GMEG36JYZH`
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.39531#IPXI (statement). In SN9RSTHQ07/e1, lemma F.2

History

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

\textbf{Root elations GMEK4T1YYX

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

Mentions

arxiv: arXiv 2609.23526#73VA, \textbf{Root elations (definition)

History

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

Lamb waves GMEM8Z5EMB

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

Mentions

wikipedia: Wikipedia Lamb waves, Lamb waves (definition). Also Wikidata Q375680

History

2026-11-02: add by m2/dev

Riemann–Roch theorem for surfaces GMEN1M2KXJ

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

Mentions

wikipedia: Wikipedia List of theorems#XRLV, Riemann–Roch theorem for surfaces (statement)

History

2026-11-02: add by m2/dev

GMF2PGZD3W GMF2PGZD3W

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

Mentions

arxiv: arXiv 2609.25168#KYW9 (definition)

History

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

GMFEZ3JMKX GMFEZ3JMKX

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

Mentions

arxiv: arXiv 2610.05327#160H (statement). In ZD7BWDKT84/e1, proposition 5.1

History

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

Properties GMFF3CW9DG

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

Mentions

wikipedia: Wikipedia Reduction (complexity)#BFLI, Properties (statement)

History

2026-11-02: add by m2/dev

Gabriel Judah Lichtenfeld GMFFVMT1D3

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

Mentions

wikipedia: Wikipedia Gabriel Judah Lichtenfeld, Gabriel Judah Lichtenfeld (topic). Also Wikidata Q5515702

History

2026-11-02: add by m2/dev

Mixed preparations and the tree property of the second kind GMFMT29M7E

URI	`m2://inv/GMFMT29M7E`
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.22205#EH5G, Mixed preparations and the tree property of the second kind (statement). In 7REABAAQED/e1, theorem

History

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

Dorothy Brady GMFWPKGK4N

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

Mentions

wikipedia: Wikipedia Dorothy Brady, Dorothy Brady (topic). Also Wikidata Q4096246

History

2026-11-02: add by m2/dev

J. Curtis Counts GMFYEY7K76

URI	`m2://inv/GMFYEY7K76`
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#AJ51, J. Curtis Counts (unknown)

History

2026-11-02: add by m2/dev

Majid Rasulov GMFZ8WGV14

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

Mentions

wikipedia: Wikipedia Majid Rasulov, Majid Rasulov (topic). Also Wikidata Q4390657

History

2026-11-02: add by m2/dev

GMFZS7ABJG GMFZS7ABJG

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-43 (exercise). In E59CDZA4DP, exercise, section 4.4.3

History

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

Egorychev method GMG0X9FP58

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

Mentions

wikipedia: Wikipedia Egorychev method, Egorychev method (definition). Also Wikidata Q25304585

History

2026-11-02: add by m2/dev

local linearization GMG3EKMF9E

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

Mentions

active_calculus: active_calculus index/1.8.3/local-linearization, local linearization (concept). In 907G4C4EJ1, index, section 1.8.3

History

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

GMG7V2NHHB GMG7V2NHHB

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

Mentions

arxiv: arXiv 1011.4141#H4SB (statement). In YQ4JYF18NH/e1, proposition 3.3

History

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

argument of the minimum GMG97TM840

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#D58S, argument of the minimum (definition)

History

2026-11-02: add by m2/dev

Gaussian fluctuations in the Dobrushin regime GMGCBX2RBS

URI	`m2://inv/GMGCBX2RBS`
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 2610.04452#XUJ9, Gaussian fluctuations in the Dobrushin regime (statement). In ZV3ANMKJ0Y/e1, corollary 5.8

History

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

\coqident{isweq_from_cwf_to_rep GMGQPQBKZ7

URI	`m2://inv/GMGQPQBKZ7`
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 1705.04310#I0MH, \coqident{isweq_from_cwf_to_rep (statement). In MG51GG0QZN/e1, lemma 5.2

History

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

GMH5VRX1JK GMH5VRX1JK

URI	`m2://inv/GMH5VRX1JK`
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.11056#I9K5 (statement). In 1NDB3SAG7K/e1, proposition 5.3

History

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

Canonical presentation GMH6YWM6HQ

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

Mentions

arxiv: arXiv 2610.09086#RLTI, Canonical presentation (definition). In JPC86V77CH/e1, definition A.4

History

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

GMHG47EHHS GMHG47EHHS

URI	`m2://inv/GMHG47EHHS`
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 2606.00589#SFWB (statement). In C8JAGP8VCQ/e1, lemma 9.1

History

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

GMHK107WQT GMHK107WQT

URI	`m2://inv/GMHK107WQT`
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.28020#CVE1 (statement)

History

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

GMHNG8FAZ3 GMHNG8FAZ3

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

Mentions

napkin: napkin tex/calculus/limits.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 32.8

History

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

Lelong number GMHV3WR00T

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#ME29, Lelong number (definition)

History

2026-11-02: add by m2/dev

Properties GMHZJ8GGCK

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

Mentions

wikipedia: Wikipedia Hermite polynomials#S61D, Properties (statement)

History

2026-11-02: add by m2/dev

Definition GMJ4FNV8FJ

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

Mentions

wikipedia: Wikipedia Almost disjoint sets#PJ9I, Definition (definition)

History

2026-11-02: add by m2/dev

Definition GMJ55XBZ5V

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

Mentions

wikipedia: Wikipedia Shintani zeta function#8LMD, Definition (definition)

History

2026-11-02: add by m2/dev

effective second moment GMJ7DXYMME

URI	`m2://inv/GMJ7DXYMME`
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.26134#4UCB, effective second moment (statement)

History

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

Angular variation and sampling error GMJAEQFBX5

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

Mentions

arxiv: arXiv 2609.37704#LOX9, Angular variation and sampling error (statement). In HGTFJ325A4/e1, lemma 6.7

History

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

GMJD6XRQTK GMJD6XRQTK

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

Mentions

arxiv: arXiv 2609.32174#1IVN (statement). In GHKR740SG3/e1, proposition 2.6

History

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

Elisabeth Larsson GMJDPEYMK6

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

Mentions

wikipedia: Wikipedia Elisabeth Larsson (mathematician), Elisabeth Larsson (topic). Also Wikidata Q50588317

History

2026-11-02: add by m2/dev

GMJH550NQ2 GMJH550NQ2

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

Mentions

arxiv: arXiv 2610.01783#IFQS (problem). In 8BKC3PVX9G/e1, problem 9.2

History

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

GMJQG3GGV3 GMJQG3GGV3

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-196 (exercise). In VNMV985MXX, exercise, section 3.4

History

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

Cipriani--Sauvageot , Peterson , Dabrowski GMJR0X82KR

URI	`m2://inv/GMJR0X82KR`
Kind	statement
Layer	research
MSC	35-XX, 46-XX, 47-XX, 58-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.22109#VOFZ, Cipriani--Sauvageot , Peterson , Dabrowski (statement). In MZ60NP20BH/e1, proposition 2.7

History

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

GMK31V988T GMK31V988T

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

Mentions

arxiv: arXiv 2610.03520#H8LY (statement). In CSRZ9CWK69/e1, theorem 1.1

History

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

Superposition principle GMK37STTN0

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

Mentions

wikipedia: Wikipedia Partial differential equation#DV45, Superposition principle (statement)

History

2026-11-02: add by m2/dev

Vector-valued function GMK8JGKC68

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

Mentions

wikipedia: Wikipedia List of types of functions#BBMN, Vector-valued function (definition)

History

2026-11-02: add by m2/dev

Properties GMK9A297AR

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

Mentions

wikipedia: Wikipedia Microcanonical ensemble#U0RT, Properties (statement)

History

2026-11-02: add by m2/dev

GMKKGEKCM6 GMKKGEKCM6

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

Mentions

arxiv: arXiv 2610.10875#XQF4 (statement). In N91F15MHW1/e1, proposition 3

History

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

GMKNG7Q4S1 GMKNG7Q4S1

URI	`m2://inv/GMKNG7Q4S1`
Kind	definition
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.22551#NG2K (definition)

History

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

idempotent GMKNZ439PG

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

Mentions

wikipedia: Wikipedia Glossary of category theory#8HZ6, idempotent (definition)

History

2026-11-02: add by m2/dev

Mañé's infinitesimal criterion GMKRJEYJXF

URI	`m2://inv/GMKRJEYJXF`
Kind	statement
Layer	research
MSC	37-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 2510.05499#CVGF, Mañé's infinitesimal criterion (statement). In WRMNCC8VBC/e1, theorem 58

History

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

Semigroup with two elements GMKYFDYDYM

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

Mentions

wikipedia: Wikipedia Semigroup with two elements, Semigroup with two elements (definition). Also Wikidata Q7449423

History

2026-11-02: add by m2/dev

GMM1G1HJ9R GMM1G1HJ9R

URI	`m2://inv/GMM1G1HJ9R`
Kind	statement
Layer	research
MSC	60-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.34570#IR9Y (statement). In EVFX1R7ZDD/e1, theorem 3

History

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

GMM4DXN7P8 GMM4DXN7P8

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

Mentions

applied_combinatorics: applied_combinatorics source/s_probability_intro.ptx#example-4 (example). In QKM9DD2H56, example, section 10.1

History

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

GMM5R71XDC GMM5R71XDC

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

Mentions

lebl_scv: lebl_scv scv.tex#example-22 (example). In VNMV985MXX, example, section 6.5

History

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

Topology GMM7VRJ4VC

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#CHY7, Topology (definition)

History

2026-11-02: add by m2/dev

Rolf Nevanlinna GMM9PK2FEA

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#J0H4, Rolf Nevanlinna (unknown)

History

2026-11-02: add by m2/dev

GMMBW9WDK8 GMMBW9WDK8

URI	`m2://inv/GMMBW9WDK8`
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 2610.21632#W180 (statement). In Q4RZTN2EX6/e1, lemma 5.13

History

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

Formal statement GMMG0C16PH

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

Mentions

wikipedia: Wikipedia No-deleting theorem#60I9, Formal statement (statement)

History

2026-11-02: add by m2/dev

The Math(s) Fix GMMJR5HXEY

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

Mentions

wikipedia: Wikipedia The Math(s) Fix, The Math(s) Fix (definition). Also Wikidata Q134429223

History

2026-11-02: add by m2/dev

Root representation of $\Delta_K$ GMMMTX87CD

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

Mentions

napkin: napkin tex/alg-NT/discriminant.tex#prob:root_discriminant, Root representation of $\Delta_K$ (exercise). In RZP28ERRZV, sproblem, section 11

History

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

symbol GMMPMAGHVG

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#XCFJ, symbol (definition)

History

2026-11-02: add by m2/dev

Rouché–Capelli theorem GMMS393MQH

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

Mentions

wikipedia: Wikipedia List of theorems#UV56, Rouché–Capelli theorem (statement)

History

2026-11-02: add by m2/dev

\sc Lov\'asz Local Lemma GMMZF0SZKC

URI	`m2://inv/GMMZF0SZKC`
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.34339#4TFS, \sc Lov\'asz Local Lemma (statement). In 9WFSTGMQ4E/e1, lemma 5.11

History

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

electric current GMN1PW6EZX

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

Mentions

wikidata: Wikidata Q11651, electric current (definition). Also ProofWiki Definition:Electric_Current

History

2026-10-26: add by m2/dev

Informal statement of the theorem GMN2G53ENS

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

Mentions

wikipedia: Wikipedia Noether's theorem#SHHJ, Informal statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Dallas Willard GMN3TBKPQH

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

Mentions

wikipedia: Wikipedia Dallas Willard, Dallas Willard (topic). Also Wikidata Q1158014

History

2026-11-02: add by m2/dev

GMNCCC33CF GMNCCC33CF

URI	`m2://inv/GMNCCC33CF`
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.20528#AMLX (statement)

History

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

complex hyperplane theorem GMNH6KFFH0

URI	`m2://inv/GMNH6KFFH0`
Kind	statement
Layer	research
MSC	46-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.26286#8ODU, complex hyperplane theorem (statement)

History

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

GMNMTBPZPK GMNMTBPZPK

URI	`m2://inv/GMNMTBPZPK`
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.10243#5UMP (statement). In 6N7EAD1PYD/e1, theorem 2.1

History

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

Hekat GMNR3Z87K5

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

Mentions

wikipedia: Wikipedia Hekat, Hekat (definition). Also Wikidata Q1607718

History

2026-11-02: add by m2/dev

Birefringence GMNSKF1GAB

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

Mentions

wikipedia: Wikipedia Birefringence, Birefringence (definition). Also Wikidata Q108779

History

2026-11-02: add by m2/dev

Examples GMNWB1JDNG

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

Mentions

wikipedia: Wikipedia Strongly regular graph#7F6P, Examples (example)

History

2026-11-02: add by m2/dev

Associated graded product GMNYTAY402

URI	`m2://inv/GMNYTAY402`
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.39262#Y26U, Associated graded product (statement). In XA2NE2Z06S/e1, lemma 5.1

History

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

directrix GMP25Z7HHH

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#2TU2, directrix (definition)

History

2026-11-02: add by m2/dev

GMP2GG7VBC GMP2GG7VBC

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

Mentions

arxiv: arXiv 2609.20008#X602 (statement)

History

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

Wolfgang Vogel GMP9D1W9WZ

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

Mentions

wikipedia: Wikipedia Wolfgang Vogel (mathematician), Wolfgang Vogel (topic). Also Wikidata Q114092

History

2026-11-02: add by m2/dev

Gambler's fallacy GMPCDEJF94

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

Mentions

wikipedia: Wikipedia List of cognitive biases#YPWT, Gambler's fallacy (definition)

History

2026-11-02: add by m2/dev

Properties GMPFRE6K81

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

Mentions

wikipedia: Wikipedia Spherical 3-manifold#ACME, Properties (statement)

History

2026-11-02: add by m2/dev

GMPGSDPTRP GMPGSDPTRP

URI	`m2://inv/GMPGSDPTRP`
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.10233#WGE4 (statement). In QR9WE79ERQ/e1, theorem 4.3

History

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

GMPHX8EJ3P GMPHX8EJ3P

URI	`m2://inv/GMPHX8EJ3P`
Kind	statement
Layer	research
MSC	16-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.22247#0M7L (statement). In SBNH1MWND8/e1, lemma 18

History

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

normal GMPJXMFZ7J

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#REY9, normal (definition)

History

2026-11-02: add by m2/dev

GMPKK2G1SD GMPKK2G1SD

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

Mentions

napkin: napkin tex/homology/cellular.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 50.5

History

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

Einar Hille GMPN333SG0

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#TIRF, Einar Hille (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7J09, Einar Hille (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J64E, Einar Hille (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W6S3, Einar Hille (topic)

History

2026-11-02: add by m2/dev

GMPNQZGW0Y GMPNQZGW0Y

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

Mentions

arxiv: arXiv 2610.21960#BQ9D (example). In QX77AN49J0/e1, example 2.5

History

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

Bi-interpretability GMPQP139K3

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

Mentions

wikipedia: Wikipedia Interpretation (model theory)#JIYA, Bi-interpretability (unknown)

History

2026-11-02: add by m2/dev

GMPSC0HMNB GMPSC0HMNB

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

Mentions

arxiv: arXiv 2609.26434#JA4S (statement)

History

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

Self-Assessment Manikin GMQ093CBCC

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

Mentions

wikipedia: Wikipedia Self-Assessment Manikin, Self-Assessment Manikin (definition). Also Wikidata Q1721013

History

2026-11-02: add by m2/dev

stable critical point GMQ5697167

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

Mentions

lebl_diffyqs: lebl_diffyqs index/4.6/stable-critical-point, stable critical point (concept). In E9HS8K3A52, index, section 4.6

History

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

GMQ5EA5M4B GMQ5EA5M4B

URI	`m2://inv/GMQ5EA5M4B`
Kind	statement
Layer	research
MSC	05-XX, 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 2509.04068#BR2M (statement). In Y7TVAQE9PF/e1, proposition 4.2

History

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

GMQ93MRWGB GMQ93MRWGB

URI	`m2://inv/GMQ93MRWGB`
Kind	statement
Layer	research
MSC	05-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.20678#MGXT (statement)

History

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

GMQDQS4NDG GMQDQS4NDG

URI	`m2://inv/GMQDQS4NDG`
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 2609.31345#U2SY (statement). In R4MX33WNRX/e1, proposition 3.5

History

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

Prognostics GMQGRMHB0S

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

Mentions

wikipedia: Wikipedia Prognostics, Prognostics (definition). Also Wikidata Q3042561

History

2026-11-02: add by m2/dev

continuity GMQP1ZZFS4

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > continuity, continuity (unknown). Also Mathlib HasFPowerSeriesOnBall.continuousOn

History

2026-10-26: add by m2/dev

16-cell honeycomb honeycomb GMR0A9YGM7

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

Mentions

wikipedia: Wikipedia 16-cell honeycomb honeycomb, 16-cell honeycomb honeycomb (definition). Also Wikidata Q19903048

History

2026-11-02: add by m2/dev

Examiner and judge designs GMR25PK940

URI	`m2://inv/GMR25PK940`
Kind	example
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.40156#8FFE, Examiner and judge designs (example). In PP8BEHWK33/e1, example 5

History

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

GMR3T6PTT0 GMR3T6PTT0

URI	`m2://inv/GMR3T6PTT0`
Kind	definition
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 2504.01057#PLPQ (definition). In 69QFBXJENW/e1, definition 3.6

History

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

Hemisphere (geometry) GMRMQZSF4E

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

Mentions

wikipedia: Wikipedia Sphere#Q4T6, Hemisphere (geometry) (unknown)

History

2026-11-02: add by m2/dev

source GMRV47GXSZ

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#HRAF, source (definition)

History

2026-11-02: add by m2/dev

Full Norm Control on the Cube GMRVH6Q1RN

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

Mentions

arxiv: arXiv 2610.12239#C5R4, Full Norm Control on the Cube (statement). In CW9MNA6K58/e1, corollary 4.2

History

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

GMRW5GHCBZ GMRW5GHCBZ

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

Mentions

arxiv: arXiv 2610.05320#G9FD (statement). In MVXZWHKEX8/e1, lemma 9.1

History

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

Ethnicities in the United States GMRYR2J8T7

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

Mentions

wikipedia: Wikipedia Race and ethnicity in the United States#GULM, Ethnicities in the United States (unknown)

History

2026-11-02: add by m2/dev

Dvoretzky's Theorem GMSNVEERJ5

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

Mentions

wikipedia: Wikipedia Asymptotic geometry#QI9O, Dvoretzky's Theorem (statement)

History

2026-11-02: add by m2/dev

GMSZ4ZGZAY GMSZ4ZGZAY

URI	`m2://inv/GMSZ4ZGZAY`
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.39981#EAI8 (statement). In PMMV6YAEVR/e1, proposition 2

History

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

Password strength GMT5MWJ56P

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

Mentions

wikipedia: Wikipedia Password strength, Password strength (definition). Also Wikidata Q1990841

History

2026-11-02: add by m2/dev

GMT5Z0CTX5 GMT5Z0CTX5

URI	`m2://inv/GMT5Z0CTX5`
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.22777#WEPM (statement)

History

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

Inscribed square problem GMT78JZJX1

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#KVN3, Inscribed square problem (conjecture)

History

2026-11-02: add by m2/dev

Eulerian path GMT7A69WPT

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

Mentions

wikipedia: Wikipedia List of topics named after Leonhard Euler#K8LC, Eulerian path (definition)

History

2026-11-02: add by m2/dev

Lagrange's theorem GMT7VWYNWH

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

Mentions

wikipedia: Wikipedia List of group theory topics#5ATV, Lagrange's theorem (statement)

History

2026-11-02: add by m2/dev

Fractional vertex TBC GMTESQW16R

URI	`m2://inv/GMTESQW16R`
Kind	statement
Layer	research
MSC	35-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 2610.06631#TB1K, Fractional vertex TBC (statement). In QR4SD83TFR/e1, theorem 7

History

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

Examples GMTG94X481

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

Mentions

wikipedia: Wikipedia Morley rank#LPEZ, Examples (example)

History

2026-11-02: add by m2/dev

Karl Schwarzschild GMTSTWY4J6

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#6ZS0, Karl Schwarzschild (unknown)

History

2026-11-02: add by m2/dev

GMTTEJQHXK GMTTEJQHXK

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

Mentions

arxiv: arXiv 2610.14435#WMOC (statement). In Y9FSN5BVNQ/e1, lemma 22

History

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

Vicious circle principle GMTZSQZKS8

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

Mentions

wikipedia: Wikipedia Vicious circle principle, Vicious circle principle (statement). Also Wikidata Q7925303

History

2026-11-02: add by m2/dev

Ordinals represent all order types GMV0QRT9ZG

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#theorem-2, Ordinals represent all order types (statement). In RZP28ERRZV, theorem, section 92.3

History

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

GMV3X4VQ12 GMV3X4VQ12

URI	`m2://inv/GMV3X4VQ12`
Kind	definition
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 1002.0879#J5QF (definition). In M0SQY5EZN5/e1, definition 4.7.6

History

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

GMV3YY4ETB GMV3YY4ETB

URI	`m2://inv/GMV3YY4ETB`
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 2610.21017#ELNB (statement). In 8KKYZ4NKT2/e1, proposition 10

History

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

Deep web GMV8S0DXSF

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#LWKJ, Deep web (unknown)

History

2026-11-02: add by m2/dev

Cesàro equation GMVBM9G5KA

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

Mentions

wikipedia: Wikipedia List of curves topics#H2UR, Cesàro equation (definition)

History

2026-11-02: add by m2/dev

GMVFPFJM9Y GMVFPFJM9Y

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_addtops-numbth.ptx#example-3 (example). In Y91XFCEVHQ, example, section 6.2.3

History

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

GMVWZQ1YQK GMVWZQ1YQK

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

Mentions

arxiv: arXiv 2609.29878#7HM0 (statement)

History

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

Harrison set GMVXV8ZGWG

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

Mentions

wikipedia: Wikipedia Ordered field#OWQO, Harrison set (unknown)

History

2026-11-02: add by m2/dev

GMW1GXAJHA GMW1GXAJHA

URI	`m2://inv/GMW1GXAJHA`
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.24584#E4FA (statement)

History

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

Generalizations GMW28TF39K

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

Mentions

wikipedia: Wikipedia Logarithm#ATW1, Generalizations (statement)

History

2026-11-02: add by m2/dev

GMWE1D330C GMWE1D330C

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

Mentions

arxiv: arXiv 2610.20299#J2GO (statement). In P7T0W5D3W3/e1, lemma 5.2

History

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

Definition GMWH198SDK

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

Mentions

wikipedia: Wikipedia Hypergeometric identity#WG2K, Definition (definition)

History

2026-11-02: add by m2/dev

GMWQQSF0HJ GMWQQSF0HJ

URI	`m2://inv/GMWQQSF0HJ`
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.20225#ZJDP (statement)

History

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

Doce de Octubre GMWV230CMV

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

Mentions

wikipedia: Wikipedia List of places with numeric names#7UGV, Doce de Octubre (unknown)

History

2026-11-02: add by m2/dev

GMWVT82ZGP GMWVT82ZGP

URI	`m2://inv/GMWVT82ZGP`
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.24078#PBQ4 (statement)

History

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

indecomposable GMWXH9BDY9

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

Mentions

wikipedia: Wikipedia Glossary of module theory#5DC9, indecomposable (definition)

History

2026-11-02: add by m2/dev

Mouat, Frederic J. GMX06QM1Y6

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

Mentions

wikipedia: Wikipedia List of statisticians#MVSU, Mouat, Frederic J. (unknown)

History

2026-11-02: add by m2/dev

GMX8QFDN2Q GMX8QFDN2Q

URI	`m2://inv/GMX8QFDN2Q`
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 2407.04161#RSHU (statement). In JBZJ7NPQ4G/e1, corollary 6.7

History

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

GMX98XDD75 GMX98XDD75

URI	`m2://inv/GMX98XDD75`
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.30018#GI7P (statement)

History

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

Geometric-stack-model CFO GMXQ4GP1YP

URI	`m2://inv/GMXQ4GP1YP`
Kind	statement
Layer	research
MSC	14-XX, 53-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.28220#07O1, Geometric-stack-model CFO (statement)

History

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

Hypercomputation GMY5VJE65M

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#9J2N, Hypercomputation (definition)
wikipedia: Wikipedia List of computability and complexity topics#94ED, Hypercomputation (definition)

History

2026-11-02: add by m2/dev

cyclic GMY88MP8EH

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

Mentions

wikipedia: Wikipedia Glossary of module theory#2SWR, cyclic (definition)

History

2026-11-02: add by m2/dev

GMYFGWBHGT GMYFGWBHGT

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

Mentions

arxiv: arXiv 2609.27301#9ZHC (definition)

History

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

GMYFQ9TV95 GMYFQ9TV95

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

Mentions

arxiv: arXiv 2506.09840#KRMY (statement). In Y7TWHSF2HC/e1, proposition 3.8

History

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

GMZ11R3G8B GMZ11R3G8B

URI	`m2://inv/GMZ11R3G8B`
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.25915#UIWO (statement)

History

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

infrared divergence GMZ1FG2WY0

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

Mentions

wikidata: Wikidata Q3032223, infrared divergence (unknown). Also nLab infrared divergence

History

2026-10-26: add by m2/dev

Discrete-time stochastic process GMZ32QY2AV

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

Mentions

wikipedia: Wikipedia Stochastic process#DPDS, Discrete-time stochastic process (unknown)

History

2026-11-02: add by m2/dev

GMZ9DGWAFR GMZ9DGWAFR

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#example:geomsumptconv (example). In E59CDZA4DP, example, section 9.1.1

History

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

Common fixed point problem GMZE8F9ABD

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

Mentions

wikipedia: Wikipedia Common fixed point problem, Common fixed point problem (conjecture). Also Wikidata Q131353866

History

2026-11-02: add by m2/dev

Rafa Esparza GMZGFHWC40

URI	`m2://inv/GMZGFHWC40`
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#5BMO, Rafa Esparza (unknown)

History

2026-11-02: add by m2/dev

GMZTD1XX4Q GMZTD1XX4Q

URI	`m2://inv/GMZTD1XX4Q`
Kind	statement
Layer	research
MSC	13-XX, 16-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 2502.14306#1BP4 (statement). In ZNBQD5WH1M/e1, lemma 5.18

History

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

Eric Douglas Bedford GMZXNQR4WZ

URI	`m2://inv/GMZXNQR4WZ`
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#LXZS, Eric Douglas Bedford (unknown)

History

2026-11-02: add by m2/dev