Inventory rows Y7

Monoid factorisation Y704T25CTP

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

Mentions

wikipedia: Wikipedia Monoid factorisation, Monoid factorisation (definition). Also Wikidata Q6901638

History

2026-11-02: add by m2/dev

TLS 1.1 Y70BV560CH

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

Mentions

wikipedia: Wikipedia Transport Layer Security#D171, TLS 1.1 (unknown)

History

2026-11-02: add by m2/dev

Self-verifying theories Y70C7X75FM

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#23TV, Self-verifying theories (definition)

History

2026-11-02: add by m2/dev

Inverse function theorem Y70D6MC574

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

Mentions

wikipedia: Wikipedia Calculus on Euclidean space#KMRP, Inverse function theorem (statement)

History

2026-11-02: add by m2/dev

Y70E3YRSTB Y70E3YRSTB

URI	`m2://inv/Y70E3YRSTB`
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 2609.36321#FCAD (statement). In 3KTZ6Z615H/e1, lemma 3.21

History

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

Definition Y70JY274KJ

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

Mentions

wikipedia: Wikipedia Locally integrable function#WIHQ, Definition (definition)

History

2026-11-02: add by m2/dev

Helical symmetry Y70KS0TJ55

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

Mentions

wikipedia: Wikipedia Symmetry (geometry)#L1VO, Helical symmetry (unknown)

History

2026-11-02: add by m2/dev

Exponential Natural Particle Filter Y70PRRE2TA

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

Mentions

wikipedia: Wikipedia Particle filter#Y0MM, Exponential Natural Particle Filter (unknown)

History

2026-11-02: add by m2/dev

Finitely generated abelian group Y70R7KWQN8

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

Mentions

wikipedia: Wikipedia Finitely generated abelian group, Finitely generated abelian group (definition). Also Wikidata Q142140

History

2026-11-02: add by m2/dev

Examples Y70ZWBQBW6

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

Mentions

wikipedia: Wikipedia Variance#7ABQ, Examples (example)

History

2026-11-02: add by m2/dev

Y7145ECB2Q Y7145ECB2Q

URI	`m2://inv/Y7145ECB2Q`
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#GF59 (statement). In YZNK67K060/e1, lemma 10.4

History

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

Y715X5TC1J Y715X5TC1J

URI	`m2://inv/Y715X5TC1J`
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 2506.07061#MXWK (definition). In G2PA4KAGRP/e1, definition 2.17

History

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

Variation Y7187J86B6

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

Mentions

wikipedia: Wikipedia Dependent random choice#CVTY, Variation (statement)

History

2026-11-02: add by m2/dev

Hyperbolic orthogonality Y719V7CZX1

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

Mentions

wikipedia: Wikipedia Hyperbolic orthogonality, Hyperbolic orthogonality (definition). Also Wikidata Q17028380

History

2026-11-02: add by m2/dev

Shoelace formula Y71AHV6KCV

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

Mentions

wikipedia: Wikipedia Shoelace formula, Shoelace formula (statement). Also Wikidata Q3748369

History

2026-11-02: add by m2/dev

UBU local error and moments Y71SDSNZCC

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

Mentions

arxiv: arXiv 2609.28611#9N19, UBU local error and moments (statement)

History

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

List of topology topics Y71V0ZW9Y1

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#KB4P, List of topology topics (topic)

History

2026-11-02: add by m2/dev

Hans Freudenthal Y724WZRBZ1

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#VHYT, Hans Freudenthal (unknown)

History

2026-11-02: add by m2/dev

Definition Y72507W3XN

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

Mentions

wikipedia: Wikipedia Elementary function arithmetic#XP72, Definition (definition)

History

2026-11-02: add by m2/dev

Magnetization Y72C3N194Y

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

Mentions

wikipedia: Wikipedia Magnetization, Magnetization (definition). Also Wikidata Q856711

History

2026-11-02: add by m2/dev

Y72CE7KMJ9 Y72CE7KMJ9

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

Mentions

arxiv: arXiv 2610.12484#FD0C (statement). In GW23NX78SB/e1, corollary 4.25

History

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

Rank-one lattice package Y72RJXE43R

URI	`m2://inv/Y72RJXE43R`
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#BRBO, Rank-one lattice package (statement)

History

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

Tame manifold Y732JTCMYC

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

Mentions

wikipedia: Wikipedia Tame manifold, Tame manifold (definition). Also Wikidata Q7681117

History

2026-11-02: add by m2/dev

Wilhelm Ahrens Y733WEBNG0

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

Mentions

wikipedia: Wikipedia Wilhelm Ahrens, Wilhelm Ahrens (topic). Also Wikidata Q108616

History

2026-11-02: add by m2/dev

Y737ADRWC9 Y737ADRWC9

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

Mentions

arxiv: arXiv 2609.28336#79VU (statement)

History

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

Consistency of calibrated and extrapolated samples Y73EEXZTMD

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

Mentions

arxiv: arXiv 2610.10484#SEJP, Consistency of calibrated and extrapolated samples (statement). In 5B4AX4SF88/e1, lemma B.1

History

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

Exhaustive-search fallback Y73G2DJX3D

URI	`m2://inv/Y73G2DJX3D`
Kind	statement
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 2609.37482#JXA0, Exhaustive-search fallback (statement). In 9QDRMZX8EY/e1, corollary 4

History

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

Properties Y73GQR0G47

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

Mentions

wikipedia: Wikipedia Fractional programming#3O3G, Properties (statement)

History

2026-11-02: add by m2/dev

Properties Y73KDJW3PE

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

Mentions

wikipedia: Wikipedia Abel equation of the first kind#L1KR, Properties (statement)

History

2026-11-02: add by m2/dev

Exact reduction for fixed choices Y73KV1GPGK

URI	`m2://inv/Y73KV1GPGK`
Kind	statement
Layer	research
MSC	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.03763#YNO7, Exact reduction for fixed choices (statement). In ARZ4X5PXXC/e1, proposition 2.4

History

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

Symplectic filling Y73W80JVZB

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

Mentions

wikipedia: Wikipedia Symplectic filling, Symplectic filling (definition). Also Wikidata Q7661843

History

2026-11-02: add by m2/dev

mass in special relativity Y742H82ECX

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

Mentions

wikidata: Wikidata Q719048, mass in special relativity (definition). Also ProofWiki Definition:Relativistic_Mass

History

2026-10-26: add by m2/dev

Tarski's axiomatization of the reals Y744S1F8R5

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

Mentions

wikipedia: Wikipedia List of things named after Alfred Tarski#RL8S, Tarski's axiomatization of the reals (definition)

History

2026-11-02: add by m2/dev

Next-bit test Y74ZABW6Q8

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

Mentions

wikipedia: Wikipedia Next-bit test, Next-bit test (definition). Also Wikidata Q4456453

History

2026-11-02: add by m2/dev

Y74ZM8FFME Y74ZM8FFME

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

Mentions

lebl_scv: lebl_scv scv.tex#example-2 (example). In VNMV985MXX, example, section 1.2

History

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

Sofia Kovalevskaya Y750N2MS11

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#QGK8, Sofia Kovalevskaya (topic)

History

2026-11-02: add by m2/dev

raising and lowering indices Y75498W8Q4

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

Mentions

wikidata: Wikidata Q2436203, raising and lowering indices (concept). Also MathWorld IndexLowering, MathWorld IndexRaising

History

2026-10-26: add by m2/dev

A tight plug-in example Y756GC9ZEJ

URI	`m2://inv/Y756GC9ZEJ`
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.40077#DCCN, A tight plug-in example (statement). In F0HMNYB8WB/e1, proposition 4.1

History

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

Connection Y75G0ESY2Z

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

Mentions

wikipedia: Wikipedia Connection (fibered manifold), Connection (definition). Also Wikidata Q17005680

History

2026-11-02: add by m2/dev

Theorem Y75K3AJXST

URI	`m2://inv/Y75K3AJXST`
Kind	unknown
Layer	research
MSC	94-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09206#KGJY, Theorem (unknown). In T7R1Q29DQK/e1, unknown

History

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

Y75KCQXK4T Y75KCQXK4T

URI	`m2://inv/Y75KCQXK4T`
Kind	statement
Layer	research
MSC	11-XX, 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.32090#H55M (statement). In HJWWFBA63D/e1, lemma 2.1

History

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

Y75PC6CS45 Y75PC6CS45

URI	`m2://inv/Y75PC6CS45`
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.39700#9K51 (statement). In E7W2HDNEKJ/e1, lemma H.5

History

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

Y75PPF7QW2 Y75PPF7QW2

URI	`m2://inv/Y75PPF7QW2`
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.14204#1P7U (statement). In GZAY1Y12YD/e1, theorem 6.5

History

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

locally cyclic group Y76BK3HDCK

URI	`m2://inv/Y76BK3HDCK`
Kind	definition
Layer	textbook
Sources	1
Outcome	node
Node	Locally cyclic group RXWA8TF2RM

Mentions

wikipedia: Wikipedia Glossary of group theory#Q3NQ, locally cyclic group (definition)

History

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

Comparison across the first transition Y76D7DA39Z

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

Mentions

arxiv: arXiv 2610.12203#IEOD, Comparison across the first transition (statement). In F4YTAZSCS2/e1, lemma 5.2

History

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

Alexandrov-type differentiability Y76FQV3KSB

URI	`m2://inv/Y76FQV3KSB`
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.23006#EGZY, Alexandrov-type differentiability (statement)

History

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

Y76QC6NJ1W Y76QC6NJ1W

URI	`m2://inv/Y76QC6NJ1W`
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 2510.09873#FLRM (statement). In KNB3ZCNC9Q/e1, corollary 3.5

History

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

Y76SNWH0P0 Y76SNWH0P0

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

Mentions

arxiv: arXiv 2610.20386#1CV0 (statement). In 4WC4V49KAC/e1, lemma 1.3

History

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

Y76TPC0Y6K Y76TPC0Y6K

URI	`m2://inv/Y76TPC0Y6K`
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.28540#CNA0 (statement)

History

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

Integrality Y76W6RHTS0

URI	`m2://inv/Y76W6RHTS0`
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.35722#GCQP, Integrality (statement). In QAPK0A1ZB6/e1, lemma 1

History

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

Length Y776NG0235

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

Mentions

wikipedia: Wikipedia List of integration and measure theory topics#AL03, Length (definition)

History

2026-11-02: add by m2/dev

Y7778Y6D2W Y7778Y6D2W

URI	`m2://inv/Y7778Y6D2W`
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.17626#QV68 (statement). In 54ATJS74DT/e1, theorem 2.5

History

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

Frobenius endomorphism Y77H6SJ96Y

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

Mentions

wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#P4NG, Frobenius endomorphism (definition)

History

2026-11-02: add by m2/dev

$F_4(a_3)$ Y77KWP9BK8

URI	`m2://inv/Y77KWP9BK8`
Kind	example
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#MLO2, $F_4(a_3)$ (example). In H7DMRWBBJN/e1, example 8.12

History

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

Y77MPAV5YA Y77MPAV5YA

URI	`m2://inv/Y77MPAV5YA`
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.02379#TFQ9 (statement). In W9E40AZJ03/e1, lemma 2.6

History

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

Neil Wallis Y77WDXCV7T

URI	`m2://inv/Y77WDXCV7T`
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#3YRB, Neil Wallis (unknown)

History

2026-11-02: add by m2/dev

Applications Y77WY3Z2Q2

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

Mentions

wikipedia: Wikipedia Communication complexity#30IB, Applications (example)

History

2026-11-02: add by m2/dev

Y78193YDFE Y78193YDFE

URI	`m2://inv/Y78193YDFE`
Kind	example
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 2609.23528#5M1R (example)

History

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

Integrability of the information drift Y788KNF9F3

URI	`m2://inv/Y788KNF9F3`
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.18180#R09R, Integrability of the information drift (statement). In NJGS7D1EPH/e1, lemma 2.1

History

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

Laurence Chisholm Young Y78ATWMHS4

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#U7N2, Laurence Chisholm Young (topic)

History

2026-11-02: add by m2/dev

Y78DJWHX8E Y78DJWHX8E

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

Mentions

arxiv: arXiv 2610.21545#TCVZ (statement). In 1Q3H75330M/e1, theorem

History

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

Y78G18DMX9 Y78G18DMX9

URI	`m2://inv/Y78G18DMX9`
Kind	definition
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#XV4I (definition). In 5KR3MHYVV6/e1, definition 2.0

History

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

Y78HJ64RP3 Y78HJ64RP3

URI	`m2://inv/Y78HJ64RP3`
Kind	statement
Layer	research
MSC	35-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 2204.04317#WTUK (statement). In 49V3ANDZTY/e1, theorem 1.2

History

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

Y78HWJ25J2 Y78HWJ25J2

URI	`m2://inv/Y78HWJ25J2`
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 2501.17009#6T1T (definition). In PESAKD6SSW/e1, definition 2.2

History

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

harmonic divisor number Y78PZXV0SG

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

Mentions

wikidata: Wikidata Q60679, harmonic divisor number (concept). Also MathWorld HarmonicDivisorNumber, OEIS A001599
wikipedia: Wikipedia Harmonic divisor number, Harmonic divisor number (definition). Also Wikidata Q60679

History

2026-10-26: add by m2/dev

even function Y78YQQC4PZ

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

Mentions

wikidata: Wikidata Q12138960, even function (unknown). Also MathWorld EvenFunction

History

2026-10-26: add by m2/dev

Examples Y7911YC28Z

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

Mentions

wikipedia: Wikipedia Ε-quadratic form#BPKU, Examples (example)

History

2026-11-02: add by m2/dev

Zhang Luping Y791X6GMBX

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

Mentions

wikipedia: Wikipedia Zhang Luping, Zhang Luping (topic). Also Wikidata Q106624125

History

2026-11-02: add by m2/dev

Y794J9M6K2 Y794J9M6K2

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

Mentions

napkin: napkin tex/calculus/taylor.tex#proof-3 (proof). In RZP28ERRZV, proof, section 34.3

History

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

Common-factor criterion Y79A6J76TS

URI	`m2://inv/Y79A6J76TS`
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.14318#FH8J, Common-factor criterion (statement). In HA4SZZJ831/e1, proposition 2.2

History

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

logarithmic differentiation Y79BSDZ5FX

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

Mentions

wikipedia: Wikipedia Glossary of calculus#VSLI, logarithmic differentiation (definition)

History

2026-11-02: add by m2/dev

Stochastic chains with memory of variable length Y79E0NBFCA

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

Mentions

wikipedia: Wikipedia Stochastic chains with memory of variable length, Stochastic chains with memory of variable length (definition). Also Wikidata Q24737403

History

2026-11-02: add by m2/dev

A finite reducible output with indefinite canonical form Y79H12YY4J

URI	`m2://inv/Y79H12YY4J`
Kind	example
Layer	research
MSC	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.25805#BO6S, A finite reducible output with indefinite canonical form (example)

History

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

Y79MH3MWBN Y79MH3MWBN

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

Mentions

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

History

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

Johannes de Groot Y79ZG9W8BA

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

Mentions

wikipedia: Wikipedia Johannes de Groot, Johannes de Groot (topic). Also Wikidata Q6217093

History

2026-11-02: add by m2/dev

Y7A0YNYDVN Y7A0YNYDVN

URI	`m2://inv/Y7A0YNYDVN`
Kind	statement
Layer	research
MSC	05-XX, 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.27495#SJ5G (statement). In 1TZVMC23J9/e1, proposition 2.4

History

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

conjugate to Y7AD821NGH

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

Mentions

wikipedia: Wikipedia Cardinal point (optics)#703L, conjugate to (definition)
wikipedia: Wikipedia Cardinal point (optics)#HXSI, image space (definition)
wikipedia: Wikipedia Cardinal point (optics)#UAGG, object space (definition)

History

2026-11-02: add by m2/dev

Local benchmark Y7AJVVY4Z4

URI	`m2://inv/Y7AJVVY4Z4`
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#ERZ1, Local benchmark (statement). In WBC7PQTVYC/e1, proposition 1

History

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

Vulnerability Research Centre Y7AMZYMPA4

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

Mentions

wikipedia: Wikipedia Communications Security Establishment#846X, Vulnerability Research Centre (unknown)

History

2026-11-02: add by m2/dev

Definition Y7B0884QCQ

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

Mentions

wikipedia: Wikipedia Interpolation space#7YZB, Definition (definition)

History

2026-11-02: add by m2/dev

Kim McLane Wardlaw Y7B96VY7BW

URI	`m2://inv/Y7B96VY7BW`
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#GZB2, Kim McLane Wardlaw (unknown)

History

2026-11-02: add by m2/dev

Y7B9SM7V9V Y7B9SM7V9V

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

Mentions

arxiv: arXiv 2609.38567#KNLE (statement). In 59AXA7QFTE/e1, theorem 4

History

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

Demographics of Northern Ireland Y7BFKYS27F

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

Mentions

wikipedia: Wikipedia Demographics of Northern Ireland, Demographics of Northern Ireland (definition). Also Wikidata Q2619323

History

2026-11-02: add by m2/dev

On Ascensions Y7BJWJ5S5W

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

Mentions

wikipedia: Wikipedia Hypsicles#R8E1, On Ascensions (unknown)

History

2026-11-02: add by m2/dev

Jeffrey Yi-Lin Forrest Y7BM8V584D

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

Mentions

wikipedia: Wikipedia Jeffrey Yi-Lin Forrest, Jeffrey Yi-Lin Forrest (topic). Also Wikidata Q6176363

History

2026-11-02: add by m2/dev

Y7BV1D2K21 Y7BV1D2K21

URI	`m2://inv/Y7BV1D2K21`
Kind	unknown
Layer	research
MSC	05-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28893#LIJI (unknown)

History

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

Mathematical formula Y7BW46SEB5

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

Mentions

wikipedia: Wikipedia Ugly duckling theorem#QZQ3, Mathematical formula (statement)

History

2026-11-02: add by m2/dev

evolutionarily stable strategy (ESS) Y7CCMVE3XT

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

Mentions

wikipedia: Wikipedia Best response#X9F7, evolutionarily stable strategy (ESS) (definition)

History

2026-11-02: add by m2/dev

Number Theory Library Y7CJK4ZZ09

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#78U0, Number Theory Library (definition)

History

2026-11-02: add by m2/dev

Y7CJZ0DBDM Y7CJZ0DBDM

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

Mentions

arxiv: arXiv 1003.1817#KBUJ (statement). In VCPT7BK80E/e1, theorem 4.1

History

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

Y7CKSHV0DW Y7CKSHV0DW

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-12 (exercise). In QKM9DD2H56, exercise, section 5

History

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

QtiPlot Y7CNQCV9XS

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#HIJD, QtiPlot (unknown)

History

2026-11-02: add by m2/dev

Properties related to Pascal's theorem Y7CQ8YDRP0

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

Mentions

wikipedia: Wikipedia Parabola#GAT7, Properties related to Pascal's theorem (statement)

History

2026-11-02: add by m2/dev

Contour line Y7CTRCEM4N

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

Mentions

wikipedia: Wikipedia Contour line, Contour line (definition). Also Wikidata Q6653802

History

2026-11-02: add by m2/dev

Y7D09TQY5Z Y7D09TQY5Z

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

Mentions

arxiv: arXiv 2610.08873#V1P7 (statement). In 7WMNVJBAVR/e1, theorem 3.7

History

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

Y7D0XQK4WC Y7D0XQK4WC

URI	`m2://inv/Y7D0XQK4WC`
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.11468#NNNF (statement). In FR4FDRHZJT/e1, lemma 4.3

History

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

Y7D2YG2WKC Y7D2YG2WKC

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

Mentions

open_logic: open_logic content/first-order-logic/introduction/formulas.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 11.10

History

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

simple Y7DCBV7X1R

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

Mentions

wikipedia: Wikipedia Glossary of module theory#KW1R, simple (definition)

History

2026-11-02: add by m2/dev

Y7DHH0Y38Y Y7DHH0Y38Y

URI	`m2://inv/Y7DHH0Y38Y`
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 2404.06445#ZRJ8 (statement). In 12JKZ8EN52/e1, lemma 3.2

History

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

Fisher–Tippett–Gnedenko theorem Y7DJMT7RAK

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

Mentions

mathlib_1000: mathlib_1000 Q5454965, Fisher–Tippett–Gnedenko theorem (statement). Also Wikidata Q5454965
thousand_plus: thousand_plus Q5454965, Fisher–Tippett–Gnedenko theorem (statement). Also Wikidata Q5454965, Wikipedia Fisher–Tippett–Gnedenko theorem
wikipedia: Wikipedia Fisher–Tippett–Gnedenko theorem, Fisher–Tippett–Gnedenko theorem (statement). Also Wikidata Q5454965

History

2026-10-26: add by m2/dev

Y7DKBR1AS2 Y7DKBR1AS2

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

Mentions

napkin: napkin tex/alg-geom/mor-scheme.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 22.3

History

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

Maple Y7DMSE05RQ

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#IPH3, Maple (unknown)

History

2026-11-02: add by m2/dev

Y7DRKY3ABZ Y7DRKY3ABZ

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

Mentions

arxiv: arXiv 2507.12309#B5X5 (definition). In ZR53K3E0FR/e1, definition 23

History

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

Attainment Y7DSEETJXX

URI	`m2://inv/Y7DSEETJXX`
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.27200#61E7, Attainment (statement)

History

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

Examples Y7DSP9RNQY

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

Mentions

wikipedia: Wikipedia Covering space#DIY8, Examples (example)

History

2026-11-02: add by m2/dev

Y7DYH3EFTY Y7DYH3EFTY

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

Mentions

arxiv: arXiv 2511.12649#SZ4I (example). In RT27S2YZKJ/e1, example 1

History

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

Extreme set Y7E1YFVNJ2

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

Mentions

wikipedia: Wikipedia Extreme set, Extreme set (definition). Also Wikidata Q131725293

History

2026-11-02: add by m2/dev

Positive bidiagonal factors on the moment-shift rectangle Y7E4XK5JQ3

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

Mentions

arxiv: arXiv 2609.26066#TG12, Positive bidiagonal factors on the moment-shift rectangle (statement)

History

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

Maker's strategy for the \tg Y7E6PC6X6C

URI	`m2://inv/Y7E6PC6X6C`
Kind	unknown
Layer	research
MSC	05-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38138#525P, Maker's strategy for the \tg (unknown). In G97FA99ZEF/e1, unknown A.1

History

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

Y7EFBTCH6C Y7EFBTCH6C

URI	`m2://inv/Y7EFBTCH6C`
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 2610.18620#Z5SG (statement). In 6WJ0R9YEBR/e1, corollary 6.6

History

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

Y7EKQKNZSE Y7EKQKNZSE

URI	`m2://inv/Y7EKQKNZSE`
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.28669#MWHD (statement)

History

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

Y7EMA5YCZB Y7EMA5YCZB

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

Mentions

napkin: napkin tex/homology/cellular.tex#proof-2 (proof). In RZP28ERRZV, proof, section 50.2

History

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

Y7F537P3HS Y7F537P3HS

URI	`m2://inv/Y7F537P3HS`
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 0804.2115#4V4L (statement). In B9XACVAC6X/e1, theorem 3.4

History

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

Symplectic topology Y7F98T54B7

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#8C5E, Symplectic topology (definition)

History

2026-11-02: add by m2/dev

univalence axiom Y7FCN4PQPJ

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

Mentions

hott_book: hott_book index/8.2/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section 8.2

History

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

Y7FDQWZQN5 Y7FDQWZQN5

URI	`m2://inv/Y7FDQWZQN5`
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#RMWU (statement). In W4TYN4PGE8/e1, lemma 6.5

History

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

Y7G2B22QJ1 Y7G2B22QJ1

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

Mentions

arxiv: arXiv 2609.29107#UTT6 (definition)

History

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

Closed and bounded but not compact Y7G5YJKEKB

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

Mentions

napkin: napkin tex/topology/compactness.tex#example-3, Closed and bounded but not compact (example). In RZP28ERRZV, example, section 95.2

History

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

Properties Y7G6Q8KZV1

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

Mentions

wikipedia: Wikipedia Generalized extreme value distribution#353B, Properties (statement)

History

2026-11-02: add by m2/dev

Y7G94KQ0VH Y7G94KQ0VH

URI	`m2://inv/Y7G94KQ0VH`
Kind	statement
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 2508.07340#2R73 (statement). In 2HSB99DW4M/e1, corollary 5.9

History

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

errors and residuals Y7GHRTPNHT

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

Mentions

wikidata: Wikidata Q1502698, errors and residuals (unknown). Also MathWorld Residual
wikipedia: Wikipedia Errors and residuals, Errors and residuals (definition). Also Wikidata Q1502698

History

2026-10-26: add by m2/dev

Y7GQH1E8MK Y7GQH1E8MK

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

Mentions

arxiv: arXiv 2610.21017#W0QE (statement). In 8KKYZ4NKT2/e1, proposition 8

History

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

Knots are sufficient Y7GQM9H2RW

URI	`m2://inv/Y7GQM9H2RW`
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.21271#HB11, Knots are sufficient (statement)

History

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

Y7GSV38MCC Y7GSV38MCC

URI	`m2://inv/Y7GSV38MCC`
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.26386#B5OS (statement)

History

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

Geertruida Wijthoff Y7GX8T3D2X

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

Mentions

wikipedia: Wikipedia Geertruida Wijthoff, Geertruida Wijthoff (topic). Also Wikidata Q33647105

History

2026-11-02: add by m2/dev

Y7GZ3HD5F8 Y7GZ3HD5F8

URI	`m2://inv/Y7GZ3HD5F8`
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#O3J3 (statement). In 793KXAR957/e1, corollary 4.3

History

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

Y7GZDRE6BJ Y7GZDRE6BJ

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

Mentions

napkin: napkin tex/topology/compactness.tex#definition-5 (definition). In RZP28ERRZV, definition, section 95.4

History

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

Uniqueness for (CE Y7H07JVKSW

URI	`m2://inv/Y7H07JVKSW`
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.17129#8R4Q, Uniqueness for (CE (statement). In TCZWAMNYCV/e1, theorem 6.15

History

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

Levinson's inequality Y7H668QGPK

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

Mentions

wikipedia: Wikipedia Levinson's inequality, Levinson's inequality (statement). Also Wikidata Q3154004

History

2026-11-02: add by m2/dev

Kyrille Popoff Y7HFCE1Z8K

URI	`m2://inv/Y7HFCE1Z8K`
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#51KB, Kyrille Popoff (unknown)

History

2026-11-02: add by m2/dev

Y7HM2FC0MH Y7HM2FC0MH

URI	`m2://inv/Y7HM2FC0MH`
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.36279#YYY6 (statement). In HX1QA0MJYV/e1, theorem 5

History

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

Koszul duality Y7HNB0R9GK

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#8OIE, Koszul duality (definition)

History

2026-11-02: add by m2/dev

Y7HNJWTSDV Y7HNJWTSDV

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

Mentions

arxiv: arXiv 2610.06872#PB34 (statement). In J4H3A11MMX/e1, theorem 3.1

History

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

Cone-saturated Y7J0A7CF77

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

Mentions

wikipedia: Wikipedia Cone-saturated, Cone-saturated (definition). Also Wikidata Q96375391

History

2026-11-02: add by m2/dev

Properties Y7J4HNZRJZ

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

Mentions

wikipedia: Wikipedia Matrix ring#LAXE, Properties (statement)

History

2026-11-02: add by m2/dev

Rahmat Ali Rahmat Y7JAH8W5VD

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

Mentions

wikipedia: Wikipedia Rahmat Ali Rahmat, Rahmat Ali Rahmat (topic). Also Wikidata Q136673208

History

2026-11-02: add by m2/dev

Y7JBPE70H0 Y7JBPE70H0

URI	`m2://inv/Y7JBPE70H0`
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.03222#PH0X (statement). In BB0JGNK4YF/e1, lemma 4.9

History

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

Y7JHJ7CXRM Y7JHJ7CXRM

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

Mentions

arxiv: arXiv 2609.36423#3A9J (example). In Q5Z178SAHP/e1, example 7.4

History

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

Y7JSBZBKNN Y7JSBZBKNN

URI	`m2://inv/Y7JSBZBKNN`
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 2609.31445#YDDW (statement). In 7V2PVZS04C/e1, proposition 6.7

History

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

Y7JWYH51HZ Y7JWYH51HZ

URI	`m2://inv/Y7JWYH51HZ`
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.19535#D4OX (statement). In MJXSE9QR4X/e1, lemma A.3

History

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

Y7JYQQT878 Y7JYQQT878

URI	`m2://inv/Y7JYQQT878`
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.19854#UJTN (statement). In D50WST4CG3/e1, lemma 3.6

History

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

Y7K1SS6SH0 Y7K1SS6SH0

URI	`m2://inv/Y7K1SS6SH0`
Kind	statement
Layer	research
MSC	46-XX, 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.20542#FVO0 (statement). In 8PZXZ8Y9FK/e1, lemma 3.2

History

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

Janko group Y7K74PZJHW

URI	`m2://inv/Y7K74PZJHW`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Janko groups PSEC8D7CX0

Mentions

wikidata: Wikidata Q1099545, Janko group (concept). Also MathWorld JankoGroups
wikipedia: Wikipedia Janko group, Janko group (definition). Also Wikidata Q1099545

History

2026-10-26: add by m2/dev

Y7K8NRHMQ4 Y7K8NRHMQ4

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 58.6

History

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

Y7KB8KVAF8 Y7KB8KVAF8

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

Mentions

arxiv: arXiv 2609.39293#HO0Y (statement). In S26QVW5613/e1, proposition 5.2.10

History

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

Euler function Y7KG5078RM

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

Mentions

wikipedia: Wikipedia Euler function, Euler function (definition). Also Wikidata Q2723749

History

2026-11-02: add by m2/dev

Y7KJYB9BPH Y7KJYB9BPH

URI	`m2://inv/Y7KJYB9BPH`
Kind	example
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.12489#GV0S (example). In FDWFVD08SE/e1, example 2.6

History

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

Y7KVYWFP0D Y7KVYWFP0D

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

Mentions

arxiv: arXiv 1804.05688#BQ54 (proof). In M8F4PDHH3S/e1, proof

History

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

Y7MAQWHEAS Y7MAQWHEAS

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

Mentions

arxiv: arXiv 2610.06246#78J5 (statement). In EXZHBFRJ63/e1, theorem 5.6

History

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

Complex general linear group Y7MQK99VAB

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

Mentions

wikipedia: Wikipedia General linear group#HJ7A, Complex general linear group (unknown)

History

2026-11-02: add by m2/dev

Y7N0JH24XR Y7N0JH24XR

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

Mentions

arxiv: arXiv 2610.14842#2FYN (statement). In MQXT5RQE0C/e1, lemma 3.1

History

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

Grassmann–Cayley algebra Y7N74K0NFW

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

Mentions

wikipedia: Wikipedia Grassmann–Cayley algebra, Grassmann–Cayley algebra (definition). Also Wikidata Q5597567

History

2026-11-02: add by m2/dev

Y7N7ZHTK66 Y7N7ZHTK66

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#def:logical connectives (definition). In P1C114YBXG, definition, section D

History

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

Applications Y7ND2MJJHJ

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

Mentions

wikipedia: Wikipedia Pseudorandom permutation#752G, Applications (example)

History

2026-11-02: add by m2/dev

Homogeneity Y7NFJW5HTH

URI	`m2://inv/Y7NFJW5HTH`
Kind	definition
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.19416#7620, Homogeneity (definition). In TJVWQ0ZSGY/e1, definition 2.2

History

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

Faltings' theorem Y7NFYN2QGM

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

Mentions

wikipedia: Wikipedia List of theorems#J9JW, Faltings' theorem (statement)

History

2026-11-02: add by m2/dev

Point-set registration Y7NJZV402S

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

Mentions

wikipedia: Wikipedia Point-set registration, Point-set registration (definition). Also Wikidata Q15058706

History

2026-11-02: add by m2/dev

sorites paradox Y7NQQDEPH9

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

Mentions

wikipedia: Wikipedia Glossary of logic#Y1SU, sorites paradox (definition)

History

2026-11-02: add by m2/dev

Y7NVRART3A Y7NVRART3A

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

Mentions

arxiv: arXiv 2303.10963#KMDQ (statement). In F32XWYWG8E/e1, proposition 4.1

History

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

𝒹 Y7NWJZB92E

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

Mentions

wikipedia: Wikipedia Mathematical Alphanumeric Symbols#CTHA, 𝒹 (unknown)

History

2026-11-02: add by m2/dev

Y7P6TN7V2J Y7P6TN7V2J

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

Mentions

arxiv: arXiv 2610.21960#3XMI (statement). In QX77AN49J0/e1, corollary 8.21

History

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

Awele Maduemezia Y7PJ62KBJR

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

Mentions

wikipedia: Wikipedia Awele Maduemezia, Awele Maduemezia (topic). Also Wikidata Q20683859

History

2026-11-02: add by m2/dev

Y7PRVEPE0Q Y7PRVEPE0Q

URI	`m2://inv/Y7PRVEPE0Q`
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.20153#9WH7 (statement)

History

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

Long-tail traffic Y7PSBY26ND

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

Mentions

wikipedia: Wikipedia Long-tail traffic, Long-tail traffic (definition). Also Wikidata Q6672024

History

2026-11-02: add by m2/dev

Fixed-level hitting times Y7Q06NRTSE

URI	`m2://inv/Y7Q06NRTSE`
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.17479#GYRS, Fixed-level hitting times (statement). In 4FWAY748N7/e1, proposition 1.5

History

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

Castleton Four Corners, Vermont Y7Q56CXNAC

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

Mentions

wikipedia: Wikipedia List of places with numeric names#MWFC, Castleton Four Corners, Vermont (unknown)

History

2026-11-02: add by m2/dev

Y7Q5M3ZE2B Y7Q5M3ZE2B

URI	`m2://inv/Y7Q5M3ZE2B`
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.32077#VGBY (statement). In WYXQDSQR9B/e1, theorem 3.5

History

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

Y7Q5MWKHDH Y7Q5MWKHDH

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

Mentions

arxiv: arXiv 2609.30961#QCQD (statement). In FFG2DDWEVB/e1, proposition 4.4

History

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

Y7QC4NQRW4 Y7QC4NQRW4

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#example-1 (example). In E59CDZA4DP, example, section 2.1.2

History

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

surgery theory Y7QK4QXV4X

URI	`m2://inv/Y7QK4QXV4X`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Surgery theory MHHN8386TG

Mentions

wikidata: Wikidata Q2963975, surgery theory (topic). Also nLab surgery theory
wikipedia: Wikipedia Surgery theory, Surgery theory (definition). Also Wikidata Q2963975

History

2026-10-26: add by m2/dev

Applications Y7QKJKCGFW

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

Mentions

wikipedia: Wikipedia Low-discrepancy sequence#UOEM, Applications (example)

History

2026-11-02: add by m2/dev

Yale and converse theorem Y7QQDMR2WW

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

Mentions

wikipedia: Wikipedia Ilya Piatetski-Shapiro#P5NI, Yale and converse theorem (statement)

History

2026-11-02: add by m2/dev

Example Y7QW61GH82

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

Mentions

wikipedia: Wikipedia Aliasing (factorial experiments)#04CC, Example (example)

History

2026-11-02: add by m2/dev

Y7QWKGFEEJ Y7QWKGFEEJ

URI	`m2://inv/Y7QWKGFEEJ`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#J33T (statement). In Y1DR0DPWD0/e1, proposition 4.5

History

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

Powersets Y7R71NHM3G

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

Mentions

open_logic: open_logic content/set-theory/z/powerset.tex#axiom-1, Powersets (statement). In PKGMM3P5QY, axiom, section 76.7

History

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

Y7RJA8VE6C Y7RJA8VE6C

URI	`m2://inv/Y7RJA8VE6C`
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.10372#PB9T (statement). In P77W283VXT/e1, theorem 3.5

History

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

TV norm of the iterates Y7RNQ21A7B

URI	`m2://inv/Y7RNQ21A7B`
Kind	statement
Layer	research
MSC	49-XX, 62-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.30220#ID8L, TV norm of the iterates (statement)

History

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

Y7RP0ETFY6 Y7RP0ETFY6

URI	`m2://inv/Y7RP0ETFY6`
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 1907.01440#LKJI (statement). In QDRYC6WJJ7/e1, proposition 4

History

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

Y7RP1EP4TZ Y7RP1EP4TZ

URI	`m2://inv/Y7RP1EP4TZ`
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.07537#60ZT (definition). In ZFDXNKEBT1/e1, definition 2.2

History

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

Motivation and statement of theorem Y7RSCTPMHW

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

Mentions

wikipedia: Wikipedia Fatou's theorem#37YT, Motivation and statement of theorem (statement)

History

2026-11-02: add by m2/dev

Metric circle Y7RSQQ2PXQ

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

Mentions

wikipedia: Wikipedia Metric circle, Metric circle (definition). Also Wikidata Q6154420

History

2026-11-02: add by m2/dev

mathematics, constructive Y7RYZQT3QG

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

Mentions

hott_book: hott_book index/B.6/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section B.6

History

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

Walk-regular graph Y7S249QFND

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

Mentions

wikipedia: Wikipedia Walk-regular graph, Walk-regular graph (definition). Also Wikidata Q48996522

History

2026-11-02: add by m2/dev

Abundancy index Y7S63MF7F6

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

Mentions

wikipedia: Wikipedia Abundant number#VQN7, Abundancy index (unknown)

History

2026-11-02: add by m2/dev

Y7S7N731SP Y7S7N731SP

URI	`m2://inv/Y7S7N731SP`
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.20760#ECPY (statement). In 6G9JSJ5JMP/e1, theorem 3

History

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

Definition Y7SDM4XQX2

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

Mentions

wikipedia: Wikipedia Degree matrix#SW4E, Definition (definition)

History

2026-11-02: add by m2/dev

Properties Y7SDVYV69R

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

Mentions

wikipedia: Wikipedia Tensor product of representations#VBKA, Properties (statement)

History

2026-11-02: add by m2/dev

Marton coupling Y7SJ9Y41JS

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

Mentions

arxiv: arXiv 2609.34731#1ADX, Marton coupling (definition). In MH54AS0Y61/e1, definition 2

History

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

Hexahemioctacron Y7SM67CMNB

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#1PDH, Hexahemioctacron (object)

History

2026-11-02: add by m2/dev

Shift theorem Y7SMAEA7PB

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

Mentions

wikipedia: Wikipedia Discrete Fourier transform#HV7L, Shift theorem (statement)

History

2026-11-02: add by m2/dev

End-to-end sampling error of MDM Y7SRXEXX80

URI	`m2://inv/Y7SRXEXX80`
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.12544#6MGK, End-to-end sampling error of MDM (statement). In XXV36V6CK8/e1, theorem 2

History

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

Research design Y7SXXT5XFJ

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

Mentions

wikipedia: Wikipedia Research design, Research design (definition). Also Wikidata Q1438035

History

2026-11-02: add by m2/dev

Y7T0A2WJSK Y7T0A2WJSK

URI	`m2://inv/Y7T0A2WJSK`
Kind	statement
Layer	research
MSC	05-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 2401.13523#6JPH (statement). In DDA62XQTWW/e1, proposition 3.5

History

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

Construction Y7TA5BSM2X

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

Mentions

wikipedia: Wikipedia Triaugmented triangular prism#3Z2D, Construction (definition)

History

2026-11-02: add by m2/dev

Y7TBS82Q9M Y7TBS82Q9M

URI	`m2://inv/Y7TBS82Q9M`
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.31604#E2PN (statement). In GSN5YTQS2K/e1, proposition 3.9

History

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

Y7TDAYFFFX Y7TDAYFFFX

URI	`m2://inv/Y7TDAYFFFX`
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 2403.04887#PT4F (statement). In A5BW1KBV63/e1, lemma

History

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

Dominating decision rule Y7TF119HBW

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

Mentions

wikipedia: Wikipedia Dominating decision rule, Dominating decision rule (definition). Also Wikidata Q5290316

History

2026-11-02: add by m2/dev

Pre- and post-test probability Y7TG9WRTAA

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

Mentions

wikipedia: Wikipedia Pre- and post-test probability, Pre- and post-test probability (definition). Also Wikidata Q7239190

History

2026-11-02: add by m2/dev

Universal prefix-free Turing machine Y7TJ5HXA93

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

Mentions

wikipedia: Wikipedia Kolmogorov complexity#8D1S, Universal prefix-free Turing machine (unknown)

History

2026-11-02: add by m2/dev

average rate of change Y7TNFEBS95

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

Mentions

active_calculus: active_calculus index/1.3.1/average-rate-of-change, average rate of change (concept). In 907G4C4EJ1, index, section 1.3.1

History

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

Y7TRR9HE4W Y7TRR9HE4W

URI	`m2://inv/Y7TRR9HE4W`
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.20391#6HE3 (statement). In CTAS41TRM2/e1, lemma 7.3

History

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

Christopher Airay Y7V1YVCR4M

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

Mentions

wikipedia: Wikipedia Christopher Airay, Christopher Airay (topic). Also Wikidata Q5111832

History

2026-11-02: add by m2/dev

Y7V3XYZHMG Y7V3XYZHMG

URI	`m2://inv/Y7V3XYZHMG`
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.01433#29SF (definition). In 160PQ7F1AS/e1, definition 2.4

History

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

Definitions Y7V3YR1RTY

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

Mentions

wikipedia: Wikipedia Uniform convergence in probability#5CQK, Definitions (definition)

History

2026-11-02: add by m2/dev

Y7V8CFTBA2 Y7V8CFTBA2

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-20 (exercise). In Y91XFCEVHQ, exercise, section 4.2

History

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

Y7V9PM87E8 Y7V9PM87E8

URI	`m2://inv/Y7V9PM87E8`
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 0804.2115#H6B2 (statement). In B9XACVAC6X/e1, theorem 4.6

History

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

Iain M. Johnstone Y7VCPE0N17

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#OFPQ, Iain M. Johnstone (unknown)

History

2026-11-02: add by m2/dev

Non-example Y7VPMAXJP2

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

Mentions

wikipedia: Wikipedia Solvable Lie algebra#CAAL, Non-example (counterexample)

History

2026-11-02: add by m2/dev

Y7VW7W8VN9 Y7VW7W8VN9

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

Mentions

arxiv: arXiv 2610.10875#27P5 (statement). In N91F15MHW1/e1, lemma 24

History

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

Lossy Turing machine Y7WAK3ZM2R

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

Mentions

wikipedia: Wikipedia Halting problem#TPJP, Lossy Turing machine (unknown)

History

2026-11-02: add by m2/dev

Compact form Y7WGCH753H

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

Mentions

wikipedia: Wikipedia Real form (Lie theory)#C1MS, Compact form (unknown)

History

2026-11-02: add by m2/dev

Kneser Y7WH42HTN0

URI	`m2://inv/Y7WH42HTN0`
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.13103#OHF2, Kneser (statement). In GG2ZZV6KEQ/e1, lemma 2.1

History

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

Definition Y7WQXZJXHD

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

Mentions

wikipedia: Wikipedia Simple function#UDJ1, Definition (definition)

History

2026-11-02: add by m2/dev

Leona S. Aiken Y7WR5K7VRM

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

Mentions

wikipedia: Wikipedia Leona S. Aiken, Leona S. Aiken (topic). Also Wikidata Q100975254

History

2026-11-02: add by m2/dev

Hel Braun Y7WR8ZYK1A

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

Mentions

wikipedia: Wikipedia List of German mathematicians#EY2P, Hel Braun (unknown)

History

2026-11-02: add by m2/dev

Curie--Weiss comparison at the maximizers Y7X5XJ2K0R

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

Mentions

arxiv: arXiv 2609.37479#1GZ2, Curie--Weiss comparison at the maximizers (statement). In P3RTT99C41/e1, lemma 4.3

History

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

Probal Chaudhuri Y7X9QE40WT

URI	`m2://inv/Y7X9QE40WT`
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#3RL5, Probal Chaudhuri (unknown)

History

2026-11-02: add by m2/dev

Ellipsoid method Y7X9TTDSDW

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

Mentions

wikipedia: Wikipedia List of algorithms#ZDNV, Ellipsoid method (definition)

History

2026-11-02: add by m2/dev

Y7XKJC32NA Y7XKJC32NA

URI	`m2://inv/Y7XKJC32NA`
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 2211.13105#CH6G (statement). In 5ACPY6CEDV/e1, theorem 5.7

History

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

Y7XVC6DJW3 Y7XVC6DJW3

URI	`m2://inv/Y7XVC6DJW3`
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#596W (statement)

History

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

Y7XX08BS61 Y7XX08BS61

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

Mentions

arxiv: arXiv 2609.25301#LYHY (statement)

History

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

Sharp order within the specified feedback family Y7Y8STMK70

URI	`m2://inv/Y7Y8STMK70`
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.33154#2L2J, Sharp order within the specified feedback family (statement). In N28DEYRBW7/e1, theorem 3.14

History

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

$(\infty,1)$-topos Y7YB4XN3Z2

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

Mentions

hott_book: hott_book index/u1.u8/infty-1-topos, $(\infty,1)$-topos (concept). In N54F33XE07, index, section u1.u8

History

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

Applications Y7YCDHZZQV

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

Mentions

wikipedia: Wikipedia Binary decision diagram#HT3E, Applications (example)

History

2026-11-02: add by m2/dev

Y7YFZCF97G Y7YFZCF97G

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#prop:continuityofcomplex (statement). In E59CDZA4DP, prop, section 1.1.2

History

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

John Milnor Y7YG3JVRYB

URI	`m2://inv/Y7YG3JVRYB`
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 Q215765, John Milnor (unknown). Also nLab John Milnor
wikipedia: Wikipedia John Milnor, John Milnor (topic). Also Wikidata Q215765

History

2026-10-26: add by m2/dev

Y7YGRRPRX6 Y7YGRRPRX6

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

History

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

Time regularity of the vertical temperature derivative Y7YSZW41D8

URI	`m2://inv/Y7YSZW41D8`
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.14555#2UHU, Time regularity of the vertical temperature derivative (statement). In NHW0VEJ09F/e1, proposition 3.8

History

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

Applications Y7YTN68VZA

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

Mentions

wikipedia: Wikipedia Integral element#IZGN, Applications (example)

History

2026-11-02: add by m2/dev

Calabi–Yau manifold Y7YV5P1QFD

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#K4F7, Calabi–Yau manifold (definition)
wikipedia: Wikipedia List of algebraic geometry topics#9M9W, Calabi–Yau manifold (definition)

History

2026-11-02: add by m2/dev

Definition Y7YX73Y4N5

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

Mentions

wikipedia: Wikipedia (B, N) pair#2UC9, Definition (definition)

History

2026-11-02: add by m2/dev

Example Y7Z2WK3DQD

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

Mentions

wikipedia: Wikipedia Hensel's lemma#1PHQ, Example (example)

History

2026-11-02: add by m2/dev

Y7Z5D31VZZ Y7Z5D31VZZ

URI	`m2://inv/Y7Z5D31VZZ`
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.14446#G07F (statement). In AWRXXZR673/e1, theorem 4.3

History

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

Giuseppe Peano Y7ZCFG3W01

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#JYVL, Giuseppe Peano (topic)
wikipedia: Wikipedia List of Italian mathematicians#XKYJ, Giuseppe Peano (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FLPT, Giuseppe Peano (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IGW7, Giuseppe Peano (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MZZF, Giuseppe Peano (topic)

History

2026-11-02: add by m2/dev

Y7ZE79DS9K Y7ZE79DS9K

URI	`m2://inv/Y7ZE79DS9K`
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.11679#EAE4 (statement). In 30PZ8ZVR3A/e1, proposition 2.5

History

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

Wacław Sierpiński Y7ZFZ7EET9

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

Mentions

wikipedia: Wikipedia Wacław Sierpiński, Wacław Sierpiński (topic). Also Wikidata Q297206

History

2026-11-02: add by m2/dev

Related results Y7ZHVZBA5C

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

Mentions

wikipedia: Wikipedia Fermat's theorem on sums of two squares#X7QP, Related results (statement)

History

2026-11-02: add by m2/dev

Matrix-free methods Y7ZMFJH4R1

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#737O, Matrix-free methods (definition)

History

2026-11-02: add by m2/dev

Golomb ruler Y7ZTKBZZGJ

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

Mentions

wikidata: Wikidata Q1426478, Golomb ruler (unknown). Also MathWorld GolombRuler
wikipedia: Wikipedia Golomb ruler, Golomb ruler (definition). Also Wikidata Q1426478

History

2026-10-26: add by m2/dev