Inventory rows 6F

6F02Q6M8W4 6F02Q6M8W4

URI	`m2://inv/6F02Q6M8W4`
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.27181#G568 (statement)

History

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

Verifiable spectral tails 6F03A1QNCH

URI	`m2://inv/6F03A1QNCH`
Kind	problem
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.31641#S38H, Verifiable spectral tails (problem). In XC2HE3KXPM/e1, problem 8.3

History

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

6F06TCVJ2H 6F06TCVJ2H

URI	`m2://inv/6F06TCVJ2H`
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.36922#ECUA (statement). In BMHWE5QTTR/e1, corollary 4.5

History

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

demonstrative 6F07ABAF6G

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

Mentions

wikipedia: Wikipedia Glossary of logic#WRQR, demonstrative (definition)

History

2026-11-02: add by m2/dev

6F0HDFAWYY 6F0HDFAWYY

URI	`m2://inv/6F0HDFAWYY`
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.22268#W1BF (statement). In 9ZD87293QS/e1, theorem D

History

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

6F0KY8WQV6 6F0KY8WQV6

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

Mentions

arxiv: arXiv 2609.28323#77L9 (statement)

History

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

6F0Q6G3HB5 6F0Q6G3HB5

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

Mentions

arxiv: arXiv 2609.35102#OKDQ (statement). In XK6H7F2F13/e1, theorem 1.4

History

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

identity, function 6F0S303N27

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

Mentions

hott_book: hott_book index/1.4/identity-function, identity, function (concept). In N54F33XE07, index, section 1.4

History

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

6F0ZE4QNZ3 6F0ZE4QNZ3

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

Mentions

arxiv: arXiv 2610.10505#AYI6 (definition). In JW8HH6EPG2/e1, definition 2.3

History

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

Daniel Kleitman 6F1DN8R6ZD

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#IEXX, Daniel Kleitman (topic)

History

2026-11-02: add by m2/dev

6F1N74JSE2 6F1N74JSE2

URI	`m2://inv/6F1N74JSE2`
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.12803#JF2U (statement). In 98GNJ4MS7Q/e1, proposition 4

History

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

6F1R1N3ZYJ 6F1R1N3ZYJ

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-intro.tex#example-2 (example). In E9HS8K3A52, example, section 6.8.4

History

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

Proof of Cayley-Hamilton 6F206XF6Q5

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

Mentions

napkin: napkin tex/linalg/dets.tex#proof-3, Proof of Cayley-Hamilton (proof). In RZP28ERRZV, proof, section 56.3

History

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

Logical negation 6F27WFAA76

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#XMPO, Logical negation (definition)

History

2026-11-02: add by m2/dev

$\nu_B$ is optimal up to $\theta$ 6F2B881RNS

URI	`m2://inv/6F2B881RNS`
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.32558#ZGFS, $\nu_B$ is optimal up to $\theta$ (statement). In SGQS629QNK/e1, proposition B.1

History

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

L(R) 6F2HV1FNBF

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

Mentions

wikipedia: Wikipedia L(R), L(R) (definition). Also Wikidata Q6456050

History

2026-11-02: add by m2/dev

Examples 6F2J7XR6P0

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

Mentions

wikipedia: Wikipedia Highly composite number#BC1Y, Examples (example)

History

2026-11-02: add by m2/dev

Dolbeault 6F2MT2FK13

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

Mentions

arxiv: arXiv 2609.24943#64QE, Dolbeault (statement)

History

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

Central subgroup 6F2QHQWXJN

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

Mentions

wikipedia: Wikipedia Central subgroup, Central subgroup (definition). Also Wikidata Q5062155

History

2026-11-02: add by m2/dev

Examples 6F35B0R3YK

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

Mentions

wikipedia: Wikipedia Castigliano's method#2CWD, Examples (example)

History

2026-11-02: add by m2/dev

Construction 6F37ZYZ0JQ

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

Mentions

wikipedia: Wikipedia Midpoint#S03E, Construction (definition)

History

2026-11-02: add by m2/dev

6F3AKDRK6H 6F3AKDRK6H

URI	`m2://inv/6F3AKDRK6H`
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.37439#8D83 (statement). In 8K7D3FKJDT/e1, proposition 5.1

History

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

Cover interface 6F3BVH5G66

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

Mentions

arxiv: arXiv 2609.28220#SYHR, Cover interface (statement)

History

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

Rockafellar--Uryasev 6F3C2NM718

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

Mentions

arxiv: arXiv 2610.15974#G8DB, Rockafellar--Uryasev (statement). In 61ZHQ7BTKP/e1, lemma 5.3

History

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

6F3JXZVN6V 6F3JXZVN6V

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

Mentions

lebl_scv: lebl_scv scv.tex#example-14 (example). In VNMV985MXX, example, section 3.3

History

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

definite integral, sum rule 6F3N9WHEFD

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

Mentions

active_calculus: active_calculus index/4.3.3/definite-integral-sum-rule, definite integral, sum rule (concept). In 907G4C4EJ1, index, section 4.3.3

History

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

Milton Abramowitz 6F3WP7FG7K

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#99ZU, Milton Abramowitz (topic)

History

2026-11-02: add by m2/dev

quantitative Reichstein--Vistoli 6F3X98AZFQ

URI	`m2://inv/6F3X98AZFQ`
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.09298#JY5I, quantitative Reichstein--Vistoli (statement). In 1SPQ4J3AWY/e1, theorem 5.9

History

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

Pathwise gradient 6F4460BECH

URI	`m2://inv/6F4460BECH`
Kind	statement
Layer	research
MSC	18-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.26270#02ZY, Pathwise gradient (statement)

History

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

Imaginary 6F4A8TR4HH

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

Mentions

wikipedia: Wikipedia Imaginary (exhibition), Imaginary (definition). Also Wikidata Q1474563

History

2026-11-02: add by m2/dev

Spectrum and algebraic multiplicities 6F4NVSTCB1

URI	`m2://inv/6F4NVSTCB1`
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.13358#BV2T, Spectrum and algebraic multiplicities (statement). In QHT28GABDG/e1, corollary 4.6

History

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

6F4TSB9EAH 6F4TSB9EAH

URI	`m2://inv/6F4TSB9EAH`
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.12736#A8JQ (statement). In 5350Q52F6P/e1, lemma 6.1

History

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

6F53GPNW0T 6F53GPNW0T

URI	`m2://inv/6F53GPNW0T`
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#US5B (statement). In W4TYN4PGE8/e1, corollary 3.28

History

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

6F55TG2GT8 6F55TG2GT8

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

Mentions

arxiv: arXiv 2610.10262#4U9L (definition). In MVSGDTN2PB/e1, definition 3.1

History

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

Definition 6F5M3KJ7NQ

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

Mentions

wikipedia: Wikipedia L-reduction#HTH2, Definition (definition)

History

2026-11-02: add by m2/dev

6F5XY7HPNP 6F5XY7HPNP

URI	`m2://inv/6F5XY7HPNP`
Kind	example
Layer	research
MSC	54-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.33841#L27B (example). In 3CVQHT206K/e1, example 4.4

History

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

QC uniformization 6F62Z5F6WP

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

Mentions

arxiv: arXiv 2411.17227#GMPI, QC uniformization (statement). In DDNP38CHQJ/e1, theorem 1.2

History

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

Definitions 6F67A7EWRE

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

Mentions

wikipedia: Wikipedia Algebraically compact module#TWY2, Definitions (definition)

History

2026-11-02: add by m2/dev

Scattering generator 6F69HHBQXM

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

Mentions

wikipedia: Wikipedia Scattering generator, Scattering generator (definition). Also Wikidata Q141254129

History

2026-11-02: add by m2/dev

Example 6F69KP2TFQ

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

Mentions

wikipedia: Wikipedia Algorithmic inference#7GLD, Example (example)

History

2026-11-02: add by m2/dev

binomial theorem (or binomial expansion) 6F6C1V9XRG

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

Mentions

wikipedia: Wikipedia Glossary of calculus#ZWDE, binomial theorem (or binomial expansion) (definition)

History

2026-11-02: add by m2/dev

Quantum threshold theorem 6F6D9NZY16

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

Mentions

wikipedia: Wikipedia List of theorems#QEIT, Quantum threshold theorem (statement)

History

2026-11-02: add by m2/dev

Peak 6F6KRYSCFT

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#MN76, Peak (definition)

History

2026-11-02: add by m2/dev

Robert Everist Greene 6F6NKR0S60

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HIUF, Robert Everist Greene (topic)

History

2026-11-02: add by m2/dev

6F6S1SMJ6Y 6F6S1SMJ6Y

URI	`m2://inv/6F6S1SMJ6Y`
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 2601.10958#Q78Y (statement). In 4W55AH5T6R/e1, proposition 3

History

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

Theodosius of Bithynia 6F6S8F393C

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#8QM7, Theodosius of Bithynia (topic)

History

2026-11-02: add by m2/dev

6F6V2MGB6E 6F6V2MGB6E

URI	`m2://inv/6F6V2MGB6E`
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.09324#3ZHW (statement). In SFNYZXKBNW/e1, theorem 3.4

History

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

6F6V6BQG24 6F6V6BQG24

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

Mentions

napkin: napkin tex/homology/cup-product.tex#definition-3 (definition). In RZP28ERRZV, definition, section 52.4

History

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

6F79NY1NQZ 6F79NY1NQZ

URI	`m2://inv/6F79NY1NQZ`
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 1905.00573#PATS (statement). In 74RNQVBM2G/e1, theorem 3.4

History

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

Applications 6F7AWQAE3N

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

Mentions

wikipedia: Wikipedia Algebraic topology#LNIZ, Applications (example)

History

2026-11-02: add by m2/dev

Schwarz lemma 6F7BC71DJS

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

Mentions

wikipedia: Wikipedia Poincaré metric#1N29, Schwarz lemma (statement)

History

2026-11-02: add by m2/dev

6F7SC6P88V 6F7SC6P88V

URI	`m2://inv/6F7SC6P88V`
Kind	statement
Layer	research
MSC	03-XX, 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 math/0406514#ZB49 (statement). In CY1FE8W1ZW/e1, proposition 0.260

History

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

6F7T69AJMS 6F7T69AJMS

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

Mentions

napkin: napkin tex/homology/excision.tex#definition-1 (definition). In RZP28ERRZV, definition, section 53.3

History

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

Kuranishi structure 6F7XKRQAZ3

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

Mentions

wikipedia: Wikipedia Kuranishi structure, Kuranishi structure (definition). Also Wikidata Q25304228

History

2026-11-02: add by m2/dev

Lambda elimination 6F7ZT22EFH

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

Mentions

wikipedia: Wikipedia Combinatory logic#0VXG, Lambda elimination (unknown)

History

2026-11-02: add by m2/dev

Ginestra Bianconi 6F82MVTSW8

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

Mentions

wikipedia: Wikipedia Ginestra Bianconi, Ginestra Bianconi (topic). Also Wikidata Q56805406

History

2026-11-02: add by m2/dev

Exponential converse for the optimal signal family 6F86DK5BP0

URI	`m2://inv/6F86DK5BP0`
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#JPK3, Exponential converse for the optimal signal family (statement). In 4QN87R0P1G/e1, proposition 19

History

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

6F882DT97G 6F882DT97G

URI	`m2://inv/6F882DT97G`
Kind	example
Layer	research
MSC	05-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.23106#0ACK (example)

History

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

6F89ZXV6FN 6F89ZXV6FN

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_recursion.ptx#example-1 (example). In QKM9DD2H56, example, section 3.5.1

History

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

Intermediate situations 6F8G7AN8EY

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

Mentions

arxiv: arXiv 2609.25275#YFRP, Intermediate situations (example)

History

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

6F8HVD40B2 6F8HVD40B2

URI	`m2://inv/6F8HVD40B2`
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 2207.11097#DT5L (statement). In 13H5BTAXHF/e1, theorem 5

History

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

Probability theory 6F8S0WP8M2

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

Mentions

wikipedia: Wikipedia List of statistics articles#S4YY, Probability theory (topic)
wikipedia: Wikipedia List of probability topics#P5G3, Probability theory (topic)

History

2026-11-02: add by m2/dev

Stephan Luckhaus 6F8WB16ERQ

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

Mentions

wikipedia: Wikipedia List of German mathematicians#IRD4, Stephan Luckhaus (topic)

History

2026-11-02: add by m2/dev

Definition 6F8X910RN2

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

Mentions

wikipedia: Wikipedia Gaussian binomial coefficient#6DOO, Definition (definition)

History

2026-11-02: add by m2/dev

6F92SNM2QF 6F92SNM2QF

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

Mentions

arxiv: arXiv 2610.19151#U25D (statement). In DKVT74MANJ/e1, proposition 2.1

History

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

6F92SRZ9ZZ 6F92SRZ9ZZ

URI	`m2://inv/6F92SRZ9ZZ`
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.06669#87UV (statement). In YXD3950ZXR/e1, lemma A.2

History

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

Rafe Mazzeo 6F9ASDVXR4

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

Mentions

wikipedia: Wikipedia Rafe Mazzeo, Rafe Mazzeo (topic). Also Wikidata Q95001744

History

2026-11-02: add by m2/dev

Examples 6F9C9QSAX6

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

Mentions

wikipedia: Wikipedia Initial algebra#RWTN, Examples (example)

History

2026-11-02: add by m2/dev

An inequality of Grunsky 6F9E4HRY8D

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

Mentions

wikipedia: Wikipedia Grunsky's theorem#1BU0, An inequality of Grunsky (statement)

History

2026-11-02: add by m2/dev

promotion 6F9HE1XK6B

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

Mentions

wikidata: Wikidata Q215599, promotion (definition). Also ProofWiki Definition:Chess/Pawn/Promotion

History

2026-10-26: add by m2/dev

6F9HZC03BY 6F9HZC03BY

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

Mentions

arxiv: arXiv 2610.03373#C7AZ (definition). In ZA7DBT3NWR/e1, definition 3.1

History

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

Truncated normal distribution 6F9R2KX1QS

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

Mentions

wikipedia: Wikipedia List of statistics articles#2VYG, Truncated normal distribution (definition)

History

2026-11-02: add by m2/dev

Curvilinear coordinates 6F9V102F9H

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

Mentions

wikipedia: Wikipedia List of multivariable calculus topics#WRTF, Curvilinear coordinates (definition)

History

2026-11-02: add by m2/dev

Simon Stevin 6FA5PJ74B5

URI	`m2://inv/6FA5PJ74B5`
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 Q23696, Simon Stevin (unknown). Also ProofWiki Mathematician:Simon_Stevin
wikipedia: Wikipedia Simon Stevin, Simon Stevin (topic). Also Wikidata Q23696

History

2026-10-26: add by m2/dev

6FA5XR26WP 6FA5XR26WP

URI	`m2://inv/6FA5XR26WP`
Kind	example
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#WOTU (example)

History

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

Formulation 6FAB1GDM22

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

Mentions

wikipedia: Wikipedia Behrend's trace formula#Z663, Formulation (definition)

History

2026-11-02: add by m2/dev

Variants 6FBE2940VN

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

Mentions

wikipedia: Wikipedia Farkas' lemma#GVSE, Variants (statement)

History

2026-11-02: add by m2/dev

6FBZMMXHYA 6FBZMMXHYA

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

Mentions

arxiv: arXiv 2610.16157#MPRF (statement). In GV251MW5RP/e1, proposition 5.1

History

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

Examples 6FC46S9933

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

Mentions

wikipedia: Wikipedia Parallel transport#D2HF, Examples (example)

History

2026-11-02: add by m2/dev

6FC4DMG14H 6FC4DMG14H

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

Mentions

open_logic: open_logic content/proof-theory/normalization/translations.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 59.4

History

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

6FCASAWJ3N 6FCASAWJ3N

URI	`m2://inv/6FCASAWJ3N`
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#D8S6 (statement). In 1QSCT53ZED/e1, corollary 7.3

History

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

Fundamental theorem of algebra 6FCF7QK9DF

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

Mentions

wikipedia: Wikipedia List of theorems called fundamental#KL2R, Fundamental theorem of algebra (statement)
wikipedia: Wikipedia List of mathematical proofs#PCZW, Fundamental theorem of algebra (statement)
wikipedia: Wikipedia List of complex analysis topics#HWM1, Fundamental theorem of algebra (statement)
wikipedia: Wikipedia List of polynomial topics#Q7LI, Fundamental theorem of algebra (statement)

History

2026-11-02: add by m2/dev

Łojasiewicz inequality 6FCVXS3EH7

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

Mentions

wikipedia: Wikipedia List of inequalities#4CF0, Łojasiewicz inequality (statement)

History

2026-11-02: add by m2/dev

Frances Ellen Baker 6FD69MBEX0

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

Mentions

wikipedia: Wikipedia Frances Ellen Baker, Frances Ellen Baker (topic). Also Wikidata Q102150200

History

2026-11-02: add by m2/dev

tomahawk 6FD9QNXR9S

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

Mentions

wikidata: Wikidata Q2440306, tomahawk (unknown). Also MathWorld Tomahawk
wikipedia: Wikipedia Tomahawk (geometry), Tomahawk (definition). Also Wikidata Q2440306

History

2026-10-26: add by m2/dev

Wolfgang M. Schmidt 6FDDA6E5AF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JQ17, Wolfgang M. Schmidt (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CQJR, Wolfgang M. Schmidt (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F2VX, Wolfgang M. Schmidt (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XGM4, Wolfgang M. Schmidt (unknown)

History

2026-11-02: add by m2/dev

6FDDS69FQN 6FDDS69FQN

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

Mentions

napkin: napkin tex/alg-NT/dedekind.tex#definition-1 (definition). In RZP28ERRZV, definition, section 10.2

History

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

6FDSSH2RR1 6FDSSH2RR1

URI	`m2://inv/6FDSSH2RR1`
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.03437#LKTN (statement). In EDTV1EDV7M/e1, theorem 3.5

History

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

B. S. Mitjagin 6FDZVMT2TN

URI	`m2://inv/6FDZVMT2TN`
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#XJLO, B. S. Mitjagin (topic)

History

2026-11-02: add by m2/dev

6FE323XMCR 6FE323XMCR

URI	`m2://inv/6FE323XMCR`
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.05506#H6R8 (statement). In FT53PMB1TE/e1, lemma 4.3.4

History

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

6FE6VWHVFM 6FE6VWHVFM

URI	`m2://inv/6FE6VWHVFM`
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 2610.06755#DFB6 (definition). In DKEX05SEXS/e1, definition 2.1

History

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

Mostow–Palais theorem 6FEAHAQ6ZY

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

Mentions

wikipedia: Wikipedia Mostow–Palais theorem, Mostow–Palais theorem (statement). Also Wikidata Q6917002

History

2026-11-02: add by m2/dev

6FEBQE2968 6FEBQE2968

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

Mentions

arxiv: arXiv 2610.18847#3KJL (statement). In DZ12XTTJSM/e1, proposition 5.6

History

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

6FECNJEJM9 6FECNJEJM9

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

Mentions

arxiv: arXiv 2610.03661#JO8H (statement). In ESDKTYDHC8/e1, theorem 15

History

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

MU puzzle 6FEH0K9A09

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

Mentions

wikipedia: Wikipedia List of impossible puzzles#C6O0, MU puzzle (unknown)

History

2026-11-02: add by m2/dev

6FES466FQR 6FES466FQR

URI	`m2://inv/6FES466FQR`
Kind	statement
Layer	research
MSC	05-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.33584#OQON (statement). In 3HFBAWQCA1/e1, theorem 1.6

History

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

Holomorphic functions are analytic 6FEXMFZ457

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#MPHR, Holomorphic functions are analytic (definition)
wikipedia: Wikipedia List of complex analysis topics#1OTU, Holomorphic functions are analytic (definition)

History

2026-11-02: add by m2/dev

Hypothesis testing 6FF7GKQM8S

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

Mentions

wikipedia: Wikipedia Spurious relationship#MIXL, Hypothesis testing (statement)

History

2026-11-02: add by m2/dev

Monotone convergence theorem for real numbers 6FF8Z5D2D5

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

Mentions

wikipedia: Wikipedia Sequence#8V49, Monotone convergence theorem for real numbers (unknown)

History

2026-11-02: add by m2/dev

Brauer character 6FF9J0B78C

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

Mentions

wikipedia: Wikipedia Modular representation theory#R5S9, Brauer character (unknown)

History

2026-11-02: add by m2/dev

6FFCC5J5JF 6FFCC5J5JF

URI	`m2://inv/6FFCC5J5JF`
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.15504#KK8G (statement). In AZ8SEW6HAV/e1, corollary 1

History

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

6FFDM4F4XG 6FFDM4F4XG

URI	`m2://inv/6FFDM4F4XG`
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.10413#VJET (statement). In 68MTQ59QTQ/e1, lemma 3.7

History

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

Kida 6FFGA6ZJ60

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

Mentions

arxiv: arXiv 2610.12054#WM1R, Kida (statement). In 1A01NFHBGA/e1, proposition 3.12

History

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

Generalizations 6FFQHGDYF7

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

Mentions

wikipedia: Wikipedia Mercer's theorem#XBDT, Generalizations (statement)

History

2026-11-02: add by m2/dev

Pisier–Ringrose inequality 6FFQYGKB9Z

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

Mentions

wikipedia: Wikipedia Pisier–Ringrose inequality, Pisier–Ringrose inequality (statement). Also Wikidata Q25303703

History

2026-11-02: add by m2/dev

Relative degree 6FFY86S4D2

URI	`m2://inv/6FFY86S4D2`
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.09634#X8BZ, Relative degree (definition). In FH42QK814C/e1, definition 3

History

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

Myers–Steenrod theorem 6FG3AP1738

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

Mentions

wikipedia: Wikipedia Myers–Steenrod theorem, Myers–Steenrod theorem (statement). Also Wikidata Q6947443

History

2026-11-02: add by m2/dev

The Algorithm Auction 6FG6HD0H1V

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

Mentions

wikipedia: Wikipedia The Algorithm Auction, The Algorithm Auction (definition). Also Wikidata Q22080707

History

2026-11-02: add by m2/dev

6FGGJSGKVB 6FGGJSGKVB

URI	`m2://inv/6FGGJSGKVB`
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.00386#EYWH (statement). In 7EDY2549HF/e1, corollary 3

History

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

Applications 6FGMFQG4CY

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

Mentions

wikipedia: Wikipedia Bayesian inference#AT0H, Applications (example)

History

2026-11-02: add by m2/dev

6FH1J5CHWN 6FH1J5CHWN

URI	`m2://inv/6FH1J5CHWN`
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.27823#9ACO (statement)

History

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

6FH3C7MDNZ 6FH3C7MDNZ

URI	`m2://inv/6FH3C7MDNZ`
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.08912#BO70 (statement). In DK5QY64NGH/e1, lemma 5.10

History

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

Cuban prime 6FH6Q4B9NZ

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

Mentions

wikipedia: Wikipedia List of recreational number theory topics#4599, Cuban prime (object)

History

2026-11-02: add by m2/dev

Polynomial chaos 6FH782AHCC

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

Mentions

wikipedia: Wikipedia Polynomial chaos, Polynomial chaos (definition). Also Wikidata Q17147719

History

2026-11-02: add by m2/dev

6FH8AJCQ21 6FH8AJCQ21

URI	`m2://inv/6FH8AJCQ21`
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 2105.13129#0JTA (example). In J5Z1JD5VKR/e1, example 2.5

History

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

Quartic coercivity 6FH8R8C9C8

URI	`m2://inv/6FH8R8C9C8`
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.00453#TPWG, Quartic coercivity (statement). In ESPJMBH2R2/e1, lemma 4.1

History

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

The (classical) trace test 6FHA9PRKBP

URI	`m2://inv/6FHA9PRKBP`
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.23238#TLRT, The (classical) trace test (statement)

History

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

Divisibility rule 6FHQSZ6FW5

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

Mentions

wikipedia: Wikipedia Divisibility rule, Divisibility rule (definition). Also Wikidata Q858520

History

2026-11-02: add by m2/dev

Projection Jacobian 6FHSP9VV4S

URI	`m2://inv/6FHSP9VV4S`
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.05204#GM5D, Projection Jacobian (statement). In ET0TQ8YF7Z/e1, lemma 6.5

History

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

6FHXH1W3AH 6FHXH1W3AH

URI	`m2://inv/6FHXH1W3AH`
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.08935#UV38 (statement). In G02N9D40B9/e1, theorem E

History

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

6FJ5KTF884 6FJ5KTF884

URI	`m2://inv/6FJ5KTF884`
Kind	definition
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#3BS1 (definition). In BDN507RN7J/e1, definition 3.7.2

History

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

Sharp uniform bounds 6FJ6SR08QR

URI	`m2://inv/6FJ6SR08QR`
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#Y3UU, Sharp uniform bounds (statement). In XDTM624YPE/e1, corollary 6.5

History

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

Penka Georgieva 6FJCMN41M4

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

Mentions

wikipedia: Wikipedia Penka Georgieva, Penka Georgieva (topic). Also Wikidata Q59750530

History

2026-11-02: add by m2/dev

6FJCX10Q7K 6FJCX10Q7K

URI	`m2://inv/6FJCX10Q7K`
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.23238#GNCP (statement)

History

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

Definition 6FJKTTDAGS

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

Mentions

wikipedia: Wikipedia Harris chain#11BU, Definition (definition)

History

2026-11-02: add by m2/dev

Siegel mean value theorem over a number field 6FJMPJSSMR

URI	`m2://inv/6FJMPJSSMR`
Kind	statement
Layer	research
MSC	11-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.12619#DJIL, Siegel mean value theorem over a number field (statement). In 7F8KACT5AJ/e1, theorem B.1

History

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

Automatic label placement 6FJSDENJAE

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#ZSPI, Automatic label placement (unknown)

History

2026-11-02: add by m2/dev

Examples 6FK0651FQD

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

Mentions

wikipedia: Wikipedia Character group#04QC, Examples (example)

History

2026-11-02: add by m2/dev

6FK41ZBD6A 6FK41ZBD6A

URI	`m2://inv/6FK41ZBD6A`
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.36622#RE2U (statement). In 9704QPRPR6/e1, proposition 4.10

History

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

weakly 6FK7D84EE3

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

Mentions

wikipedia: Wikipedia Glossary of set theory#P804, weakly (definition)

History

2026-11-02: add by m2/dev

\textbf{Schauder and Riesz basis 6FKH6BWVSF

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

Mentions

arxiv: arXiv 2610.14266#E2G8, \textbf{Schauder and Riesz basis (definition). In 7R33E8515R/e1, definition 1.1

History

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

Examples 6FKH9V59VP

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

Mentions

wikipedia: Wikipedia Brauner space#E2EI, Examples (example)

History

2026-11-02: add by m2/dev

6FKVC544EY 6FKVC544EY

URI	`m2://inv/6FKVC544EY`
Kind	definition
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.10365#T97M (definition). In PRVQPSBVHK/e1, definition 7

History

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

Examples 6FKVGAKY3D

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

Mentions

wikipedia: Wikipedia Direct sum of topological groups#Y0I4, Examples (example)

History

2026-11-02: add by m2/dev

6FM354D6GA 6FM354D6GA

URI	`m2://inv/6FM354D6GA`
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#GB2C (statement). In 2QF1YG9DD0/e1, proposition 3.13

History

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

6FMAG59V7H 6FMAG59V7H

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

Mentions

arxiv: arXiv 2610.05299#1IA7 (statement). In 68AE571S4P/e1, lemma 3.4

History

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

Examples 6FMC7BAYBF

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

Mentions

wikipedia: Wikipedia Friedrichs extension#OJN4, Examples (example)

History

2026-11-02: add by m2/dev

6FMNY33XKX 6FMNY33XKX

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

Mentions

levin_dmoi: levin_dmoi ptx/ch_graphtheory.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 5

History

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

Jiutai 6FMPC7SYHK

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

Mentions

wikipedia: Wikipedia List of places with numeric names#TX4W, Jiutai (unknown)

History

2026-11-02: add by m2/dev

C30 fullerene 6FMRKV3XTA

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

Mentions

wikipedia: Wikipedia Errera graph#YCE6, C30 fullerene (unknown)

History

2026-11-02: add by m2/dev

Null hypothesis 6FMYNVF1QA

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

Mentions

wikipedia: Wikipedia Type I and type II errors#YUHU, Null hypothesis (statement)

History

2026-11-02: add by m2/dev

Strong antichain 6FMYWSQ45F

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

Mentions

wikipedia: Wikipedia Strong antichain, Strong antichain (definition). Also Wikidata Q17111426

History

2026-11-02: add by m2/dev

747 (number) 6FN2YSPCK2

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

Mentions

wikipedia: Wikipedia 700 (number)#400V, 747 (number) (unknown)

History

2026-11-02: add by m2/dev

radical 6FNAQ6ZJ34

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#DN0E, radical (definition)

History

2026-11-02: add by m2/dev

6FNBP424R5 6FNBP424R5

URI	`m2://inv/6FNBP424R5`
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.14741#MG30 (statement). In RK1VPWWX9E/e1, lemma 4.16

History

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

6FNFBFDGPF 6FNFBFDGPF

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

Mentions

arxiv: arXiv 2504.09928#054B (statement). In WJR5HD937C/e1, theorem 1

History

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

Hyperbola 6FNHWZ1336

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

Mentions

wikipedia: Wikipedia List of curves#PZ6Y, Hyperbola (definition)

History

2026-11-02: add by m2/dev

cubo- 6FNK7RKF19

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#DJ25, cubo- (definition)

History

2026-11-02: add by m2/dev

Douglas Greenwald 6FNPNGE9RK

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#BY2E, Douglas Greenwald (unknown)

History

2026-11-02: add by m2/dev

6FNVWYGMZM 6FNVWYGMZM

URI	`m2://inv/6FNVWYGMZM`
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 2207.12181#PW88 (definition). In FSD8NE3XSR/e1, definition 4.1

History

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

Properties 6FNWC8AHNE

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

Mentions

wikipedia: Wikipedia Closure with a twist#TQ8P, Properties (statement)

History

2026-11-02: add by m2/dev

6FNXQQ2S4J 6FNXQQ2S4J

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

Mentions

napkin: napkin tex/homology/cup-product.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 52.4

History

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

6FP2ZKM0HR 6FP2ZKM0HR

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

Mentions

arxiv: arXiv 2609.37815#RDJR (definition). In SVJYA0171G/e1, definition 6.2

History

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

A numerical-range convergence domain 6FP4HPPKV4

URI	`m2://inv/6FP4HPPKV4`
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#KHTI, A numerical-range convergence domain (statement)

History

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

6FP75KBX5Q 6FP75KBX5Q

URI	`m2://inv/6FP75KBX5Q`
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.02798#ISIW (statement). In 446QW3DHTN/e1, lemma E.2

History

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

Bernd Siebert 6FPCBR43DS

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

Mentions

wikipedia: Wikipedia Bernd Siebert, Bernd Siebert (topic). Also Wikidata Q15905650

History

2026-11-02: add by m2/dev

6FPCEPWQ50 6FPCEPWQ50

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

Mentions

arxiv: arXiv 2610.12054#UKAI (statement). In 1A01NFHBGA/e1, corollary 2

History

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

Antikythera mechanism 6FPGH1043T

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

Mentions

wikipedia: Wikipedia Antikythera mechanism, Antikythera mechanism (definition). Also Wikidata Q182324

History

2026-11-02: add by m2/dev

Definition 6FPJ3Y6JE8

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

Mentions

wikipedia: Wikipedia Conic optimization#TXK6, Definition (definition)

History

2026-11-02: add by m2/dev

Thermodynamic state 6FPVZ3677T

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

Mentions

wikipedia: Wikipedia Thermodynamic state, Thermodynamic state (definition). Also Wikidata Q230875

History

2026-11-02: add by m2/dev

globular set 6FPXWA585W

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

Mentions

wikidata: Wikidata Q48970634, globular set (unknown). Also nLab globular set
wikipedia: Wikipedia Globular set, Globular set (definition). Also Wikidata Q48970634

History

2026-10-26: add by m2/dev

Examples 6FPYW9ZZ8A

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

Mentions

wikipedia: Wikipedia Gallai–Hasse–Roy–Vitaver theorem#XSUV, Examples (example)

History

2026-11-02: add by m2/dev

Morley's trisector theorem 6FQEGQPNDM

URI	`m2://inv/6FQEGQPNDM`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	open
Node	Morley's trisector theorem ZT97FC11VA

Mentions

mathlib_1000: mathlib_1000 Q913447, Morley's trisector theorem (statement). Also Wikidata Q913447
thousand_plus: thousand_plus Q913447, Morley's trisector theorem (statement). Also Wikidata Q913447, Wikipedia Morley's trisector theorem
wikidata: Wikidata Q913447, Morley's trisector theorem (statement). Also MathWorld MorleysTheorem
wikipedia: Wikipedia Morley's trisector theorem, Morley's trisector theorem (statement). Also Wikidata Q913447

History

2026-10-26: add by m2/dev

6FQPE3TNZR 6FQPE3TNZR

URI	`m2://inv/6FQPE3TNZR`
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.20521#JB8G (statement)

History

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

vertex coloring 6FQQ8E5GCF

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

Mentions

levin_dmoi: levin_dmoi index/5.4/vertex-coloring, vertex coloring (concept). In Y91XFCEVHQ, index, section 5.4

History

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

6FR77KYKFY 6FR77KYKFY

URI	`m2://inv/6FR77KYKFY`
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.36181#APL2 (statement). In 1KSE33PVS6/e1, proposition 63

History

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

A free thin-shell estimate 6FRFXPAMH9

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

Mentions

arxiv: arXiv 2610.22109#JB5S, A free thin-shell estimate (statement). In MZ60NP20BH/e1, corollary 5.13

History

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

Definitions 6FRH0ER6F0

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

Mentions

wikipedia: Wikipedia Piston motion equations#F4KC, Definitions (definition)

History

2026-11-02: add by m2/dev

6FRXJEGQWK 6FRXJEGQWK

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#proof-5 (proof). In E59CDZA4DP, proof, section 2.1.4

History

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

Method 6FRXRE9W8T

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

Mentions

wikipedia: Wikipedia Ranklet#LC0I, Method (definition)

History

2026-11-02: add by m2/dev

Eric-Jan Wagenmakers 6FS0MWXQS8

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

Mentions

wikipedia: Wikipedia Eric-Jan Wagenmakers, Eric-Jan Wagenmakers (topic). Also Wikidata Q54269438

History

2026-11-02: add by m2/dev

Projective polyhedron 6FS15EAX9P

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

Mentions

wikipedia: Wikipedia Projective polyhedron, Projective polyhedron (object). Also Wikidata Q7249474

History

2026-11-02: add by m2/dev

Formal definition 6FS1KWZJFZ

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

Mentions

wikipedia: Wikipedia Sigma-ring#97RI, Formal definition (definition)

History

2026-11-02: add by m2/dev

6FS96B4AKS 6FS96B4AKS

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#theorem-3 (statement). In P1C114YBXG, theorem, section K

History

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

Chiral octahedral symmetry 6FS97W1GWM

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

Mentions

wikipedia: Wikipedia Octahedral symmetry#8SZP, Chiral octahedral symmetry (unknown)

History

2026-11-02: add by m2/dev

6FSDKCK4WE 6FSDKCK4WE

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

Mentions

arxiv: arXiv 2609.32916#DQRM (statement). In G1RP4JY5PE/e1, proposition 1.3.2

History

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

6FSHWGAZPR 6FSHWGAZPR

URI	`m2://inv/6FSHWGAZPR`
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 2610.16631#FLYB (definition). In T735PRQNJB/e1, definition 2.2

History

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

6FT3DP94G6 6FT3DP94G6

URI	`m2://inv/6FT3DP94G6`
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 2310.09889#FLVO (statement). In BMNZKPSC48/e1, lemma 2

History

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

partial denominator 6FT44J4WWN

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

Mentions

wikidata: Wikidata Q141498999, partial denominator (unknown). Also MathWorld PartialDenominator, MathWorld PartialQuotient

History

2026-10-26: add by m2/dev

Christoffer Dybvad 6FT4S4AFR1

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

Mentions

wikipedia: Wikipedia Christoffer Dybvad, Christoffer Dybvad (topic). Also Wikidata Q5111653

History

2026-11-02: add by m2/dev

Abraham Sinkov 6FT4T8DEH4

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

Mentions

wikipedia: Wikipedia Abraham Sinkov, Abraham Sinkov (topic). Also Wikidata Q330622

History

2026-11-02: add by m2/dev

6FT7457RGN 6FT7457RGN

URI	`m2://inv/6FT7457RGN`
Kind	conjecture
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.11493#L6QA (conjecture). In H9XTBH7NVY/e1, conjecture 2

History

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

Anders Hald 6FTCNER9JC

URI	`m2://inv/6FTCNER9JC`
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#MJZ8, Anders Hald (topic)

History

2026-11-02: add by m2/dev

copula 6FTGVRM1SM

URI	`m2://inv/6FTGVRM1SM`
Kind	statement
Layer	textbook
MSC	62-XX
Sources	4
Outcome	open
Node	Copula CAMJRBZANK

Mentions

mathlib_1000: mathlib_1000 Q1131601, Sklar's theorem (statement). Also Wikidata Q1131601
thousand_plus: thousand_plus Q1131601, Sklar's theorem (statement). Also Wikidata Q1131601, Wikipedia Sklar's theorem
wikidata: Wikidata Q1131601, copula (unknown). Also MathWorld Copula
wikipedia: Wikipedia Copula (statistics), Copula (definition). Also Wikidata Q1131601

History

2026-10-26: add by m2/dev

6FTR8Q8XPQ 6FTR8Q8XPQ

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

Mentions

arxiv: arXiv 2610.22073#BO8C (statement). In MVWSXXCXB7/e1, lemma 2.4

History

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

6FTSC3X74J 6FTSC3X74J

URI	`m2://inv/6FTSC3X74J`
Kind	definition
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#98GY (definition). In 80S2NP05HJ/e1, definition 3.17

History

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

D-Day carrier pigeon cipher 6FTSS2SDW9

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

Mentions

wikipedia: Wikipedia National Pigeon Service#4SWM, D-Day carrier pigeon cipher (unknown)

History

2026-11-02: add by m2/dev

Flatland 6FTVCMMBBZ

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

Mentions

wikipedia: Wikipedia Flatland (2007 Johnson and Travis film), Flatland (definition). Also Wikidata Q841643

History

2026-11-02: add by m2/dev

6FTXXNA5QV 6FTXXNA5QV

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

Mentions

arxiv: arXiv 2610.06699#PKD6 (definition). In GXHKRV5BPY/e1, definition 3.3

History

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

Degenerate stratum in arbitrary fixed dimension 6FTYMB9AMS

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

Mentions

arxiv: arXiv 2610.04099#BG6I, Degenerate stratum in arbitrary fixed dimension (statement). In QPJ6FWG5HD/e1, lemma 2.113

History

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

6FTZ5XK4W6 6FTZ5XK4W6

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

Mentions

arxiv: arXiv 2208.13855#4YRY (statement). In GJKRVZ5YN5/e1, fact 17

History

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

∥ 6FV2SK8KJY

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#ZZMG, ∥ (definition)

History

2026-11-02: add by m2/dev

Clark Glymour 6FV4C0YTYY

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

Mentions

wikipedia: Wikipedia Clark Glymour, Clark Glymour (topic). Also Wikidata Q5127247

History

2026-11-02: add by m2/dev

Summit 6FV520FR2B

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#D4C1, Summit (unknown)

History

2026-11-02: add by m2/dev

6FV6HXEJHQ 6FV6HXEJHQ

URI	`m2://inv/6FV6HXEJHQ`
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 2609.35027#0K5X (definition). In MEA7NHMQKB/e1, definition 2.1

History

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

universal proposition 6FVBKY121R

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

Mentions

wikipedia: Wikipedia Glossary of logic#KJH1, universal proposition (definition)

History

2026-11-02: add by m2/dev

6FVCRE0RBN 6FVCRE0RBN

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

Mentions

arxiv: arXiv 2508.02432#F5YS (example). In B366ACYB37/e1, example 2.3

History

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

Alexander's theorem 6FVMSPBF1A

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

Mentions

wikipedia: Wikipedia List of knot theory topics#GBYE, Alexander's theorem (statement)

History

2026-11-02: add by m2/dev

Explicit points with finite susceptibility 6FVYB6NM0N

URI	`m2://inv/6FVYB6NM0N`
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.22301#DBVK, Explicit points with finite susceptibility (statement)

History

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

6FW1RC5FHJ 6FW1RC5FHJ

URI	`m2://inv/6FW1RC5FHJ`
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.19300#BBT8 (statement). In S6S4RD5VXJ/e1, theorem 2

History

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

6FW3NK4YVE 6FW3NK4YVE

URI	`m2://inv/6FW3NK4YVE`
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.19360#Q29X (statement). In MFCW5CY96C/e1, lemma 12

History

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

6FW7N3D0X2 6FW7N3D0X2

URI	`m2://inv/6FW7N3D0X2`
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.07370#1OSF (statement). In Q94QXG67CK/e1, lemma VII.1

History

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

6FWA43VP26 6FWA43VP26

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/normal-modal-logics.tex#ex-1 (example). In PKGMM3P5QY, ex, section 54.5

History

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

Chebfun 6FWKVB0H9M

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

Mentions

wikipedia: Wikipedia Chebfun, Chebfun (definition). Also Wikidata Q5088978

History

2026-11-02: add by m2/dev

Main theorem 6FWSA4R9C9

URI	`m2://inv/6FWSA4R9C9`
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 2610.13964#SH9Z, Main theorem (statement). In 7Q47472TKR/e1, theorem 1.1

History

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

6FWSXF2K82 6FWSXF2K82

URI	`m2://inv/6FWSXF2K82`
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#L26R (statement). In J99PFFJXPE/e1, proposition 3.11

History

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

6FWT9FQC86 6FWT9FQC86

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

Mentions

hott_book: hott_book reals.tex#proof-13 (proof). In N54F33XE07, proof, section B.3.2

History

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

6FWTVTX7F1 6FWTVTX7F1

URI	`m2://inv/6FWTVTX7F1`
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 1606.05058#H8LC (statement). In V6392C0ANF/e1, theorem A.1

History

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

6FWW377AAQ 6FWW377AAQ

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

Mentions

arxiv: arXiv 2609.25168#BGKZ (statement)

History

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

Jules Andrade 6FWW82TKMD

URI	`m2://inv/6FWW82TKMD`
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#03Y8, Jules Andrade (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#26B3, Jules Andrade (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BZWA, Jules Andrade (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XLO8, Jules Andrade (unknown)

History

2026-11-02: add by m2/dev

Fannes–Audenaert inequality 6FX0Q801GH

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

Mentions

wikipedia: Wikipedia Fannes–Audenaert inequality, Fannes–Audenaert inequality (statement). Also Wikidata Q5433917

History

2026-11-02: add by m2/dev

Example 6FX6WXSABV

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

Mentions

wikipedia: Wikipedia Arithmetico-geometric sequence#1ZX3, Example (example)

History

2026-11-02: add by m2/dev

correlation 6FX6XY2MVW

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#7T0I, correlation (definition)

History

2026-11-02: add by m2/dev

Registered Replication Reports 6FXBSM21ZM

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

Mentions

wikipedia: Wikipedia Preregistration (science)#68KQ, Registered Replication Reports (unknown)

History

2026-11-02: add by m2/dev

6FXNN4S8CK 6FXNN4S8CK

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

Mentions

arxiv: arXiv 2609.38793#Q2U3 (statement). In T2N92YSY5R/e1, proposition 4.4

History

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

Generalized normal distribution 6FXPXEB3BW

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

Mentions

wikipedia: Wikipedia List of probability distributions#8CYJ, Generalized normal distribution (definition)

History

2026-11-02: add by m2/dev

Geometric Convergence Forces Exponential Instability 6FXRRE9PZC

URI	`m2://inv/6FXRRE9PZC`
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.13222#CC6G, Geometric Convergence Forces Exponential Instability (statement). In Z6WA2R0J50/e1, proposition 2.10

History

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

truth value 6FXV7JWR6J

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

Mentions

wikidata: Wikidata Q185521, truth value (unknown). Also nLab truth value
wikipedia: Wikipedia Truth value, Truth value (definition). Also Wikidata Q185521

History

2026-10-26: add by m2/dev

Fixed trace and predictor, arbitrarily slow escape 6FY56SG3S7

URI	`m2://inv/6FY56SG3S7`
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 2610.09356#KCFF, Fixed trace and predictor, arbitrarily slow escape (example). In 3VVGPXWH6R/e1, example C.9

History

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

6FYFYWMCK4 6FYFYWMCK4

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

Mentions

arxiv: arXiv 2610.01596#D6AT (statement). In 40VTEP7WH8/e1, lemma 5.1

History

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

6FYP2FKEZB 6FYP2FKEZB

URI	`m2://inv/6FYP2FKEZB`
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.24747#OXZ9 (statement)

History

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

6FYQZW4ZFH 6FYQZW4ZFH

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#example-3 (example). In RZP28ERRZV, example, section 62.2

History

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

6FYTSW10T8 6FYTSW10T8

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

Mentions

arxiv: arXiv 2610.17482#2V9J (statement). In BQQK9JDJ9F/e1, corollary 3.4

History

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

6FYVQP8FM0 6FYVQP8FM0

URI	`m2://inv/6FYVQP8FM0`
Kind	example
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.07963#EBS1 (example). In HAGJKEZ1CK/e1, example 7.2

History

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

6FYZ914AJZ 6FYZ914AJZ

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

Mentions

arxiv: arXiv 2610.00116#ULIC (statement). In QBNPEXJEFV/e1, proposition 4.2

History

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

6FZ1WMWCP6 6FZ1WMWCP6

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/provability-properties.tex#prop:derivabilityfacts (statement). In PKGMM3P5QY, prop, section 50.11

History

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

6FZC0HHG1M 6FZC0HHG1M

URI	`m2://inv/6FZC0HHG1M`
Kind	definition
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#QE20 (definition). In DDA62XQTWW/e1, definition 2.1

History

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

6FZH09P07H 6FZH09P07H

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

Mentions

arxiv: arXiv 2609.22708#SNP8 (statement)

History

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

Nullform 6FZRKSYARP

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

Mentions

wikipedia: Wikipedia Nullform, Nullform (definition). Also Wikidata Q7068994

History

2026-11-02: add by m2/dev

First law 6FZRS4P7PP

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

Mentions

wikipedia: Wikipedia Laws of thermodynamics#NTDO, First law (statement)

History

2026-11-02: add by m2/dev

Exact quartic degeneracy at $A_{18}$ 6FZTJRN62T

URI	`m2://inv/6FZTJRN62T`
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.25120#SXDK, Exact quartic degeneracy at $A_{18}$ (statement)

History

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

Graphs with few cliques 6FZV1WYQZT

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

Mentions

wikipedia: Wikipedia Graphs with few cliques, Graphs with few cliques (definition). Also Wikidata Q123347399

History

2026-11-02: add by m2/dev

6FZYG5BD6K 6FZYG5BD6K

URI	`m2://inv/6FZYG5BD6K`
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.03688#7LEA (statement). In HMWJQY9NAP/e1, lemma 2.2

History

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