Inventory rows GS

Carol A. Gotway Crawford GS08C2K91J

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

Mentions

wikipedia: Wikipedia Carol A. Gotway Crawford, Carol A. Gotway Crawford (topic). Also Wikidata Q44209985

History

2026-11-02: add by m2/dev

Applications GS0CDJNQBP

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

Mentions

wikipedia: Wikipedia Ideal (order theory)#HV9G, Applications (example)

History

2026-11-02: add by m2/dev

Practical syllogism GS0GNMA07N

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

Mentions

wikipedia: Wikipedia Practical syllogism (theology), Practical syllogism (definition). Also Wikidata Q16854099

History

2026-11-02: add by m2/dev

Painter's algorithm GS0P8BT4E0

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#CBJM, Painter's algorithm (unknown)

History

2026-11-02: add by m2/dev

GS0TWXGEWE GS0TWXGEWE

URI	`m2://inv/GS0TWXGEWE`
Kind	proof
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#proof-1 (proof). In PKGMM3P5QY, proof, section 19.15

History

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

GS0VQQN6ZN GS0VQQN6ZN

URI	`m2://inv/GS0VQQN6ZN`
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.05471#JN8L (statement). In WDWF9WKNK1/e1, theorem 3.7

History

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

GS103YQ12C GS103YQ12C

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

Mentions

arxiv: arXiv 2609.24001#VKY2 (statement)

History

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

Finite axiomatisation GS119M4BJ5

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

Mentions

wikipedia: Wikipedia Axiom schema#5O4G, Finite axiomatisation (unknown)

History

2026-11-02: add by m2/dev

Definition GS121RTPGW

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

Mentions

wikipedia: Wikipedia Scaled correlation#4CNJ, Definition (definition)

History

2026-11-02: add by m2/dev

GS17HZSQP4 GS17HZSQP4

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 27.5

History

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

Applications GS191082WE

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

Mentions

wikipedia: Wikipedia Differential game#354C, Applications (example)

History

2026-11-02: add by m2/dev

\probname{Domino GS193GMBCS

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

Mentions

arxiv: arXiv 2609.38436#QM9F, \probname{Domino (problem). In 702AF3E4AF/e1, problem 3.2

History

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

GS1A0231P4 GS1A0231P4

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

Mentions

arxiv: arXiv 2610.13100#6WVW (statement). In CC6S1HVK0T/e1, lemma 3.10

History

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

GS1EFBAABS GS1EFBAABS

URI	`m2://inv/GS1EFBAABS`
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#670E (definition). In ESDKTYDHC8/e1, definition 8

History

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

GS1HJQHEKZ GS1HJQHEKZ

URI	`m2://inv/GS1HJQHEKZ`
Kind	statement
Layer	research
MSC	18-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 2405.14678#CGTW (statement). In 9ZSNSJRJ5N/e1, proposition 2

History

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

Geometry of the unital GS1KW1HJ02

URI	`m2://inv/GS1KW1HJ02`
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.15340#0Y25, Geometry of the unital (statement). In 9NVKKW8HDH/e1, lemma 2.32

History

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

GS1VXR478Q GS1VXR478Q

URI	`m2://inv/GS1VXR478Q`
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.01273#IS92 (statement). In RAT41DDR51/e1, theorem 5.3

History

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

Law of Large Numbers for MCMC GS1WVZ4JS5

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

Mentions

wikipedia: Wikipedia Markov chain Monte Carlo#JTVV, Law of Large Numbers for MCMC (statement)

History

2026-11-02: add by m2/dev

GS237FX97G GS237FX97G

URI	`m2://inv/GS237FX97G`
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 2609.24795#PZM5 (statement)

History

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

Zassenhaus group GS2AQWTX1S

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

Mentions

wikipedia: Wikipedia List of permutation topics#VPOL, Zassenhaus group (definition)

History

2026-11-02: add by m2/dev

Type I estimate GS2AT1HB2G

URI	`m2://inv/GS2AT1HB2G`
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.11487#W1FY, Type I estimate (statement). In 8S0K3Y25HM/e1, lemma 6.2

History

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

Tensor density GS2GJWFYNA

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

Mentions

wikipedia: Wikipedia Glossary of tensor theory#WHEE, Tensor density (definition)

History

2026-11-02: add by m2/dev

GS2PVT50ZJ GS2PVT50ZJ

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

Mentions

napkin: napkin tex/alg-geom/spec-sheaf.tex#theorem-4 (statement). In RZP28ERRZV, theorem, section 27.6

History

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

Jamovi GS2WSGEK0M

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

Mentions

wikipedia: Wikipedia Jamovi, Jamovi (definition). Also Wikidata Q29364618

History

2026-11-02: add by m2/dev

Principal stress GS2X8RYZMR

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

Mentions

wikipedia: Wikipedia Cauchy stress tensor#6DP9, Principal stress (unknown)

History

2026-11-02: add by m2/dev

GS2Y5JNEDN GS2Y5JNEDN

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

Mentions

arxiv: arXiv 2609.20190#G60X (example)

History

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

Generalizations GS34BVDV94

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

Mentions

wikipedia: Wikipedia Rayleigh quotient#EBJK, Generalizations (statement)

History

2026-11-02: add by m2/dev

GS3AKDWY51 GS3AKDWY51

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_comb-proof.ptx#ex_strings_comb-proof_sum-ints (example). In QKM9DD2H56, example, section 2.4

History

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

GS3D1H0KTR GS3D1H0KTR

URI	`m2://inv/GS3D1H0KTR`
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#95LD (statement). In A3RAXBSWA5/e1, lemma 3.8

History

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

Resolvent GS3S7DSH24

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

Mentions

wikipedia: Wikipedia Resolvent (Galois theory), Resolvent (definition). Also Wikidata Q4392490

History

2026-11-02: add by m2/dev

GS3W0RYXJD GS3W0RYXJD

URI	`m2://inv/GS3W0RYXJD`
Kind	statement
Layer	research
MSC	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.21892#NVI0 (statement)

History

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

Bülent Yener GS3W7C7RG3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ILNR, Bülent Yener (unknown)

History

2026-11-02: add by m2/dev

GS47E0NBXA GS47E0NBXA

URI	`m2://inv/GS47E0NBXA`
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#KY2J (definition). In W4TYN4PGE8/e1, definition 2.45

History

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

462 (number) GS4C348T5M

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

Mentions

wikipedia: Wikipedia 400 (number)#9VJ2, 462 (number) (unknown)

History

2026-11-02: add by m2/dev

couple GS4CTJBBM1

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#4072, couple (definition)

History

2026-11-02: add by m2/dev

Density $\psi$ on rectangles GS4ER2ZXAD

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

Mentions

arxiv: arXiv 2609.21508#SDWI, Density $\psi$ on rectangles (statement)

History

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

source, of a path constructor GS4JAZ97NN

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

Mentions

hott_book: hott_book index/5.13/source-of-a-path-constructor, source, of a path constructor (concept). In N54F33XE07, index, section 5.13

History

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

GS4PTEG5F1 GS4PTEG5F1

URI	`m2://inv/GS4PTEG5F1`
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.21322#IUYK (statement). In CNDA8DBEGD/e1, proposition 5.1

History

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

1 m GS4R401TZ3

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

Mentions

wikipedia: Wikipedia Orders of magnitude (length)#UWCS, 1 m (unknown)

History

2026-11-02: add by m2/dev

Tits' Lemma GS4W4SW6F4

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

Mentions

arxiv: arXiv 2609.37237#M37M, Tits' Lemma (statement). In GBY82BZCNA/e1, lemma 2.7

History

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

Evolutionary multimodal optimization GS4W5AAYX1

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

Mentions

wikipedia: Wikipedia Evolutionary multimodal optimization, Evolutionary multimodal optimization (definition). Also Wikidata Q5418713

History

2026-11-02: add by m2/dev

GS51FRQY2M GS51FRQY2M

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

Mentions

arxiv: arXiv 2610.14060#DGIE (statement). In X47RYAZF8P/e1, lemma 3.18

History

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

GS5GNGACQ2 GS5GNGACQ2

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

Mentions

arxiv: arXiv 0805.4273#CMB4 (statement). In ZX3NV58FRX/e1, lemma 2.6

History

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

GS5K53FESX GS5K53FESX

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

Mentions

arxiv: arXiv 2308.05066#NQSG (statement). In 1QSCT53ZED/e1, lemma 4.4

History

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

Bernoulli differential equation GS5PVES0XK

URI	`m2://inv/GS5PVES0XK`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Bernoulli equation 0T92VGGVWP

Mentions

wikidata: Wikidata Q793674, Bernoulli differential equation (concept). Also EoM Bernoulli_equation, MathWorld BernoulliDifferentialEquation
wikipedia: Wikipedia Bernoulli differential equation, Bernoulli differential equation (definition). Also Wikidata Q793674

History

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

GS5SHRXCD7 GS5SHRXCD7

URI	`m2://inv/GS5SHRXCD7`
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.16203#LSEO (statement). In 43TBS9P2PX/e1, corollary 4.2

History

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

Josef von Sternberg GS5WTSG4YG

URI	`m2://inv/GS5WTSG4YG`
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#JWZ6, Josef von Sternberg (unknown)

History

2026-11-02: add by m2/dev

10^33 GS5XJ9TS8K

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

Mentions

wikidata: Wikidata Q3414649, 10^33 (unknown). Also MathWorld Decillion

History

2026-10-26: add by m2/dev

GS6174RK11 GS6174RK11

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-118 (exercise). In E9HS8K3A52, exercise, section 5.10.4

History

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

Bassano Politi GS67MSZTDY

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

Mentions

wikipedia: Wikipedia Bassano Politi, Bassano Politi (topic). Also Wikidata Q21208943

History

2026-11-02: add by m2/dev

Smith , Theorem 1.5. GS6X512ESD

URI	`m2://inv/GS6X512ESD`
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 1003.2117#7Z7F, Smith , Theorem 1.5. (statement). In H4D4RFNH2V/e1, theorem 3.7

History

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

GS6XS4M7R5 GS6XS4M7R5

URI	`m2://inv/GS6XS4M7R5`
Kind	statement
Layer	research
MSC	11-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.16931#UD1C (statement). In H7DMRWBBJN/e1, lemma 5.11

History

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

Lewis Elton GS71KPJRMM

URI	`m2://inv/GS71KPJRMM`
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 Q284098, Lewis Elton (unknown). Also ProofWiki Mathematician:Lewis_Richard_Benjamin_Elton

History

2026-10-26: add by m2/dev

GS72RJ1SZS GS72RJ1SZS

URI	`m2://inv/GS72RJ1SZS`
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 math/9201244#OLYT (statement). In 7D3HCN21MK/e1, lemma 2.6

History

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

Generalized Semi-Clifford Gate GS76NXXE3V

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

Mentions

arxiv: arXiv 2212.05398#PXPD, Generalized Semi-Clifford Gate (definition). In WQKQ8438M7/e1, definition 1.2

History

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

GS7B78ZZA5 GS7B78ZZA5

URI	`m2://inv/GS7B78ZZA5`
Kind	definition
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 2501.15680#WZAB (definition). In VBWH2Z3YHA/e1, definition 2.4

History

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

GS7BRRGBDY GS7BRRGBDY

URI	`m2://inv/GS7BRRGBDY`
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 2204.01073#NLGH (statement). In W4TYN4PGE8/e1, lemma 2.14

History

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

Memory-channel strong converse and error trade-off GS7ERY89X7

URI	`m2://inv/GS7ERY89X7`
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.22308#AO96, Memory-channel strong converse and error trade-off (statement). In 4QN87R0P1G/e1, proposition 10

History

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

GS7PZ9V94J GS7PZ9V94J

URI	`m2://inv/GS7PZ9V94J`
Kind	problem
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.25062#XUK4 (problem)

History

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

GS7S6JTG1T GS7S6JTG1T

URI	`m2://inv/GS7S6JTG1T`
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.36113#G4RF (statement). In FSGSVD0XYH/e1, lemma 12

History

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

Pseudoreflection GS7XY4NVBY

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

Mentions

wikipedia: Wikipedia Pseudoreflection, Pseudoreflection (definition). Also Wikidata Q7255486

History

2026-11-02: add by m2/dev

Karl Georg Christian von Staudt GS7YARG623

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

Mentions

wikipedia: Wikipedia Karl Georg Christian von Staudt, Karl Georg Christian von Staudt (topic). Also Wikidata Q77502

History

2026-11-02: add by m2/dev

GS80DRZN56 GS80DRZN56

URI	`m2://inv/GS80DRZN56`
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.23779#7DIB (statement)

History

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

Nonlinear Bernstein estimate GS85RZWRXN

URI	`m2://inv/GS85RZWRXN`
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.29147#POND, Nonlinear Bernstein estimate (statement)

History

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

GS86R3QHJQ GS86R3QHJQ

URI	`m2://inv/GS86R3QHJQ`
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.12731#YF2Z (statement). In 2NCV1M6WYS/e1, proposition 4.3

History

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

Encrypted key exchange GS882Q2WMA

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

Mentions

wikipedia: Wikipedia Encrypted key exchange, Encrypted key exchange (definition). Also Wikidata Q3725083

History

2026-11-02: add by m2/dev

Topological combinatorics GS8WZ48NGH

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

Mentions

wikipedia: Wikipedia Topological combinatorics, Topological combinatorics (definition). Also Wikidata Q256108

History

2026-11-02: add by m2/dev

GS92AX2XHX GS92AX2XHX

URI	`m2://inv/GS92AX2XHX`
Kind	statement
Layer	research
MSC	13-XX, 19-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 2505.05539#R5Q3 (statement). In 8SVVEVGMNE/e1, lemma 2.19

History

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

GS93DA6NYF GS93DA6NYF

URI	`m2://inv/GS93DA6NYF`
Kind	example
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.18324#2RMO (example). In C0EG2EY0M4/e1, example 3.8

History

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

Finite detector GS96KSJXWK

URI	`m2://inv/GS96KSJXWK`
Kind	statement
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 2610.20649#Y0AH, Finite detector (statement). In XDTM624YPE/e1, corollary 6.2

History

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

List of uniform polyhedra by Schwarz triangle GS9KAJQ515

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

Mentions

wikipedia: Wikipedia List of uniform polyhedra by Schwarz triangle, List of uniform polyhedra by Schwarz triangle (topic). Also Wikidata Q6644217

History

2026-11-02: add by m2/dev

Properties GS9QCM0742

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

Mentions

wikipedia: Wikipedia Inverse Gaussian distribution#07NQ, Properties (statement)

History

2026-11-02: add by m2/dev

GS9YVV6N8K GS9YVV6N8K

URI	`m2://inv/GS9YVV6N8K`
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 2205.15365#0OMZ (statement). In R2XC1SC9NZ/e1, theorem 6

History

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

GSA0RZXZNX GSA0RZXZNX

URI	`m2://inv/GSA0RZXZNX`
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#W4NX (statement). In DW7FVA587C/e1, proposition 3.12

History

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

Hypergeometric function GSA2VWE94G

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#S5GT, Hypergeometric function (definition)

History

2026-11-02: add by m2/dev

GSA51MV5ZW GSA51MV5ZW

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

Mentions

arxiv: arXiv 2610.04870#MYFO (statement). In X765ZXXVC3/e1, proposition 6.6

History

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

Statement GSA8DDH53N

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

Mentions

wikipedia: Wikipedia Artin–Verdier duality#8S61, Statement (statement)

History

2026-11-02: add by m2/dev

GSAC922WXQ GSAC922WXQ

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

Mentions

arxiv: arXiv 2609.20665#6D4L (example)

History

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

Kirriereoch Loch GSARXKP08F

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

Mentions

wikipedia: Wikipedia List of places with numeric names#HUAQ, Kirriereoch Loch (unknown)

History

2026-11-02: add by m2/dev

Variance of an estimator GSASASEQR8

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

Mentions

wikipedia: Wikipedia Estimator#CCUX, Variance of an estimator (unknown)

History

2026-11-02: add by m2/dev

GSATSJ58F3 GSATSJ58F3

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

History

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

GSAVX15VXV GSAVX15VXV

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

Mentions

arxiv: arXiv 2609.23469#03MO (statement)

History

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

Consistent window bounds GSB6D5XPS7

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

Mentions

arxiv: arXiv 2609.31336#GL1F, Consistent window bounds (definition). In 70RV7J456D/e1, definition 22

History

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

GSB9KH3Q4A GSB9KH3Q4A

URI	`m2://inv/GSB9KH3Q4A`
Kind	statement
Layer	research
MSC	46-XX, 47-XX, 81-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.04694#C5ZV (statement). In W9A0Z2NBMA/e1, proposition 3

History

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

GSBDCKPVDP GSBDCKPVDP

URI	`m2://inv/GSBDCKPVDP`
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 2512.07340#ITOB (statement). In WXE3PVAZBT/e1, proposition 5.5

History

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

GSBEZN854H GSBEZN854H

URI	`m2://inv/GSBEZN854H`
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 2203.15223#Q4AZ (statement). In HSY17Q75DM/e1, lemma 1

History

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

derivative of the inverse of a function GSBGE0YFB2

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

Mentions

mathlib_overview: mathlib_overview Analysis > Differentiability > derivative of the inverse of a function, derivative of the inverse of a function (unknown). Also Mathlib HasFDerivAt.of_local_left_inverse

History

2026-10-26: add by m2/dev

Flow polynomial GSBRXNZWWM

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

Mentions

wikipedia: Wikipedia Tutte polynomial#6P4H, Flow polynomial (unknown)

History

2026-11-02: add by m2/dev

Case fatality rate GSBWBATSQQ

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

Mentions

wikipedia: Wikipedia Case fatality rate, Case fatality rate (definition). Also Wikidata Q92307203

History

2026-11-02: add by m2/dev

Holomorphic inverse function theorem GSBY3SY0GN

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

Mentions

wikipedia: Wikipedia Inverse function theorem#1M5C, Holomorphic inverse function theorem (statement)

History

2026-11-02: add by m2/dev

Irish Mathematical Society GSBZKNHZ83

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

Mentions

wikipedia: Wikipedia List of mathematical societies#FYMJ, Irish Mathematical Society (unknown)

History

2026-11-02: add by m2/dev

Binomial regression GSC2EYCDZE

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

Mentions

wikipedia: Wikipedia Binomial regression, Binomial regression (definition). Also Wikidata Q4914493

History

2026-11-02: add by m2/dev

Dimension of the directional cone GSCDBNSSRS

URI	`m2://inv/GSCDBNSSRS`
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.22485#EEKU, Dimension of the directional cone (statement)

History

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

row vector GSCE0BE43F

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

Mentions

wikidata: Wikidata Q2916003, row vector (unknown). Also MathWorld RowVector

History

2026-10-26: add by m2/dev

GSCF6RJPV9 GSCF6RJPV9

URI	`m2://inv/GSCF6RJPV9`
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.19260#GOD0 (statement). In PWXT7J9JX3/e1, proposition 4.3

History

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

Discrete optimization GSCFX54W1S

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#C718, Discrete optimization (topic)

History

2026-11-02: add by m2/dev

Lemma GSCG9J35CQ

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

Mentions

wikipedia: Wikipedia Simplicial approximation theorem#0DKT, Lemma (statement)

History

2026-11-02: add by m2/dev

GSCMGWS2MZ GSCMGWS2MZ

URI	`m2://inv/GSCMGWS2MZ`
Kind	example
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 1903.11969#7X52 (example). In 9N4EV3GRM7/e1, example 4.2

History

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

transvectant GSCR5X5ZNV

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#GK8X, transvectant (definition)

History

2026-11-02: add by m2/dev

indexed family GSCSRVQSG0

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

Mentions

wikidata: Wikidata Q856215, indexed family (concept). Also nLab family
wikipedia: Wikipedia Indexed family, Indexed family (definition). Also Wikidata Q856215

History

2026-10-26: add by m2/dev

Beltrami-Michell compatibility equations GSD3P041AZ

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

Mentions

wikipedia: Wikipedia Linear elasticity#93AZ, Beltrami-Michell compatibility equations (unknown)

History

2026-11-02: add by m2/dev

Unified type system GSDAW3EP68

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

Mentions

wikipedia: Wikipedia Type system#GKLV, Unified type system (unknown)

History

2026-11-02: add by m2/dev

Azriel Lévy GSDRNSC6YN

URI	`m2://inv/GSDRNSC6YN`
Kind	topic
Layer	textbook
Sources	2
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q450427, Azriel Lévy (unknown). Also ProofWiki Mathematician:Azriel_Lévy
wikipedia: Wikipedia Azriel Lévy, Azriel Lévy (topic). Also Wikidata Q450427

History

2026-10-26: add by m2/dev

Harm principle GSDRYETZZP

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

Mentions

wikipedia: Wikipedia John Stuart Mill#DRQY, Harm principle (statement)

History

2026-11-02: add by m2/dev

Vanna (Finance) GSDWY4RY4R

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

Mentions

wikipedia: Wikipedia Greeks (finance)#ZQC3, Vanna (Finance) (unknown)

History

2026-11-02: add by m2/dev

empty set GSE09G30PN

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

Mentions

wikipedia: Wikipedia Glossary of set theory#JQQX, empty set (definition)

History

2026-11-02: add by m2/dev

GSE2F52ZY5 GSE2F52ZY5

URI	`m2://inv/GSE2F52ZY5`
Kind	statement
Layer	research
MSC	14-XX, 18-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.37520#FCHM (statement). In BDN507RN7J/e1, proposition 6.2.9

History

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

Fenchel--Nielsen coordinates GSE9WX3XRQ

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

Mentions

arxiv: arXiv 2610.15926#C5OL, Fenchel--Nielsen coordinates (definition). In G0J92BSX4A/e1, definition 2.2

History

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

Rebecca Henriette Lejeune Dirichlet GSEBH3HQJT

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

Mentions

wikipedia: Wikipedia Peter Gustav Lejeune Dirichlet#KG6Q, Rebecca Henriette Lejeune Dirichlet (unknown)

History

2026-11-02: add by m2/dev

Least--term lemma GSEE0RY6HY

URI	`m2://inv/GSEE0RY6HY`
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.29605#18H7, Least--term lemma (statement)

History

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

Definitions GSEH4753NJ

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

Mentions

wikipedia: Wikipedia Graph property#W212, Definitions (definition)

History

2026-11-02: add by m2/dev

Larry V. Hedges GSEJG3B7NC

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#DKXI, Larry V. Hedges (topic)

History

2026-11-02: add by m2/dev

GSEKK600ZB GSEKK600ZB

URI	`m2://inv/GSEKK600ZB`
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 2606.02312#C8B0 (statement). In 1SZV94R22Y/e1, lemma 1.4

History

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

Melvin Hochster GSEM1ZR3NP

URI	`m2://inv/GSEM1ZR3NP`
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 Q263909, Melvin Hochster (unknown). Also nLab Melvin Hochster

History

2026-10-26: add by m2/dev

Exponential convergence of the reference coupling GSEZKBB7E0

URI	`m2://inv/GSEZKBB7E0`
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#MDLL, Exponential convergence of the reference coupling (statement). In 9YAE8FNQST/e1, theorem 18.24

History

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

GSF5YEQ1RQ GSF5YEQ1RQ

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

Mentions

arxiv: arXiv 2609.11301#KGXC (definition). In YH1W5A0JTS/e1, definition 2.1

History

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

antiderivatives of a holomorphic function GSFF1QENGE

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > antiderivatives of a holomorphic function, antiderivatives of a holomorphic function (unknown)

History

2026-10-26: add by m2/dev

Mohammad Hajiaghayi GSFGY726K3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#W8T6, Mohammad Hajiaghayi (unknown)

History

2026-11-02: add by m2/dev

Wang algebra GSFHP72N18

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

Mentions

wikipedia: Wikipedia Wang algebra, Wang algebra (definition). Also Wikidata Q113614157

History

2026-11-02: add by m2/dev

GSG2X56D7W GSG2X56D7W

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

Mentions

lebl_scv: lebl_scv scv.tex#example-5 (example). In VNMV985MXX, example, section 2.1

History

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

Examples GSG5F3BZH7

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

Mentions

wikipedia: Wikipedia Rhombitrihexagonal tiling#USHF, Examples (example)

History

2026-11-02: add by m2/dev

Leah Keshet GSG6NWYJWG

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

Mentions

wikipedia: Wikipedia Leah Keshet, Leah Keshet (topic). Also Wikidata Q6509207

History

2026-11-02: add by m2/dev

GSGBAX056R GSGBAX056R

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

Mentions

arxiv: arXiv 2609.29489#DO5A (statement)

History

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

Hipposudoric acid GSGBVZFE4G

URI	`m2://inv/GSGBVZFE4G`
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#WTOF, Hipposudoric acid (unknown)

History

2026-11-02: add by m2/dev

GSGEPJQ041 GSGEPJQ041

URI	`m2://inv/GSGEPJQ041`
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.37026#7CIG (statement). In QGZPH9W8GY/e1, proposition 4.2

History

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

Weighted-degree criterion GSGHKGC87F

URI	`m2://inv/GSGHKGC87F`
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.39218#0I4G, Weighted-degree criterion (statement). In VPZSCE8HFP/e1, lemma 2.5

History

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

Saturation GSGJ1WKV59

URI	`m2://inv/GSGJ1WKV59`
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.18600#8B4R, Saturation (definition). In 31D6TQVCNZ/e1, definition 1.1

History

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

Eugène Cremmer GSGJ7QK601

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

Mentions

wikipedia: Wikipedia List of string theory topics#IPX1, Eugène Cremmer (unknown)

History

2026-11-02: add by m2/dev

Prevalence threshold GSGKHKD2W7

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

Mentions

wikipedia: Wikipedia Prevalence threshold, Prevalence threshold (definition)

History

2026-11-02: add by m2/dev

GSGM82MKSG GSGM82MKSG

URI	`m2://inv/GSGM82MKSG`
Kind	statement
Layer	research
MSC	14-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 2504.07573#CIKO (statement). In 78X5SKJX8J/e1, theorem 7.8

History

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

Examples GSGQR32R8E

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

Mentions

wikipedia: Wikipedia Degenerate bilinear form#7SBN, Examples (example)

History

2026-11-02: add by m2/dev

Example of a non-tautology GSGSJ8HTG1

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

Mentions

wikipedia: Wikipedia Implicational propositional calculus#DKXF, Example of a non-tautology (example)

History

2026-11-02: add by m2/dev

GSGVPDJH1R GSGVPDJH1R

URI	`m2://inv/GSGVPDJH1R`
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 2211.13105#8753 (definition). In 5ACPY6CEDV/e1, definition 3.1

History

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

GSGWMP00FC GSGWMP00FC

URI	`m2://inv/GSGWMP00FC`
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.00292#UA8W (statement). In NX3EFW0D0X/e1, theorem 6.2

History

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

GSGZ9S56CK GSGZ9S56CK

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

Mentions

hott_book: hott_book hlevels.tex#ex:connectivity-inductively (exercise). In N54F33XE07, ex, section 6.7

History

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

Shape tensor GSH4ZD6015

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

Mentions

wikipedia: Wikipedia Second fundamental form#NT95, Shape tensor (unknown)

History

2026-11-02: add by m2/dev

GSH6SYPC59 GSH6SYPC59

URI	`m2://inv/GSH6SYPC59`
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#N5BK (statement). In 7MCBCP4T0B/e1, proposition 2.2

History

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

The polygon area formulas GSHMHGD7D1

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

Mentions

wikipedia: Wikipedia Shoelace formula#BM6E, The polygon area formulas (statement)

History

2026-11-02: add by m2/dev

Integral representations of the modified extension of the classical beta function GSHMY0XTQE

URI	`m2://inv/GSHMY0XTQE`
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 1704.08191#H4SO, Integral representations of the modified extension of the classical beta function (statement). In 8DATR785BJ/e1, theorem 3

History

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

Statement of the inequality in Rn GSHNM7M2BX

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

Mentions

wikipedia: Wikipedia Borell–Brascamp–Lieb inequality#E912, Statement of the inequality in Rn (statement)

History

2026-11-02: add by m2/dev

Encyclopedia of Triangle Centers GSHV5V99SN

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

Mentions

wikipedia: Wikipedia List of triangle topics#2RRY, Encyclopedia of Triangle Centers (definition)
wikipedia: Wikipedia List of triangle topics#QXOP, Encyclopedia of Triangle Centers (definition)

History

2026-11-02: add by m2/dev

Meringer graph GSHWJV66MC

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

Mentions

wikidata: Wikidata Q3115514, Meringer graph (unknown). Also House of Graphs 1227, MathWorld MeringerGraph

History

2026-10-26: add by m2/dev

The successor state axioms GSHXF3FFFT

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

Mentions

wikipedia: Wikipedia Situation calculus#LPLV, The successor state axioms (statement)

History

2026-11-02: add by m2/dev

Examples GSJ44NHBHF

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

Mentions

wikipedia: Wikipedia Thought experiment#YC4N, Examples (example)

History

2026-11-02: add by m2/dev

Kerry's paradox GSJQKPJ1DD

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

Mentions

wikipedia: Wikipedia Benno Kerry#YMIL, Kerry's paradox (unknown)

History

2026-11-02: add by m2/dev

GSJR7S45DV GSJR7S45DV

URI	`m2://inv/GSJR7S45DV`
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.20687#LVWV (statement)

History

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

GSJYM4GY6B GSJYM4GY6B

URI	`m2://inv/GSJYM4GY6B`
Kind	statement
Layer	research
MSC	35-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.21670#NZ80 (statement)

History

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

GSK7NS9A1P GSK7NS9A1P

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-20 (example). In E9HS8K3A52, example, section 4.9

History

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

GSK8HBSQTA GSK8HBSQTA

URI	`m2://inv/GSK8HBSQTA`
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.33278#63JX (statement). In QABBHZQZFR/e1, theorem 1

History

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

GSKJ7M8N8P GSKJ7M8N8P

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

Mentions

arxiv: arXiv 2610.16381#NZSP (statement). In 304QK565QF/e1, lemma 3.3

History

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

GSKJB157BF GSKJB157BF

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

Mentions

arxiv: arXiv 2610.07401#LTQ3 (statement). In FQ5435B36D/e1, proposition 4.5

History

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

Examples GSKV9R5DCB

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

Mentions

wikipedia: Wikipedia Rotation matrix#U7OZ, Examples (example)

History

2026-11-02: add by m2/dev

\textbf{Scalar Reconstruction from Vector Fields GSKX6D1YFB

URI	`m2://inv/GSKX6D1YFB`
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.02791#KSHP, \textbf{Scalar Reconstruction from Vector Fields (statement). In TT9BA4VMTW/e1, lemma A.7

History

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

Homological algebra GSM0P8KKN3

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#RT7B, Homological algebra (definition)

History

2026-11-02: add by m2/dev

GSM2020TD5 GSM2020TD5

URI	`m2://inv/GSM2020TD5`
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.27516#YAFW (statement)

History

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

Lindelof sum GSMBV9ZS6E

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

Mentions

wikipedia: Wikipedia Divergent series#AKBJ, Lindelof sum (unknown)

History

2026-11-02: add by m2/dev

GSMFVHZWPY GSMFVHZWPY

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

Mentions

arxiv: arXiv 2609.28011#JGZV (definition)

History

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

GSMMAQWB5G GSMMAQWB5G

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-161 (exercise). In VNMV985MXX, exercise, section 3.1

History

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

GSMMF33JXN GSMMF33JXN

URI	`m2://inv/GSMMF33JXN`
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.07608#R31Y (statement). In X8FQD4TEVG/e1, lemma 3.9

History

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

Nagata ring GSMMSG4QDD

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#0XHF, Nagata ring (definition)

History

2026-11-02: add by m2/dev

GSMMZ1JKEN GSMMZ1JKEN

URI	`m2://inv/GSMMZ1JKEN`
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 2610.18544#E8JS (statement). In HT5MC1SPD9/e1, corollary 2.2

History

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

GSMP9314ZD GSMP9314ZD

URI	`m2://inv/GSMP9314ZD`
Kind	statement
Layer	research
MSC	11-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 2004.12552#AR9U (statement). In TWPE10CZ1S/e1, corollary 4.3

History

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

GSMQM74822 GSMQM74822

URI	`m2://inv/GSMQM74822`
Kind	statement
Layer	research
MSC	20-XX, 22-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.14045#LQE5 (statement). In KZ71GXT2B0/e1, proposition 2.39

History

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

Weiping Zhang GSMTGE3S85

URI	`m2://inv/GSMTGE3S85`
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#3BG0, Weiping Zhang (unknown)

History

2026-11-02: add by m2/dev

Sophistical Refutations GSMVZPXW3G

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

Mentions

wikipedia: Wikipedia List of works by Averroes#5BQF, Sophistical Refutations (definition)

History

2026-11-02: add by m2/dev

Hasse–Arf theorem GSMXK0WDYP

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

Mentions

wikipedia: Wikipedia List of theorems#QYK3, Hasse–Arf theorem (statement)

History

2026-11-02: add by m2/dev

Arbitrarily high-temperature memory for open-boundary helical repetition codes GSN05PXN35

URI	`m2://inv/GSN05PXN35`
Kind	statement
Layer	research
MSC	05-XX, 51-XX, 52-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.04834#176T, Arbitrarily high-temperature memory for open-boundary helical repetition codes (statement). In YZNK67K060/e1, proposition 8.5

History

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

cf.\ \S II.5 GSN2MYY7SV

URI	`m2://inv/GSN2MYY7SV`
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.37124#31E1, cf.\ \S II.5 (statement). In 2QF1YG9DD0/e1, proposition 2.14

History

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

pizza theorem GSN2SYZT1D

URI	`m2://inv/GSN2SYZT1D`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q1809539, Pizza theorem (statement). Also Wikidata Q1809539
thousand_plus: thousand_plus Q1809539, Pizza theorem (statement). Also Wikidata Q1809539, Wikipedia Pizza theorem
wikidata: Wikidata Q1809539, pizza theorem (statement). Also MathWorld PizzaTheorem
wikipedia: Wikipedia Pizza theorem, Pizza theorem (statement). Also Wikidata Q1809539

History

2026-10-26: add by m2/dev

GSN2X1YXVC GSN2X1YXVC

URI	`m2://inv/GSN2X1YXVC`
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.20656#UA6F (statement)

History

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

Almost open map GSN4B8C4NJ

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

Mentions

wikipedia: Wikipedia Almost open map, Almost open map (definition). Also Wikidata Q105806667

History

2026-11-02: add by m2/dev

Smooth finitary colouring result GSN6GJSSGN

URI	`m2://inv/GSN6GJSSGN`
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 1806.05002#ZNZ9, Smooth finitary colouring result (statement). In JBAQ7DTW7B/e1, theorem 13.1

History

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

GSND1ZMBT4 GSND1ZMBT4

URI	`m2://inv/GSND1ZMBT4`
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.11210#HECC (statement). In CRFDGFZHBF/e1, lemma 8.4

History

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

Partial parabolic smoothing GSNGR1MWQ5

URI	`m2://inv/GSNGR1MWQ5`
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.22090#NV5I, Partial parabolic smoothing (statement). In NKJWGF050C/e1, theorem 1.4

History

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

Properties and applications GSNQW68C09

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

Mentions

wikipedia: Wikipedia Kundu equation#EAIM, Properties and applications (statement)

History

2026-11-02: add by m2/dev

GSNVENTTSD GSNVENTTSD

URI	`m2://inv/GSNVENTTSD`
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 2610.01247#C612 (definition). In 6EVNCRZ118/e1, definition 1

History

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

B-Dienst GSNVH40TMP

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

Mentions

wikipedia: Wikipedia B-Dienst, B-Dienst (definition). Also Wikidata Q2610153

History

2026-11-02: add by m2/dev

Dato Barbakadze GSNY0SQAGA

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

Mentions

wikipedia: Wikipedia Dato Barbakadze, Dato Barbakadze (topic). Also Wikidata Q1172627

History

2026-11-02: add by m2/dev

polocubic GSP3ZVNFF4

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#UJVU, polocubic (definition)

History

2026-11-02: add by m2/dev

Example 3 GSPBNPAN7P

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

Mentions

wikipedia: Wikipedia Titu's lemma#WKSJ, Example 3 (example)

History

2026-11-02: add by m2/dev

Analytic polyhedron GSPFDT33GC

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

Mentions

wikipedia: Wikipedia Analytic polyhedron, Analytic polyhedron (definition). Also Wikidata Q4751135

History

2026-11-02: add by m2/dev

GSPR9GKF41 GSPR9GKF41

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

Mentions

napkin: napkin tex/alg-NT/artin.tex#definition-3 (definition). In RZP28ERRZV, definition, section 8.5

History

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

GSPSM1VZKS GSPSM1VZKS

URI	`m2://inv/GSPSM1VZKS`
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.15935#YQ4S (statement). In Y9QMWPAG20/e1, proposition 1

History

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

Eguchi--Hanson metric GSPVV2XR58

URI	`m2://inv/GSPVV2XR58`
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.24578#C5ZP, Eguchi--Hanson metric (example)

History

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

normed ring GSPVYQNHEJ

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

Mentions

wikidata: Wikidata Q110571247, normed ring (concept). Also MathWorld NormedRing, nLab normed ring, ProofWiki Definition:Normed_Ring

History

2026-10-26: add by m2/dev

GSPZ8CPWNA GSPZ8CPWNA

URI	`m2://inv/GSPZ8CPWNA`
Kind	statement
Layer	research
MSC	18-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.00135#QIJO (statement). In PXWXV92SJY/e1, corollary 4.1

History

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

Example GSQABZKEX8

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

Mentions

wikipedia: Wikipedia Polynomial method in combinatorics#CEX4, Example (example)

History

2026-11-02: add by m2/dev

Properties GSQECF22W3

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

Mentions

wikipedia: Wikipedia Gorenstein ring#MYBB, Properties (statement)

History

2026-11-02: add by m2/dev

Japanese theorem GSQHQ4XTY1

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

Mentions

wikidata: Wikidata Q1683353, Japanese theorem (unknown). Also MathWorld Japanesetheorem

History

2026-10-26: add by m2/dev

Full employment theorem GSQJKKHSYJ

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

Mentions

wikipedia: Wikipedia List of theorems#B8Q8, Full employment theorem (statement)

History

2026-11-02: add by m2/dev

Definition GSQJRQPFQJ

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

Mentions

wikipedia: Wikipedia Convergence of random variables#SDFR, Definition (definition)

History

2026-11-02: add by m2/dev

A priori and a posteriori GSQSNN9N1N

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

Mentions

wikipedia: Wikipedia A priori and a posteriori, A priori and a posteriori (definition). Also Wikidata Q178161

History

2026-11-02: add by m2/dev

Properties GSQSWVXRV0

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

Mentions

wikipedia: Wikipedia Combined linear congruential generator#AJDU, Properties (statement)

History

2026-11-02: add by m2/dev

GSQZNZ74GV GSQZNZ74GV

URI	`m2://inv/GSQZNZ74GV`
Kind	definition
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 2609.23822#CP62 (definition)

History

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

Innermost stable circular orbit GSR4QJYCSM

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

Mentions

wikipedia: Wikipedia Innermost stable circular orbit, Innermost stable circular orbit (definition). Also Wikidata Q25110047

History

2026-11-02: add by m2/dev

Properties GSR540DANS

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

Mentions

wikipedia: Wikipedia Chandrasekhar's X- and Y-function#C9F9, Properties (statement)

History

2026-11-02: add by m2/dev

Workshop on Numerical Ranges and Numerical Radii GSR854C2CD

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

Mentions

wikipedia: Wikipedia Workshop on Numerical Ranges and Numerical Radii, Workshop on Numerical Ranges and Numerical Radii (definition). Also Wikidata Q48996459

History

2026-11-02: add by m2/dev

Examples GSR8C3166Y

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

Mentions

wikipedia: Wikipedia Integration by reduction formulae#0LLH, Examples (example)

History

2026-11-02: add by m2/dev

Integrated entropy derivative GSRGAY51QS

URI	`m2://inv/GSRGAY51QS`
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.24931#JBUL, Integrated entropy derivative (statement)

History

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

Theorem B (rings) GSRM9HCCW1

URI	`m2://inv/GSRM9HCCW1`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the item has no name of its own, and the write role names it)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Isomorphism theorems#OSXD, Theorem B (rings) (statement)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Martin Arthur Arkowitz GSRMDA9FJQ

URI	`m2://inv/GSRMDA9FJQ`
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 Q102192453, Martin Arthur Arkowitz (unknown). Also nLab Martin Arkowitz

History

2026-10-26: add by m2/dev

Mark Naimark GSRQRFV0F9

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#BE9V, Mark Naimark (unknown)

History

2026-11-02: add by m2/dev

GSRXQBZQG7 GSRXQBZQG7

URI	`m2://inv/GSRXQBZQG7`
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#ESDN (statement). In CFJH0Q39FZ/e1, theorem 4.10

History

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

Weierstrass approximation theorem GSRY4MWECW

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

Mentions

lebl_ra: lebl_ra index/1.7.1/weierstrass-approximation-theorem, Weierstrass approximation theorem (concept). In E59CDZA4DP, index, section 1.7.1

History

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

Concorde TSP Solver GSRZZP4TD5

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

Mentions

wikipedia: Wikipedia Concorde TSP Solver, Concorde TSP Solver (definition). Also Wikidata Q5158938

History

2026-11-02: add by m2/dev

GSS01ZRMYG GSS01ZRMYG

URI	`m2://inv/GSS01ZRMYG`
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 2305.10202#SF2D (statement). In ER06JKXR8B/e1, theorem 1.3

History

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

Zeev Rudnick GSS4SK8B38

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#L382, Zeev Rudnick (topic)

History

2026-11-02: add by m2/dev

GSSCWABA20 GSSCWABA20

URI	`m2://inv/GSSCWABA20`
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 2406.06762#OU5Z (statement). In J99PFFJXPE/e1, proposition 3.6

History

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

Determinant of the Newton evaluation matrix GSSEPDS1EV

URI	`m2://inv/GSSEPDS1EV`
Kind	statement
Layer	research
MSC	05-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 2610.20368#08JN, Determinant of the Newton evaluation matrix (statement). In T8CDHW9MC1/e1, theorem 2.2

History

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

Degenerate conic GSSQ0Y0PH5

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

Mentions

wikipedia: Wikipedia Degenerate conic, Degenerate conic (definition). Also Wikidata Q5251775

History

2026-11-02: add by m2/dev

Definition GSSV3WZ20N

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

Mentions

wikipedia: Wikipedia Compact closed category#WBN5, Definition (definition)

History

2026-11-02: add by m2/dev

GSSWXWM9AT GSSWXWM9AT

URI	`m2://inv/GSSWXWM9AT`
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 2609.25129#42K1 (statement)

History

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

GSSXZXSJ5B GSSXZXSJ5B

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

Mentions

arxiv: arXiv 2610.14050#IRNN (definition). In RENT22YXW3/e1, definition 2.1

History

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

Theorems GST6EW45H3

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

Mentions

open_logic: open_logic content/many-valued-logic/sequent-calculus/rules-and-proofs.tex#defn-3, Theorems (definition). In PKGMM3P5QY, defn, section 40.6

History

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

GST6M34F9P GST6M34F9P

URI	`m2://inv/GST6M34F9P`
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.06899#QB25 (statement). In 5Z2K9JGFSS/e1, lemma 2.6

History

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

generalized permutation matrix GST79Q0W4X

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

Mentions

wikidata: Wikidata Q5532500, generalized permutation matrix (unknown). Also EoM Monomial_matrix
wikipedia: Wikipedia Generalized permutation matrix, Generalized permutation matrix (definition). Also Wikidata Q5532500

History

2026-10-26: add by m2/dev

False antecedent GSTDW9APGQ

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

Mentions

wikipedia: Wikipedia Object of the mind#XM8G, False antecedent (unknown)

History

2026-11-02: add by m2/dev

GSTHNCY9X8 GSTHNCY9X8

URI	`m2://inv/GSTHNCY9X8`
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.25656#M9J8 (statement)

History

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

GSTZ925HE7 GSTZ925HE7

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

Mentions

arxiv: arXiv 2609.40290#WB7H (example). In 4K1CNBYJHF/e1, example 6.2

History

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

Residual second-moment cost GSV35EGWJJ

URI	`m2://inv/GSV35EGWJJ`
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.16680#PIBJ, Residual second-moment cost (statement). In H29YHXQZV6/e1, proposition 22

History

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

functional equation (L-function) GSV7YKECTV

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

Mentions

wikidata: Wikidata Q3589429, functional equation (L-function) (unknown). Also LMFDB knowl lfunction.functional_equation
wikipedia: Wikipedia Functional equation (L-function), Functional equation (definition). Also Wikidata Q3589429

History

2026-10-26: add by m2/dev

GSVCVMCKXJ GSVCVMCKXJ

URI	`m2://inv/GSVCVMCKXJ`
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.00358#D6QE (statement). In C5WGCSPM6W/e1, proposition 4.3

History

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

Hirzebruch signature theorem GSVJSPBJ0C

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

Mentions

wikipedia: Wikipedia List of theorems#396D, Hirzebruch signature theorem (statement)

History

2026-11-02: add by m2/dev

Sobolev class induced by maximal weak subslope GSVZ99H4ZF

URI	`m2://inv/GSVZ99H4ZF`
Kind	definition
Layer	research
MSC	35-XX, 46-XX, 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.21775#XPRZ, Sobolev class induced by maximal weak subslope (definition). In KM3Q791JY0/e1, definition 4.11

History

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

GSW0DSD8KH GSW0DSD8KH

URI	`m2://inv/GSW0DSD8KH`
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.10452#Z7VQ (statement). In 2F4PNP1V3B/e1, theorem 3.6

History

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

Model case GSW3P2458Y

URI	`m2://inv/GSW3P2458Y`
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.19273#A6TJ, Model case (statement). In T3BY4TXYT4/e1, theorem 3.8

History

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

separated poset system GSW492WVC9

URI	`m2://inv/GSW492WVC9`
Kind	definition
Layer	research
MSC	54-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.15099#B86H, separated poset system (definition). In PF5JJ9DS8Q/e1, definition 2.4.1

History

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

Theorem GSWDE29444

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

Mentions

wikipedia: Wikipedia Gelfand–Naimark–Segal construction#R4HR, Theorem (statement)

History

2026-11-02: add by m2/dev

Induced energy-to-peak norm GSWDZ8RQ3B

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

Mentions

arxiv: arXiv 2610.21355#MPVN, Induced energy-to-peak norm (definition). In XKJ7VKN4P0/e1, definition 6

History

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

Relative prime densities GSWF04S2Z6

URI	`m2://inv/GSWF04S2Z6`
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.24544#6J93, Relative prime densities (statement)

History

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

transposition, of a scale GSWGW7T0K1

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

Mentions

applied_combinatorics: applied_combinatorics index/15.5.1/transposition-of-a-scale, transposition, of a scale (concept). In QKM9DD2H56, index, section 15.5.1

History

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

GSWNSSH2WE GSWNSSH2WE

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-11 (exercise). In P1C114YBXG, exercise, section 1.1

History

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

GSWQD9N68J GSWQD9N68J

URI	`m2://inv/GSWQD9N68J`
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.10813#TK6Y (statement). In G8F4P7GDMA/e1, proposition 4.2

History

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

Not Knot GSWRQQY5YG

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

Mentions

wikipedia: Wikipedia Not Knot, Not Knot (definition). Also Wikidata Q105663792

History

2026-11-02: add by m2/dev

Corollary GSX9829S7Q

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

Mentions

wikipedia: Wikipedia Banach space#XEON, Corollary (statement)

History

2026-11-02: add by m2/dev

GSX9HGJW62 GSX9HGJW62

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

Mentions

arxiv: arXiv 2610.18562#VC85 (statement). In 793KXAR957/e1, corollary 2.10

History

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

GSXBB848KB GSXBB848KB

URI	`m2://inv/GSXBB848KB`
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.08050#D13N (statement). In K9Q0GZXRN3/e1, corollary 1.2

History

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

Brenke–Chihara polynomials GSXBYX8MF4

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

Mentions

wikipedia: Wikipedia Brenke–Chihara polynomials, Brenke–Chihara polynomials (definition). Also Wikidata Q4961225

History

2026-11-02: add by m2/dev

Fredholm eigenvalue GSXDYDJQ88

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

Mentions

wikipedia: Wikipedia Neumann–Poincaré operator#2JI8, Fredholm eigenvalue (unknown)

History

2026-11-02: add by m2/dev

GSXE2JV551 GSXE2JV551

URI	`m2://inv/GSXE2JV551`
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.29227#E3SS (statement)

History

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

Henri Skoda GSXEVM1ENQ

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

Mentions

wikipedia: Wikipedia Henri Skoda, Henri Skoda (topic). Also Wikidata Q19285367

History

2026-11-02: add by m2/dev

Diem--Frey, 2003 GSXFMEYYYD

URI	`m2://inv/GSXFMEYYYD`
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.06461#DUH0, Diem--Frey, 2003 (problem). In QXY3W2JV2N/e1, problem Question

History

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

GSXFMV17SW GSXFMV17SW

URI	`m2://inv/GSXFMV17SW`
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#5YGD (statement). In 6N7EAD1PYD/e1, lemma 4.1

History

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

GSXGNMGCHC GSXGNMGCHC

URI	`m2://inv/GSXGNMGCHC`
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.01803#74G5 (statement). In J6N4X33BME/e1, proposition 5

History

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

GSXKMQZVD4 GSXKMQZVD4

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

Mentions

arxiv: arXiv 2610.04874#I8TL (statement). In X365951S4Q/e1, lemma 3.4

History

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

quaternionic projective space GSXZ1VNQM4

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

Mentions

wikidata: Wikidata Q2724480, quaternionic projective space (unknown). Also nLab quaternionic projective space
wikipedia: Wikipedia Quaternionic projective space, Quaternionic projective space (definition). Also Wikidata Q2724480

History

2026-10-26: add by m2/dev

sextinvariant GSXZWH8FRJ

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#GW3D, sextinvariant (definition)

History

2026-11-02: add by m2/dev

GSY5DAABY4 GSY5DAABY4

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

Mentions

arxiv: arXiv 2610.21092#9CCX (statement). In AGJE43FTF8/e1, lemma 3.2

History

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

GSYKPJRVBN GSYKPJRVBN

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

Mentions

arxiv: arXiv 2610.19669#OBY2 (example). In 1QPAA94Q76/e1, example 3

History

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

Seed GSYWVRNW3H

URI	`m2://inv/GSYWVRNW3H`
Kind	definition
Layer	research
MSC	05-XX, 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 2610.17441#G9LK, Seed (definition). In 9Q8S0NWHP2/e1, definition 2.1

History

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

Gödel's completeness theorem GSZ1PXZ9DT

URI	`m2://inv/GSZ1PXZ9DT`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	4
Outcome	open
Node	Gödel's completeness theorem WQ1ZE255SF

Mentions

mathlib_1000: mathlib_1000 Q902052, Gödel's completeness theorem (statement). Also Wikidata Q902052
thousand_plus: thousand_plus Q902052, Gödel's completeness theorem (statement). Also Wikidata Q902052, Wikipedia Gödel's completeness theorem
wikidata: Wikidata Q902052, Gödel's completeness theorem (statement). Also MathWorld GoedelsCompletenessTheorem
wikipedia: Wikipedia Gödel's completeness theorem, Gödel's completeness theorem (statement). Also Wikidata Q902052

History

2026-10-26: add by m2/dev

Cannon, Ann R. GSZ2A5CRS9

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

Mentions

wikipedia: Wikipedia List of statisticians#VC6Y, Cannon, Ann R. (unknown)

History

2026-11-02: add by m2/dev

(Nigeria #5) GSZCFJQE9W

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#C74W, (Nigeria #5) (unknown)

History

2026-11-02: add by m2/dev

Moments of two-dimensional GFF GSZCPRRBMH

URI	`m2://inv/GSZCPRRBMH`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-XX, 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.17815#PX9S, Moments of two-dimensional GFF (statement). In GJ7N2EWACX/e1, theorem B.3

History

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

GSZFHSE9V0 GSZFHSE9V0

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-47 (exercise). In E9HS8K3A52, exercise, section 5.4.4

History

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

Neutral vector GSZGXSSG3T

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

Mentions

wikipedia: Wikipedia Neutral vector, Neutral vector (definition). Also Wikidata Q7003033

History

2026-11-02: add by m2/dev

Iris Runge GSZQFSGB53

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

Mentions

wikipedia: Wikipedia Iris Runge, Iris Runge (topic). Also Wikidata Q1672752

History

2026-11-02: add by m2/dev

GSZR78HMNQ GSZR78HMNQ

URI	`m2://inv/GSZR78HMNQ`
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.14458#GO1Z (statement). In WJ76MVYAZQ/e1, corollary 2.4

History

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

GSZT3QTE1B GSZT3QTE1B

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#prob:equal_dimension (exercise). In RZP28ERRZV, dproblem, section 62.11

History

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

GSZT4JJJ1T GSZT4JJJ1T

URI	`m2://inv/GSZT4JJJ1T`
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 2302.04566#DCKN (statement). In 80S2NP05HJ/e1, proposition 2.16

History

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

Euler path GSZWBDMGSW

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

Mentions

levin_dmoi: levin_dmoi index/5.1/euler-path, Euler path (concept). In Y91XFCEVHQ, index, section 5.1

History

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

Close-endpoint replacement sequences GSZZGZ4EHF

URI	`m2://inv/GSZZGZ4EHF`
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#ZY6O, Close-endpoint replacement sequences (statement). In D7NDCWSDJE/e1, lemma 24

History

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

A two-by-three simultaneous utility gap GSZZM61MG2

URI	`m2://inv/GSZZM61MG2`
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#W5CD, A two-by-three simultaneous utility gap (statement). In 9YAE8FNQST/e1, proposition 29.14

History

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