Inventory rows TF

Reduction to scalar Rellich compactness TF022W9FDZ

URI	`m2://inv/TF022W9FDZ`
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.33033#FETE, Reduction to scalar Rellich compactness (statement). In AJWBAHJ8VD/e1, proposition 5.7

History

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

TF0BDT2NSH TF0BDT2NSH

URI	`m2://inv/TF0BDT2NSH`
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.23128#8RY9 (statement)

History

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

Eisenstein prime TF0G9M45MG

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

Mentions

wikipedia: Wikipedia Eisenstein integer#WW95, Eisenstein prime (unknown)

History

2026-11-02: add by m2/dev

Pálfy, Péter Pál TF0MS4BJTM

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#TGGR, Pálfy, Péter Pál (topic)

History

2026-11-02: add by m2/dev

Santa Rita do Passa Quatro TF0N219R88

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

Mentions

wikipedia: Wikipedia List of places with numeric names#W723, Santa Rita do Passa Quatro (unknown)

History

2026-11-02: add by m2/dev

TF112SKF5W TF112SKF5W

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

Mentions

open_logic: open_logic content/set-theory/spine/stagesbasics.tex#Valphabasicprops (statement). In PKGMM3P5QY, lem, section 75.1

History

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

Walter Francis Willcox TF13JRCHN6

URI	`m2://inv/TF13JRCHN6`
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#F5UV, Walter Francis Willcox (unknown)

History

2026-11-02: add by m2/dev

Touchard polynomials TF13VW2MM3

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

Mentions

wikipedia: Wikipedia Touchard polynomials, Touchard polynomials (definition). Also Wikidata Q3820608

History

2026-11-02: add by m2/dev

measurable function TF1AR14JAG

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

Mentions

lebl_scv: lebl_scv index/E.1/measurable-function, measurable function (concept). In VNMV985MXX, index, section E.1

History

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

TF1BPNV0T1 TF1BPNV0T1

URI	`m2://inv/TF1BPNV0T1`
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#IN9F (statement). In 1PR73ECTZB/e1, proposition 15

History

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

The Betke–Kneser theorem TF1CK1CGSB

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

Mentions

wikipedia: Wikipedia Ehrhart polynomial#WLE8, The Betke–Kneser theorem (statement)

History

2026-11-02: add by m2/dev

Properties TF1XM49B4B

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

Mentions

wikipedia: Wikipedia Dirac delta function#YF89, Properties (statement)

History

2026-11-02: add by m2/dev

Bergman barycentric extension TF1YBJY277

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

Mentions

arxiv: arXiv 2609.28014#GSD6, Bergman barycentric extension (definition)

History

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

unimodular row TF23NFTAX1

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#8NIX, unimodular row (definition)

History

2026-11-02: add by m2/dev

Superiority and inferiority ranking method TF262Z6R35

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

Mentions

wikipedia: Wikipedia Superiority and inferiority ranking method, Superiority and inferiority ranking method (definition). Also Wikidata Q7643689

History

2026-11-02: add by m2/dev

Paul Wolfskehl TF2G3QTE08

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

Mentions

wikipedia: Wikipedia List of German mathematicians#0Y7R, Paul Wolfskehl (topic)

History

2026-11-02: add by m2/dev

TF2G67DHNZ TF2G67DHNZ

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#example-14 (example). In E59CDZA4DP, example, section 11.5

History

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

Euler rotation equations TF2MYC5AH4

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

Mentions

wikipedia: Wikipedia List of topics named after Leonhard Euler#84FW, Euler rotation equations (definition)

History

2026-11-02: add by m2/dev

TF2P4YN1GF TF2P4YN1GF

URI	`m2://inv/TF2P4YN1GF`
Kind	definition
Layer	research
MSC	03-XX, 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.07695#66Z4 (definition). In 8Z47D12KSX/e1, definition

History

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

TF2TQX7012 TF2TQX7012

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

Mentions

open_logic: open_logic content/set-theory/replacement/refproofs.tex#lemreflection (statement). In PKGMM3P5QY, lem, section 73.11

History

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

TF33TTZ3CA TF33TTZ3CA

URI	`m2://inv/TF33TTZ3CA`
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 2207.07461#A2M8 (definition). In GAG532VMPF/e1, definition 1.2.1

History

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

Definition TF3D522RVA

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

Mentions

wikipedia: Wikipedia Semimartingale#TRS6, Definition (definition)

History

2026-11-02: add by m2/dev

TF3DGNQ3HY TF3DGNQ3HY

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

Mentions

arxiv: arXiv 2412.14956#47AO (statement). In T8BQ6HHZYT/e1, proposition 6.5

History

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

Definition TF3Q3PNJPS

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

Mentions

wikipedia: Wikipedia Calculus of functors#1AUO, Definition (definition)

History

2026-11-02: add by m2/dev

rank-one corners TF3RZFW2DV

URI	`m2://inv/TF3RZFW2DV`
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.02743#SEOL, rank-one corners (statement). In GQH4ZPDWET/e1, proposition 2.2

History

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

1951 United Kingdom census TF3VFP8JTG

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

Mentions

wikipedia: Wikipedia 1951 United Kingdom census, 1951 United Kingdom census (definition). Also Wikidata Q21274978

History

2026-11-02: add by m2/dev

TF3Z0824QR TF3Z0824QR

URI	`m2://inv/TF3Z0824QR`
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.36613#F24V (statement). In GX0K0ZM700/e1, lemma 2.16

History

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

Search algorithm TF3ZPHH9AS

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

Mentions

wikipedia: Wikipedia List of algorithm general topics#604J, Search algorithm (unknown)

History

2026-11-02: add by m2/dev

c.f. TF434PQA7C

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

Mentions

arxiv: arXiv 2609.28514#1WBK, c.f. (statement)

History

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

Discrete-time intensity TF451Y9AS0

URI	`m2://inv/TF451Y9AS0`
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 2411.02694#46ZB, Discrete-time intensity (statement). In A8EK2ARN5Q/e1, lemma 5.2

History

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

Lift error propagates linearly to the discovered law TF45P4BG88

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

Mentions

arxiv: arXiv 2610.02637#7UYW, Lift error propagates linearly to the discovered law (statement). In 5Z2H5XJ6EM/e1, corollary S3.12

History

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

TF45SSNC9T TF45SSNC9T

URI	`m2://inv/TF45SSNC9T`
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.18847#TNH5 (statement). In DZ12XTTJSM/e1, proposition 4.10

History

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

Relation between Kelvin's statement and Planck's proposition TF494H2KC3

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

Mentions

wikipedia: Wikipedia Second law of thermodynamics#XEPX, Relation between Kelvin's statement and Planck's proposition (statement)

History

2026-11-02: add by m2/dev

TF4EF3AA6V TF4EF3AA6V

URI	`m2://inv/TF4EF3AA6V`
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.20106#1ZVV (statement). In 6HMZ36ZBXA/e1, lemma 2.14

History

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

TF4KRS43DJ TF4KRS43DJ

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

Mentions

napkin: napkin tex/topology/fundamental-group.tex#example-8 (example). In RZP28ERRZV, example, section 98.5

History

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

Vlasikha, Moscow Oblast TF4M7NJKE9

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

Mentions

wikipedia: Wikipedia List of places with numeric names#2GXK, Vlasikha, Moscow Oblast (unknown)

History

2026-11-02: add by m2/dev

Frequency measurement TF4QVRVY1Q

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

Mentions

wikipedia: Wikipedia Frequency#0PLJ, Frequency measurement (unknown)

History

2026-11-02: add by m2/dev

Finite geometric horn calculus TF4S4MW3KW

URI	`m2://inv/TF4S4MW3KW`
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#L43K, Finite geometric horn calculus (statement)

History

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

Minimum bounding rectangle TF4TR6GZ6Q

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

Mentions

wikipedia: Wikipedia Minimum bounding rectangle, Minimum bounding rectangle (definition). Also Wikidata Q1134256

History

2026-11-02: add by m2/dev

Raymond L. Johnson TF4W3BD433

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

Mentions

wikipedia: Wikipedia Raymond L. Johnson, Raymond L. Johnson (topic). Also Wikidata Q29470830

History

2026-11-02: add by m2/dev

TF53827VQ5 TF53827VQ5

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

Mentions

arxiv: arXiv 2609.37524#O315 (definition). In 4GTJAPF7Q3/e1, definition 2.3

History

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

TF5547P76Y TF5547P76Y

URI	`m2://inv/TF5547P76Y`
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.02669#5M43 (statement). In NSBSWH6XB4/e1, lemma 4.1

History

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

TF56S193NR TF56S193NR

URI	`m2://inv/TF56S193NR`
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.15352#2WGZ (statement). In R39P7AFXM8/e1, lemma 3.8

History

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

Hilbert–Schmidt integral operator TF5D2C4WP4

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

Mentions

wikipedia: Wikipedia Hilbert–Schmidt integral operator, Hilbert–Schmidt integral operator (definition). Also Wikidata Q5761249

History

2026-11-02: add by m2/dev

Regularity lemma TF5HGSW351

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

Mentions

wikipedia: Wikipedia Graphon#DVFO, Regularity lemma (statement)

History

2026-11-02: add by m2/dev

Generalizations TF5JVQ88ZV

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

Mentions

wikipedia: Wikipedia Hirzebruch signature theorem#HOE5, Generalizations (statement)

History

2026-11-02: add by m2/dev

rigid category TF5RK02BMV

URI	`m2://inv/TF5RK02BMV`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Rigid monoidal category A10WW8GEKR

Mentions

wikidata: Wikidata Q7333804, rigid category (unknown). Also nLab rigid monoidal category
wikipedia: Wikipedia Rigid category, Rigid category (definition). Also Wikidata Q7333804

History

2026-10-26: add by m2/dev

Generalized structure tensor TF5Y7RM6PJ

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

Mentions

wikipedia: Wikipedia Generalized structure tensor, Generalized structure tensor (definition). Also Wikidata Q24963937

History

2026-11-02: add by m2/dev

TF5ZJ7QEFC TF5ZJ7QEFC

URI	`m2://inv/TF5ZJ7QEFC`
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.11455#W8BO (statement). In Z1EBVH5SP1/e1, proposition 6.5

History

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

TF601FZREC TF601FZREC

URI	`m2://inv/TF601FZREC`
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.03683#C61K (statement). In 14AMXF6X2V/e1, lemma 5.5

History

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

CYK algorithm TF6HZCJX0J

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

Mentions

wikipedia: Wikipedia List of algorithms#L0T8, CYK algorithm (definition)

History

2026-11-02: add by m2/dev

Properties TF6PQNW4DZ

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

Mentions

wikipedia: Wikipedia Centered square number#KLJ4, Properties (statement)

History

2026-11-02: add by m2/dev

Upper bound TF6XQ9252E

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

Mentions

wikipedia: Wikipedia List of order theory topics#80AD, Upper bound (definition)

History

2026-11-02: add by m2/dev

Hadamard fractional integral TF74NMJKJE

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

Mentions

wikipedia: Wikipedia List of things named after Jacques Hadamard#PPD8, Hadamard fractional integral (topic)

History

2026-11-02: add by m2/dev

TF75YW0E2Y TF75YW0E2Y

URI	`m2://inv/TF75YW0E2Y`
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.20469#OPC0 (statement)

History

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

confidence interval TF7A8YJYQ4

URI	`m2://inv/TF7A8YJYQ4`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Confidence interval 0K4NMMJBG2

Mentions

wikidata: Wikidata Q208498, confidence interval (unknown). Also MathWorld ConfidenceInterval
wikipedia: Wikipedia Confidence interval, Confidence interval (definition). Also Wikidata Q208498

History

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

Cauchy index TF7E9S0B26

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

Mentions

wikipedia: Wikipedia Cauchy index, Cauchy index (definition). Also Wikidata Q3798199

History

2026-11-02: add by m2/dev

1980 Indonesian census TF7HFETYAA

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

Mentions

wikipedia: Wikipedia 1980 Indonesian census, 1980 Indonesian census (definition). Also Wikidata Q12504540

History

2026-11-02: add by m2/dev

Generalizations TF7NBG20EK

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

Mentions

wikipedia: Wikipedia Frénicle standard form#JGE5, Generalizations (statement)

History

2026-11-02: add by m2/dev

Common Regular PID Output TF7NK2VJRP

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

Mentions

arxiv: arXiv 2609.37578#4UKZ, Common Regular PID Output (statement). In D7NDCWSDJE/e1, lemma 22

History

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

Long Yiming TF7Y1F0ZE4

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

Mentions

wikipedia: Wikipedia Long Yiming, Long Yiming (topic). Also Wikidata Q9465991

History

2026-11-02: add by m2/dev

splitting principle TF80PFD1XT

URI	`m2://inv/TF80PFD1XT`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Splitting principle FRTE50B74R

Mentions

wikidata: Wikidata Q7578745, splitting principle (unknown). Also nLab splitting principle
wikipedia: Wikipedia Splitting principle, Splitting principle (statement). Also Wikidata Q7578745

History

2026-10-26: add by m2/dev

TF81PT998S TF81PT998S

URI	`m2://inv/TF81PT998S`
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#5UY3 (statement). In FVZZDPEYNM/e1, proposition 2.1

History

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

A $K$-theoretic sufficient criterion TF82SYRAQF

URI	`m2://inv/TF82SYRAQF`
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#TBMG, A $K$-theoretic sufficient criterion (statement). In CSRZ9CWK69/e1, theorem 9.13

History

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

Transcendental argument TF82ZSYB26

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

Mentions

wikipedia: Wikipedia Transcendental argument, Transcendental argument (definition). Also Wikidata Q7833865

History

2026-11-02: add by m2/dev

TF837STBF4 TF837STBF4

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

Mentions

arxiv: arXiv 2311.00585#O4QA (problem). In 332PQD90SW/e1, problem 3.2

History

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

Dialectica space TF85GFXRG3

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

Mentions

wikipedia: Wikipedia Dialectica space, Dialectica space (definition). Also Wikidata Q5270532

History

2026-11-02: add by m2/dev

de Rham cohomology TF87XSJNFS

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

Mentions

napkin: napkin tex/homology/cohomology.tex#example-1, de Rham cohomology (example). In RZP28ERRZV, example, section 51.1

History

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

TF8D908SWB TF8D908SWB

URI	`m2://inv/TF8D908SWB`
Kind	example
Layer	research
MSC	35-XX, 47-XX, 58-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.10964#LB0U (example). In 16KVMD76PZ/e1, example 3.3

History

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

Duhamel's principle TF8FCTD6PY

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

Mentions

wikipedia: Wikipedia Duhamel's principle, Duhamel's principle (statement). Also Wikidata Q4378863

History

2026-11-02: add by m2/dev

Binary operation TF8VAA01GH

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

Mentions

wikipedia: Wikipedia List of group theory topics#L3S0, Binary operation (definition)
wikipedia: Wikipedia List of abstract algebra topics#I2LS, Binary operation (definition)

History

2026-11-02: add by m2/dev

more challenging TF92K9GZZS

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-8, more challenging (exercise). In E9HS8K3A52, exercise, section 3.1.5

History

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

Pseudo-ring TF93B312WH

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

Mentions

wikipedia: Wikipedia Pseudo-ring, Pseudo-ring (definition). Also Wikidata Q26806569

History

2026-11-02: add by m2/dev

TF9A657TXC TF9A657TXC

URI	`m2://inv/TF9A657TXC`
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.35404#UQEO (statement). In DH84PYVRCF/e1, corollary 1.5

History

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

TF9BSGFTJZ TF9BSGFTJZ

URI	`m2://inv/TF9BSGFTJZ`
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 2207.11097#LIRI (definition). In 13H5BTAXHF/e1, definition 23

History

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

Rigidity of the radial field TF9FN4YHZZ

URI	`m2://inv/TF9FN4YHZZ`
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.12138#5MN9, Rigidity of the radial field (statement). In KFAR8SMVYM/e1, proposition 3.2

History

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

Monogon TF9HQKSKAX

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#DXZR, Monogon (definition)

History

2026-11-02: add by m2/dev

Kaisa Matomäki TF9Y09F5MQ

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

Mentions

wikipedia: Wikipedia Kaisa Matomäki, Kaisa Matomäki (topic). Also Wikidata Q27061623

History

2026-11-02: add by m2/dev

TFA0NHY2HA TFA0NHY2HA

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

Mentions

arxiv: arXiv 2609.30957#CNS4 (statement). In P5YB6R0RK3/e1, lemma 5.3

History

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

Logarithmic uncertainty principle TFA1XJ3BRR

URI	`m2://inv/TFA1XJ3BRR`
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 2609.34946#I4IZ, Logarithmic uncertainty principle (statement). In Y27BAB2BB4/e1, theorem

History

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

TFA8SF988M TFA8SF988M

URI	`m2://inv/TFA8SF988M`
Kind	definition
Layer	research
MSC	05-XX, 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.30086#D0O3 (definition)

History

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

Julie Legler TFAA128B3S

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#3QPC, Julie Legler (unknown)

History

2026-11-02: add by m2/dev

Algorithms for item tree analysis TFAAC4NMNR

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

Mentions

wikipedia: Wikipedia Item tree analysis#N9VZ, Algorithms for item tree analysis (unknown)

History

2026-11-02: add by m2/dev

Classical differential calculus TFAMVHPMBN

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#QEWM, Classical differential calculus (definition)

History

2026-11-02: add by m2/dev

Genetic Algorithm for Rule Set Production TFAMVN7XKP

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#3ZKB, Genetic Algorithm for Rule Set Production (unknown)

History

2026-11-02: add by m2/dev

TFAQRZHDDQ TFAQRZHDDQ

URI	`m2://inv/TFAQRZHDDQ`
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#AF6E (statement). In MVXZWHKEX8/e1, lemma 5.3

History

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

Population ecology TFAR16ZD5J

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

Mentions

wikipedia: Wikipedia List of fields of application of statistics#ZJ6M, Population ecology (unknown)

History

2026-11-02: add by m2/dev

TFATS5WPAK TFATS5WPAK

URI	`m2://inv/TFATS5WPAK`
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 2609.36334#02RS (definition). In YVB70SBGN1/e1, definition

History

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

Peter Jones TFB0DJQ4NW

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

Mentions

wikipedia: Wikipedia Peter Jones (mathematician), Peter Jones (topic). Also Wikidata Q568189

History

2026-11-02: add by m2/dev

TFB4VMJ074 TFB4VMJ074

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-1 (exercise). In P1C114YBXG, problem, section D

History

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

sphere bundle TFB5VSZZQ4

URI	`m2://inv/TFB5VSZZQ4`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Sphere bundle 3VQ2V5HH3R

Mentions

wikidata: Wikidata Q51544038, sphere bundle (unknown). Also nLab sphere fiber bundle
wikipedia: Wikipedia Sphere bundle, Sphere bundle (definition). Also Wikidata Q51544038

History

2026-10-26: add by m2/dev

The Segre model and the triviality criterion TFB9F2FE3B

URI	`m2://inv/TFB9F2FE3B`
Kind	example
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.00077#J7SV, The Segre model and the triviality criterion (example). In C04B15GH1T/e1, example 3.13

History

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

TFBEXDJSM9 TFBEXDJSM9

URI	`m2://inv/TFBEXDJSM9`
Kind	statement
Layer	research
MSC	20-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.06699#84NB (statement). In GXHKRV5BPY/e1, corollary 3.15

History

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

Definition TFBJRFWD1C

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

Mentions

wikipedia: Wikipedia Cross-correlation matrix#2LBC, Definition (definition)

History

2026-11-02: add by m2/dev

The constrained minimizer and its obstacle TFBYJQPX9G

URI	`m2://inv/TFBYJQPX9G`
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.06490#475U, The constrained minimizer and its obstacle (statement). In NKXTXH59P1/e1, lemma 3.1

History

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

Frédéric Pham TFC07JJM0B

URI	`m2://inv/TFC07JJM0B`
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#2R7J, Frédéric Pham (unknown)

History

2026-11-02: add by m2/dev

Vitali Milman TFC5M0HBBJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4OIQ, Vitali Milman (unknown)
wikipedia: Wikipedia List of Ukrainian Jews#KJW5, Vitali Milman (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ODY2, Vitali Milman (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YXPB, Vitali Milman (unknown)

History

2026-11-02: add by m2/dev

TFC960Y181 TFC960Y181

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-49 (exercise). In E9HS8K3A52, exercise, section 6.3.3

History

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

Applications TFCBDM5SPV

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

Mentions

wikipedia: Wikipedia Geometric mechanics#TPO4, Applications (example)

History

2026-11-02: add by m2/dev

intermediate logic TFCQCTEE3B

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

Mentions

wikipedia: Wikipedia Glossary of logic#N2II, intermediate logic (definition)

History

2026-11-02: add by m2/dev

TFCSYJFGM5 TFCSYJFGM5

URI	`m2://inv/TFCSYJFGM5`
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 2609.34946#8CIK (statement). In Y27BAB2BB4/e1, theorem 1.4

History

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

What interleaving saves TFCW3TJ3KS

URI	`m2://inv/TFCW3TJ3KS`
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.12211#QL9Y, What interleaving saves (statement). In WBC7PQTVYC/e1, proposition 6

History

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

Applications TFD0NZC6HQ

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

Mentions

wikipedia: Wikipedia Lie algebra extension#YR2F, Applications (example)

History

2026-11-02: add by m2/dev

TFD5G9033A TFD5G9033A

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_intro-sets.ptx#example-1 (example). In Y91XFCEVHQ, example, section 1.3.1

History

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

LMO convergence with decreasing momentum weights TFD93V4S5D

URI	`m2://inv/TFD93V4S5D`
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.13789#6YK5, LMO convergence with decreasing momentum weights (statement). In 803XY7QQZ4/e1, theorem 2

History

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

TFDGK96B6Z TFDGK96B6Z

URI	`m2://inv/TFDGK96B6Z`
Kind	statement
Layer	research
MSC	20-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.03422#FBI2 (statement). In SF88CM0957/e1, proposition 5.1

History

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

Definition TFDWGGVWNQ

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

Mentions

wikipedia: Wikipedia Exact differential equation#QUUW, Definition (definition)

History

2026-11-02: add by m2/dev

first isomorphism theorem for commutative rings TFE6JWT8FY

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

Mentions

mathlib_overview: mathlib_overview General algebra > Ideals and quotients > first isomorphism theorem for commutative rings, first isomorphism theorem for commutative rings (unknown). Also Mathlib RingHom.quotientKerEquivOfSurjective

History

2026-10-26: add by m2/dev

TFEACNF8NR TFEACNF8NR

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

Mentions

arxiv: arXiv 2403.08723#ID5F (statement). In HGE2NCQW29/e1, lemma 4.3

History

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

TFECNRJZXJ TFECNRJZXJ

URI	`m2://inv/TFECNRJZXJ`
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.01267#0G9B (statement). In GWWHP6R0BZ/e1, theorem 4.16

History

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

Integer programming TFEDX85GZQ

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#3MP6, Integer programming (definition)

History

2026-11-02: add by m2/dev

TFEPE8TWJG TFEPE8TWJG

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

Mentions

arxiv: arXiv 2610.10406#3KMD (statement). In VQA35Q7C00/e1, lemma 4.2

History

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

Generalizations TFEPJZ4G0E

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

Mentions

wikipedia: Wikipedia Gödel numbering#SS93, Generalizations (statement)

History

2026-11-02: add by m2/dev

TFFBF8H29P TFFBF8H29P

URI	`m2://inv/TFFBF8H29P`
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.01731#6Z7X (statement). In 3TJ2FWXQ0D/e1, proposition 3.13

History

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

Bézout's theorem TFFCZF7Q3S

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

Mentions

wikipedia: Wikipedia List of theorems#OCXG, Bézout's theorem (statement)

History

2026-11-02: add by m2/dev

determinant TFFQ84FHBE

URI	`m2://inv/TFFQ84FHBE`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Determinant 00KDZRW4C0

Mentions

mathlib_overview: mathlib_overview Linear algebra > Matrices > determinant, determinant (unknown). Also Mathlib Matrix.det
mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > determinant, determinant (unknown). Also Mathlib Matrix.det
wikidata: Wikidata Q178546, determinant (unknown). Also EoM determinant, Mathlib Matrix.det, MathWorld Determinant, nLab determinant
wikipedia: Wikipedia Determinant, Determinant (definition). Also Wikidata Q178546

History

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

TFFRQ714ZB TFFRQ714ZB

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

History

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

Monty Hall problem TFFVG1501N

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

Mentions

wikipedia: Wikipedia List of paradoxes#IXTE, Monty Hall problem (problem)

History

2026-11-02: add by m2/dev

TFG7AD62Z6 TFG7AD62Z6

URI	`m2://inv/TFG7AD62Z6`
Kind	statement
Layer	research
MSC	20-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.37761#7OXA (statement). In 4TAQ65KZKN/e1, lemma 3.4

History

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

Donaldson's theorem TFGQFCEG2A

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

Mentions

wikipedia: Wikipedia List of theorems#UOFW, Donaldson's theorem (statement)

History

2026-11-02: add by m2/dev

TFGRPD2F94 TFGRPD2F94

URI	`m2://inv/TFGRPD2F94`
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 2404.05451#PY2R (statement). In 5YMFYAFFJ7/e1, theorem G

History

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

TFH7R4RH5H TFH7R4RH5H

URI	`m2://inv/TFH7R4RH5H`
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.21016#U198 (statement)

History

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

TFHH3B3DZ5 TFHH3B3DZ5

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

Mentions

arxiv: arXiv 2610.10860#K68A (statement). In PBYNV2WF2H/e1, lemma 5.4

History

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

Cartan's theorem B TFHNPA2PCV

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

Mentions

arxiv: arXiv 2407.02022#ORMP, Cartan's theorem B (statement). In RZDNWV9E29/e1, theorem 2.15

History

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

TFHTPMV25V TFHTPMV25V

URI	`m2://inv/TFHTPMV25V`
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 2605.00407#2QDC (statement). In TVFD0G3F2W/e1, lemma A.2

History

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

TFJFNKY516 TFJFNKY516

URI	`m2://inv/TFJFNKY516`
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.06521#FZT5 (statement). In NVXWD513NM/e1, proposition 5.6

History

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

Catholic semigroup TFJVDYTQHN

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

Mentions

wikipedia: Wikipedia Catholic semigroup, Catholic semigroup (definition). Also Wikidata Q18344524

History

2026-11-02: add by m2/dev

TFJXFSQXB1 TFJXFSQXB1

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

Mentions

hott_book: hott_book hits.tex#thm:flattening-rect (statement). In N54F33XE07, lem, section 5.12

History

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

Arithmetical ring TFJZRRQ5B5

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

Mentions

wikipedia: Wikipedia Arithmetical ring, Arithmetical ring (definition). Also Wikidata Q4791138

History

2026-11-02: add by m2/dev

Lemniscate of Booth TFK7JHYNVF

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#X1LN, Lemniscate of Booth (definition)

History

2026-11-02: add by m2/dev

natural bundle TFK7ZRSZG4

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

Mentions

wikidata: Wikidata Q36775500, natural bundle (unknown). Also nLab natural bundle
wikipedia: Wikipedia Natural bundle, Natural bundle (definition). Also Wikidata Q36775500

History

2026-10-26: add by m2/dev

Holomorph convex TFKA37M085

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

Mentions

wikipedia: Wikipedia Function of several complex variables#8FHD, Holomorph convex (unknown)

History

2026-11-02: add by m2/dev

Gluing Principle TFKAAZFFYE

URI	`m2://inv/TFKAAZFFYE`
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 2104.00162#9XGG, Gluing Principle (statement). In HVGT9D84WV/e1, proposition 1.37

History

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

TFKC8JZSM6 TFKC8JZSM6

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

Mentions

arxiv: arXiv 2610.15720#QB5N (statement). In VNN52G3BRE/e1, proposition B.7

History

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

DeMorgan TFKFKSZTBQ

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#thm-1, DeMorgan (statement). In E59CDZA4DP, thm, section 11.9.1

History

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

Intrinsic full support implies strict crossing TFKHFPG6AN

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

Mentions

arxiv: arXiv 2609.33472#4NKE, Intrinsic full support implies strict crossing (statement). In WBQQBZ4FCJ/e1, theorem 6.1

History

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

TFKJ2C04YJ TFKJ2C04YJ

URI	`m2://inv/TFKJ2C04YJ`
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 2204.05019#416B (statement). In NMGJEPYKJ7/e1, corollary 2.6

History

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

TFKJT9PJSK TFKJT9PJSK

URI	`m2://inv/TFKJT9PJSK`
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.00144#QQ7A (definition). In HAZGBX88B3/e1, definition 2.3

History

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

Examples TFKN1HHY60

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

Mentions

wikipedia: Wikipedia Wick's theorem#XWMW, Examples (example)

History

2026-11-02: add by m2/dev

Pólya's gap theorem TFKZDF9QG3

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

Mentions

wikipedia: Wikipedia Fabry gap theorem#T6SZ, Pólya's gap theorem (statement)

History

2026-11-02: add by m2/dev

TFM43X30Z7 TFM43X30Z7

URI	`m2://inv/TFM43X30Z7`
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.21438#V904 (statement)

History

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

Ian Keith Affleck TFMF8ZEAK8

URI	`m2://inv/TFMF8ZEAK8`
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 Q1655419, Ian Keith Affleck (unknown). Also nLab Ian Affleck

History

2026-10-26: add by m2/dev

TFMFYMJYGF TFMFYMJYGF

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

Mentions

arxiv: arXiv 2610.01888#PQ91 (statement). In A89G9GMPC9/e1, theorem 3.4

History

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

TFMYPPTSQN TFMYPPTSQN

URI	`m2://inv/TFMYPPTSQN`
Kind	statement
Layer	research
MSC	26-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 2411.16022#GFID (statement). In QG9ATXTKJ6/e1, proposition 1.2

History

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

The exact reduction TFN22DTPMA

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

Mentions

arxiv: arXiv 2610.18512#H4XT, The exact reduction (statement). In 11JNM66Z09/e1, proposition F.2

History

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

Joel David Hamkins TFN48F2P68

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#V9KY, Joel David Hamkins (unknown)

History

2026-11-02: add by m2/dev

TFN6BJZT26 TFN6BJZT26

URI	`m2://inv/TFN6BJZT26`
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.32829#FCRW (statement). In RYWAX33Z51/e1, lemma 4.11

History

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

TFNCVM3448 TFNCVM3448

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

Mentions

arxiv: arXiv 2609.32107#B1J1 (statement). In F11G5M3JA5/e1, lemma 2.1

History

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

Directional regret of discrete block-normalized learning TFNF6AQQ14

URI	`m2://inv/TFNF6AQQ14`
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.05428#UURU, Directional regret of discrete block-normalized learning (statement). In 31MQPCA8SH/e1, theorem 4.1

History

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

TFNJH430GH TFNJH430GH

URI	`m2://inv/TFNJH430GH`
Kind	definition
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.30113#3XL6 (definition)

History

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

TFNN5ZD55A TFNN5ZD55A

URI	`m2://inv/TFNN5ZD55A`
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 2407.08004#D0SF (statement). In TYS65EG479/e1, theorem 7

History

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

thickness TFNYPHRCWZ

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

Mentions

wikidata: Wikidata Q18394143, thickness (unknown). Also MathWorld GraphThickness
wikipedia: Wikipedia Thickness (graph theory), Thickness (definition). Also Wikidata Q18394143

History

2026-10-26: add by m2/dev

The law of falling bodies TFP7VE9Q5G

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

Mentions

wikipedia: Wikipedia Two New Sciences#2RE4, The law of falling bodies (statement)

History

2026-11-02: add by m2/dev

TFP9E5G301 TFP9E5G301

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

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#definition-2 (definition). In RZP28ERRZV, definition, section 80.1

History

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

Myriagram (geometry) TFPD6YBAGQ

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

Mentions

wikipedia: Wikipedia Myriagon#CQRG, Myriagram (geometry) (unknown)

History

2026-11-02: add by m2/dev

Maurice Gevrey TFPDY13B0K

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

Mentions

wikipedia: Wikipedia Maurice Gevrey, Maurice Gevrey (topic). Also Wikidata Q6793140

History

2026-11-02: add by m2/dev

TFPK1GZK96 TFPK1GZK96

URI	`m2://inv/TFPK1GZK96`
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.18084#7PBX (statement). In PKPT8NY665/e1, proposition 4.6

History

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

Definition TFPN9VT8EM

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

Mentions

wikipedia: Wikipedia Courant algebroid#9DXS, Definition (definition)

History

2026-11-02: add by m2/dev

TFPTTSHRAR TFPTTSHRAR

URI	`m2://inv/TFPTTSHRAR`
Kind	conjecture
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#OKGF (conjecture)

History

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

TFPWHTH4P2 TFPWHTH4P2

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

Mentions

arxiv: arXiv 2610.13745#E83F (statement). In CFJH0Q39FZ/e1, proposition 7.4

History

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

TFPZ8QGN67 TFPZ8QGN67

URI	`m2://inv/TFPZ8QGN67`
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.32946#NGOI (statement). In 6AEBXNK614/e1, lemma 2.11

History

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

TFQ9JAM5K0 TFQ9JAM5K0

URI	`m2://inv/TFQ9JAM5K0`
Kind	statement
Layer	research
MSC	05-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 2306.12846#MX8K (statement). In D6XA7JXZF3/e1, theorem 5.2

History

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

TFQESNZ52F TFQESNZ52F

URI	`m2://inv/TFQESNZ52F`
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 0806.0033#UI6V (statement). In RV34HVZMB3/e1, theorem 3

History

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

TFQPXK1NAY TFQPXK1NAY

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

Mentions

austin_ula: austin_ula src/section6-2.xml#prop-col-orthog (statement). In 649HGZKE96, proposition, section 6.2.3

History

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

Quantum mechanics TFQR4JYG1C

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

Mentions

wikipedia: Wikipedia List of Fourier analysis topics#O2MN, Quantum mechanics (definition)

History

2026-11-02: add by m2/dev

Diagonal reduction by Dirichlet averaging TFQWAJGK3H

URI	`m2://inv/TFQWAJGK3H`
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.18277#ZNCQ, Diagonal reduction by Dirichlet averaging (statement). In YFRNY7S92A/e1, lemma 6.2

History

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

TFR0ST9SWT TFR0ST9SWT

URI	`m2://inv/TFR0ST9SWT`
Kind	statement
Layer	research
MSC	30-XX, 32-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.10505#MWOS (statement). In JW8HH6EPG2/e1, proposition 3.9

History

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

Mount Gauss TFR2C30GB8

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

Mentions

wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#CUVJ, Mount Gauss (unknown)

History

2026-11-02: add by m2/dev

relative error TFRB2WXQQZ

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

Mentions

wikidata: Wikidata Q12375413, relative error (unknown). Also MathWorld RelativeError

History

2026-10-26: add by m2/dev

0 TFREB5F53S

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

Mentions

wikipedia: Wikipedia List of real analysis topics#XXBZ, 0 (definition)

History

2026-11-02: add by m2/dev

Lemma 6 TFRF5CM794

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

Mentions

wikipedia: Wikipedia Hilbert's theorem (differential geometry)#Q4HJ, Lemma 6 (statement)

History

2026-11-02: add by m2/dev

TFRFK9N5W3 TFRFK9N5W3

URI	`m2://inv/TFRFK9N5W3`
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 2210.12291#QOK5 (definition). In PHPNFMYPPE/e1, definition 1.1

History

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

TFRMJ9ZZWJ TFRMJ9ZZWJ

URI	`m2://inv/TFRMJ9ZZWJ`
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.21131#UVSF (definition). In CPYWHRTPKC/e1, definition

History

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

TFRSXMXA4P TFRSXMXA4P

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

Mentions

arxiv: arXiv 2508.02432#RQ6Z (statement). In B366ACYB37/e1, theorem 1.2

History

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

inner automorphism TFRZSX86RN

URI	`m2://inv/TFRZSX86RN`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Inner automorphism 0H47DMFN3S

Mentions

wikidata: Wikidata Q1139583, inner automorphism (definition). Also EoM Inner_automorphism, MathWorld InnerAutomorphism, nLab inner automorphism, ProofWiki Definition:Inner_Automorphism
wikipedia: Wikipedia Inner automorphism, Inner automorphism (definition). Also Wikidata Q1139583

History

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

TFS2FAAT2D TFS2FAAT2D

URI	`m2://inv/TFS2FAAT2D`
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.23994#VID8 (statement)

History

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

TFS2MJGRS0 TFS2MJGRS0

URI	`m2://inv/TFS2MJGRS0`
Kind	unknown
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21976#E9A6 (unknown)

History

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

Newton’s inequality TFSC5C5KH7

URI	`m2://inv/TFSC5C5KH7`
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.29393#T639, Newton’s inequality (statement)

History

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

TFSE095AE2 TFSE095AE2

URI	`m2://inv/TFSE095AE2`
Kind	statement
Layer	research
MSC	20-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.13260#03IR (statement). In ZBQX9341RV/e1, theorem D

History

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

Ribet's theorem for Frey curves TFSJHGXPS0

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

Mentions

wikipedia: Wikipedia Fermat's Last Theorem#L0GM, Ribet's theorem for Frey curves (statement)

History

2026-11-02: add by m2/dev

Example TFSPKCS3TN

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

Mentions

wikipedia: Wikipedia Adomian decomposition method#NST5, Example (example)

History

2026-11-02: add by m2/dev

TFSPVD4CW2 TFSPVD4CW2

URI	`m2://inv/TFSPVD4CW2`
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.12047#B5BV (statement). In ZF1Y3HZMZ9/e1, theorem 1.1

History

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

Lyusternik–Fet theorem TFSQXW2X4J

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

Mentions

wikipedia: Wikipedia Lyusternik–Fet theorem, Lyusternik–Fet theorem (statement). Also Wikidata Q61761423

History

2026-11-02: add by m2/dev

Cubic scalar recovery TFSSNZ16RD

URI	`m2://inv/TFSSNZ16RD`
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.04027#YZL0, Cubic scalar recovery (statement). In DQB4YR2DFH/e1, lemma 4.4

History

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

TFSSX1W8HG TFSSX1W8HG

URI	`m2://inv/TFSSX1W8HG`
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 2305.01474#BS6K (statement). In 2QB5F6J24Q/e1, theorem 4.1

History

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

TFT5ZC1QJS TFT5ZC1QJS

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-35 (exercise). In E59CDZA4DP, exercise, section 4.3.4

History

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

TFTC9CNWMD TFTC9CNWMD

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-4.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 3.4

History

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

TFTEKPVJMA TFTEKPVJMA

URI	`m2://inv/TFTEKPVJMA`
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.09154#C91H (definition). In JYVGX17N4F/e1, definition 3.1

History

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

Qiao--Wang; Hu--Lim--Zhou TFTGPNZ193

URI	`m2://inv/TFTGPNZ193`
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 2610.15444#J4OA, Qiao--Wang; Hu--Lim--Zhou (statement). In M2X9TEYRPC/e1, theorem 2.3

History

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

Hopf algebroid corepresenting stack of formal group laws TFTS72TWRW

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

Mentions

wikipedia: Wikipedia Hopf algebroid#LVED, Hopf algebroid corepresenting stack of formal group laws (statement)

History

2026-11-02: add by m2/dev

Composition may fail on the maximal partial domain TFTX2G8T8W

URI	`m2://inv/TFTX2G8T8W`
Kind	example
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.25987#8Y00, Composition may fail on the maximal partial domain (example)

History

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

Frederick Koon-Shing Leung TFTXPNVKC6

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

Mentions

wikipedia: Wikipedia Frederick Koon-Shing Leung, Frederick Koon-Shing Leung (topic). Also Wikidata Q47192708

History

2026-11-02: add by m2/dev

Proper scoring rule TFV0NSEYPT

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

Mentions

wikipedia: Wikipedia Scoring rule#RUM8, Proper scoring rule (unknown)

History

2026-11-02: add by m2/dev

TFV2G4GB1G TFV2G4GB1G

URI	`m2://inv/TFV2G4GB1G`
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.33015#8GBI (statement). In W6Y6NPK648/e1, proposition 5.18

History

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

Properties of the Hessian observable TFV3038JV6

URI	`m2://inv/TFV3038JV6`
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.16705#LXF1, Properties of the Hessian observable (statement). In B48YQVGAF5/e1, lemma 5.6

History

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

Heinrich Maschke TFV4D50JEM

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

Mentions

wikipedia: Wikipedia Heinrich Maschke, Heinrich Maschke (topic). Also Wikidata Q84754

History

2026-11-02: add by m2/dev

Iteration Complexity TFV9EM490V

URI	`m2://inv/TFV9EM490V`
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.10927#PKDJ, Iteration Complexity (statement). In DHEJP3YATV/e1, corollary 28

History

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

The Indispensability of Mathematics TFVDR6EJHG

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

Mentions

wikipedia: Wikipedia The Indispensability of Mathematics, The Indispensability of Mathematics (definition). Also Wikidata Q60786085

History

2026-11-02: add by m2/dev

Exponential response formula TFVPB32PW3

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

Mentions

wikipedia: Wikipedia Exponential response formula, Exponential response formula (statement). Also Wikidata Q30681058

History

2026-11-02: add by m2/dev

General linear group TFVQZ40ABB

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

Mentions

wikipedia: Wikipedia List of group theory topics#D4BJ, General linear group (definition)

History

2026-11-02: add by m2/dev

Closed convex function TFVV8GEJ0W

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

Mentions

wikipedia: Wikipedia Closed convex function, Closed convex function (definition). Also Wikidata Q5135337

History

2026-11-02: add by m2/dev

Jon Michael Dunn TFVYEEZNSP

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

Mentions

wikipedia: Wikipedia List of logicians#1E6Q, Jon Michael Dunn (unknown)

History

2026-11-02: add by m2/dev

TFW40A09M3 TFW40A09M3

URI	`m2://inv/TFW40A09M3`
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.19684#T8GF (statement). In 9KQC3ZT2SH/e1, theorem 4.1

History

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

TFW5237HC0 TFW5237HC0

URI	`m2://inv/TFW5237HC0`
Kind	definition
Layer	research
MSC	05-XX, 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.13888#KUVV (definition). In 2G5K2GZTX7/e1, definition 3.1

History

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

TFWCM99G6Q TFWCM99G6Q

URI	`m2://inv/TFWCM99G6Q`
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 1303.4328#C126 (statement). In HCTYW6VH87/e1, lemma 8.11

History

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

Definition TFWD0Y1KNR

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

Mentions

wikipedia: Wikipedia Ulam matrix#IZEE, Definition (definition)

History

2026-11-02: add by m2/dev

Even Lam\'e polynomial sector TFWDFE8H25

URI	`m2://inv/TFWDFE8H25`
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.24807#LDQE, Even Lam\'e polynomial sector (statement)

History

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

pedial circle TFWFGGBE3S

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

Mentions

wikidata: Wikidata Q111207795, pedial circle (unknown). Also MathWorld PedalCircle
wikipedia: Wikipedia Pedal circle, Pedal circle (definition). Also Wikidata Q111207795

History

2026-10-26: add by m2/dev

TFWQSN2JGD TFWQSN2JGD

URI	`m2://inv/TFWQSN2JGD`
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#5C74 (statement)

History

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

Lebesgue point TFWYE91SCD

URI	`m2://inv/TFWYE91SCD`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Lebesgue point 19WRHM5NAT

Mentions

wikidata: Wikidata Q388660, Lebesgue point (concept). Also EoM Lebesgue_point
wikipedia: Wikipedia Lebesgue point, Lebesgue point (definition). Also Wikidata Q388660

History

2026-10-26: add by m2/dev

Corollary TFX1DNH95V

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

Mentions

wikipedia: Wikipedia Hopf decomposition#AA44, Corollary (statement)

History

2026-11-02: add by m2/dev

Communication complexity TFX4VFM1HA

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

Mentions

wikipedia: Wikipedia Communication complexity, Communication complexity (definition). Also Wikidata Q5154130

History

2026-11-02: add by m2/dev

Sharp QT-8D TFX6879JSD

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

Mentions

wikipedia: Wikipedia Sharp QT-8D, Sharp QT-8D (definition). Also Wikidata Q2277327

History

2026-11-02: add by m2/dev

TFX8WPJSYF TFX8WPJSYF

URI	`m2://inv/TFX8WPJSYF`
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 2311.01874#78SN (statement). In A4TR95VGX2/e1, proposition 7

History

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

Gelfand formula, Corollary 5.6.14 TFX9P559FN

URI	`m2://inv/TFX9P559FN`
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 2410.10337#UY9L, Gelfand formula, Corollary 5.6.14 (statement). In RBBF0XNZ5E/e1, proposition 7

History

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

TFXEE41A5X TFXEE41A5X

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

Mentions

arxiv: arXiv 2204.01073#6K4H (definition). In W4TYN4PGE8/e1, definition 3.11

History

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

Kuratowski–Ulam theorem TFXQF3C9PV

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

Mentions

wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#03K0, Kuratowski–Ulam theorem (statement)

History

2026-11-02: add by m2/dev

TFXSDV04YJ TFXSDV04YJ

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

Mentions

arxiv: arXiv 2609.33651#WSUO (statement). In 69DBD2HKGK/e1, lemma 2.1

History

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

TFXTEWWK03 TFXTEWWK03

URI	`m2://inv/TFXTEWWK03`
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 2204.13401#Y09P (statement). In B8MJT0GGW8/e1, proposition 3.9

History

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

Freydoon Shahidi TFXVRVAAJQ

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#3N52, Freydoon Shahidi (topic)

History

2026-11-02: add by m2/dev

Carlo Montemagno TFY58CRERE

URI	`m2://inv/TFY58CRERE`
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#PYE8, Carlo Montemagno (unknown)

History

2026-11-02: add by m2/dev

Population growth TFYBFW7B9F

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

Mentions

active_calculus: active_calculus source/sec-1-5-units.xml#Ex-1-5a-1-pop-growth, Population growth (example). In 907G4C4EJ1, example, section 1.5.2

History

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

Benoist--Kobayashi TFYXENPHQ4

URI	`m2://inv/TFYXENPHQ4`
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.32916#3LDO, Benoist--Kobayashi (statement). In G1RP4JY5PE/e1, theorem 4.2.5

History

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

Oversampled log-determinant stability TFZ0TMDJ8R

URI	`m2://inv/TFZ0TMDJ8R`
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.08152#JN1C, Oversampled log-determinant stability (statement). In T1GYQ6SCCZ/e1, lemma 7.1

History

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

TFZ2X2NGZ4 TFZ2X2NGZ4

URI	`m2://inv/TFZ2X2NGZ4`
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 2608.24190#IHE2 (statement). In DW7FVA587C/e1, lemma 3.14

History

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

TFZCTM26C6 TFZCTM26C6

URI	`m2://inv/TFZCTM26C6`
Kind	statement
Layer	research
MSC	51-XX, 52-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.03373#CTGY (statement). In ZA7DBT3NWR/e1, theorem 2.5

History

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

TFZEDM4PVC TFZEDM4PVC

URI	`m2://inv/TFZEDM4PVC`
Kind	conjecture
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.06381#8LN8 (conjecture). In X9JKBDHACW/e1, conjecture 9.1

History

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

TFZGDR3CFB TFZGDR3CFB

URI	`m2://inv/TFZGDR3CFB`
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.10469#I9H2 (statement). In Q39BEKW6D9/e1, theorem 3.6

History

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

\textcite[Question 1]{roberson_oddomorphisms_2022 TFZGQ01F37

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

Mentions

arxiv: arXiv 2610.07927#13AR, \textcite[Question 1]{roberson_oddomorphisms_2022 (problem). In GKM19DHQTM/e1, problem 8.1

History

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

well ordered property TFZK01X0HB

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

Mentions

applied_combinatorics: applied_combinatorics index/3.2/well-ordered-property, well ordered property (concept). In QKM9DD2H56, index, section 3.2

History

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

Snub 24-cell TFZTCXTTW6

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

Mentions

wikipedia: Wikipedia Snub 24-cell, Snub 24-cell (definition). Also Wikidata Q7548775

History

2026-11-02: add by m2/dev

Example TFZY0TWRHH

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

Mentions

wikipedia: Wikipedia Finitary relation#HICV, Example (example)

History

2026-11-02: add by m2/dev