Inventory rows A2

An arbitrary reference parameter A201GX63FY

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

Mentions

arxiv: arXiv 2609.22485#A504, An arbitrary reference parameter (statement)

History

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

Properties A201QZBK4A

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

Mentions

wikipedia: Wikipedia Vietoris–Rips filtration#UF7H, Properties (statement)

History

2026-11-02: add by m2/dev

Special cases A2058H5B9X

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

Mentions

wikipedia: Wikipedia Beta (finance)#55PD, Special cases (statement)

History

2026-11-02: add by m2/dev

small A206G7DXG4

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

Mentions

wikipedia: Wikipedia Glossary of category theory#0KLD, small (definition)

History

2026-11-02: add by m2/dev

Uniform integrability with fixed marginals A206P0565X

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

Mentions

arxiv: arXiv 2609.38228#9HTV, Uniform integrability with fixed marginals (statement). In 9YAE8FNQST/e1, lemma 11.24

History

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

Exact Boolean-history solution A20EG4THVT

URI	`m2://inv/A20EG4THVT`
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.14081#EJVY, Exact Boolean-history solution (statement). In DCCKKQ7Y21/e1, theorem V.2

History

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

Embedding equal matrix blocks A20M7BM6TS

URI	`m2://inv/A20M7BM6TS`
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.40054#03CR, Embedding equal matrix blocks (statement). In CA4C9PFM1E/e1, lemma 4.1.1

History

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

Meertens number A20QZ7ZHD3

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

Mentions

wikipedia: Wikipedia Meertens number, Meertens number (definition). Also Wikidata Q6807701

History

2026-11-02: add by m2/dev

Spectral stability of truncated pseudo-inverse A20ZGZ2NR1

URI	`m2://inv/A20ZGZ2NR1`
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.20944#ACEK, Spectral stability of truncated pseudo-inverse (statement). In DRRKZR6CQC/e1, lemma A.13

History

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

John Robert Kline A21C9X6AB1

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

Mentions

wikipedia: Wikipedia John Robert Kline, John Robert Kline (topic). Also Wikidata Q10307889

History

2026-11-02: add by m2/dev

A21D66EKEY A21D66EKEY

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

Mentions

arxiv: arXiv 2610.16731#D38O (definition). In D68KBZQ4Q6/e1, definition 2.1

History

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

A21DJ3PE96 A21DJ3PE96

URI	`m2://inv/A21DJ3PE96`
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.07812#EQK7 (statement). In PVX8WBBXW5/e1, theorem 1.1

History

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

Burkard Polster A21FCJSKPW

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

Mentions

wikipedia: Wikipedia Burkard Polster, Burkard Polster (topic). Also Wikidata Q47493094

History

2026-11-02: add by m2/dev

Finite-state continuity of normalized laws A21G9FZ4TZ

URI	`m2://inv/A21G9FZ4TZ`
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.12456#238B, Finite-state continuity of normalized laws (statement). In 5XPM4E03W6/e1, lemma 4.3

History

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

Good Justification A21G9TXGRG

URI	`m2://inv/A21G9TXGRG`
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 2609.26337#5O78, Good Justification (definition)

History

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

Generalizing Ampère's circuital law A21JRDCZG0

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

Mentions

wikipedia: Wikipedia Displacement current density#YYGK, Generalizing Ampère's circuital law (statement)

History

2026-11-02: add by m2/dev

Countably generated space A21M9XH3W6

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

Mentions

wikipedia: Wikipedia Countably generated space, Countably generated space (definition). Also Wikidata Q4474437

History

2026-11-02: add by m2/dev

Finite Gaussian geometry A21P9JX3WQ

URI	`m2://inv/A21P9JX3WQ`
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.32695#EF5M, Finite Gaussian geometry (statement). In VQSF2E35BX/e1, lemma A.2

History

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

Gertrude Mary Cox A21QDJ1V7T

URI	`m2://inv/A21QDJ1V7T`
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#D8VX, Gertrude Mary Cox (topic)

History

2026-11-02: add by m2/dev

Population of Andorra A21Y7573G5

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

Mentions

wikipedia: Wikipedia Demographics of Andorra#ZUE7, Population of Andorra (unknown)

History

2026-11-02: add by m2/dev

A2202M4END A2202M4END

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

Mentions

arxiv: arXiv 2609.30637#4PXN (statement). In 6G1KBA0SXV/e1, lemma 3.14

History

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

Statement A2218M7YVY

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

Mentions

wikipedia: Wikipedia Amitsur–Levitzki theorem#L8PE, Statement (statement)

History

2026-11-02: add by m2/dev

A222DNGB17 A222DNGB17

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 38.9

History

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

Round-robin test A226D513FY

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

Mentions

wikipedia: Wikipedia Round-robin test, Round-robin test (definition). Also Wikidata Q14944024

History

2026-11-02: add by m2/dev

A22A33TXMR A22A33TXMR

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

Mentions

arxiv: arXiv 2610.10233#RCIC (statement). In QR9WE79ERQ/e1, lemma C.6

History

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

A22DFN3EVV A22DFN3EVV

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

Mentions

arxiv: arXiv 2610.19088#1Q7I (statement). In 90QTB4CC31/e1, corollary 3.32

History

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

Mittenpunkt A22F95M7ZH

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

Mentions

wikidata: Wikidata Q1425620, Mittenpunkt (unknown). Also MathWorld Mittenpunkt
wikipedia: Wikipedia Mittenpunkt, Mittenpunkt (definition). Also Wikidata Q1425620

History

2026-10-26: add by m2/dev

Gilbert–Pollak conjecture A22PQ2VYDG

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#VGP4, Gilbert–Pollak conjecture (conjecture)

History

2026-11-02: add by m2/dev

Jacob's ladder surface A22RE24DRA

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

Mentions

wikipedia: Wikipedia List of surfaces#906G, Jacob's ladder surface (definition)

History

2026-11-02: add by m2/dev

A22TZVCK8Q A22TZVCK8Q

URI	`m2://inv/A22TZVCK8Q`
Kind	statement
Layer	research
MSC	16-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.34193#DHZN (statement). In 9XMZTTSF5E/e1, proposition 1.5

History

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

A22VY8979V A22VY8979V

URI	`m2://inv/A22VY8979V`
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.24043#GILF (statement)

History

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

heptagonal number A230ABSPS9

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

Mentions

wikidata: Wikidata Q967999, heptagonal number (unknown). Also MathWorld HeptagonalNumber, OEIS A000566
wikipedia: Wikipedia Heptagonal number, Heptagonal number (definition). Also Wikidata Q967999

History

2026-10-26: add by m2/dev

Jean Écalle A2358XEJ6R

URI	`m2://inv/A2358XEJ6R`
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#U5VU, Jean Écalle (topic)

History

2026-11-02: add by m2/dev

Logical biconditional A23BPV5X50

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

Mentions

wikipedia: Wikipedia Logical biconditional, Logical biconditional (definition). Also Wikidata Q204355

History

2026-11-02: add by m2/dev

Riemann–Roch theorem A23DM77S6M

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#BPNU, Riemann–Roch theorem (statement)
wikipedia: Wikipedia List of complex analysis topics#ZUMG, Riemann–Roch theorem (statement)
wikipedia: Wikipedia List of curves topics#CVR9, Riemann–Roch theorem (statement)

History

2026-11-02: add by m2/dev

Pavol Hell A23NH17CR0

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#FWKU, Pavol Hell (unknown)

History

2026-11-02: add by m2/dev

Gleb Wataghin A23R7R0K91

URI	`m2://inv/A23R7R0K91`
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#41QP, Gleb Wataghin (unknown)

History

2026-11-02: add by m2/dev

Use A23T9HCFX5

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

Mentions

wikipedia: Wikipedia Look-elsewhere effect#4697, Use (example)

History

2026-11-02: add by m2/dev

Special cases A23XAS0QTE

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

Mentions

wikipedia: Wikipedia Abel equation#SI41, Special cases (statement)

History

2026-11-02: add by m2/dev

A23YZ5T2H8 A23YZ5T2H8

URI	`m2://inv/A23YZ5T2H8`
Kind	statement
Layer	research
MSC	35-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.36204#VRDB (statement). In ZEHQDJTEDG/e1, proposition 1.7

History

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

Hanna Neumann A23Z786ZG3

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

Mentions

wikipedia: Wikipedia Hanna Neumann, Hanna Neumann (topic). Also Wikidata Q71633

History

2026-11-02: add by m2/dev

multiplicative character A23ZYTEA08

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

Mentions

wikidata: Wikidata Q17099189, multiplicative character (unknown). Also MathWorld MultiplicativeCharacter
wikipedia: Wikipedia Multiplicative character, Multiplicative character (definition). Also Wikidata Q17099189

History

2026-10-26: add by m2/dev

Value and advantage Lipschitzness in policy A241V617FX

URI	`m2://inv/A241V617FX`
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.04638#EEU6, Value and advantage Lipschitzness in policy (statement). In 3YM5F3YHD5/e1, lemma F.3

History

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

Properties A242B0NNG9

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

Mentions

wikipedia: Wikipedia Rewrite order#KZ46, Properties (statement)

History

2026-11-02: add by m2/dev

Jo Ellis-Monaghan A2431QNXRD

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

Mentions

wikipedia: Wikipedia Jo Ellis-Monaghan, Jo Ellis-Monaghan (topic). Also Wikidata Q45177610

History

2026-11-02: add by m2/dev

Applications A244SSFQRC

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

Mentions

wikipedia: Wikipedia Linear inequality#QIYN, Applications (example)

History

2026-11-02: add by m2/dev

Jakubowski--Skorokhod representation theorem A244WRNXNT

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

Mentions

arxiv: arXiv 2609.29747#VW7L, Jakubowski--Skorokhod representation theorem (statement)

History

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

Stability of a fixed point A2471147BK

URI	`m2://inv/A2471147BK`
Kind	definition
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.07064#WQPY, Stability of a fixed point (definition). In GPK6W5XQM3/e1, definition 9

History

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

Magnus Wenninger A2475FS039

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

Mentions

wikipedia: Wikipedia List of geometers#LP54, Magnus Wenninger (topic)

History

2026-11-02: add by m2/dev

A24QZXXQ7F A24QZXXQ7F

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

Mentions

arxiv: arXiv 2610.14060#0N03 (statement). In X47RYAZF8P/e1, corollary 3.5

History

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

Gambler's fallacy A24VRZJHZ2

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

Mentions

wikipedia: Wikipedia List of statistics articles#WBRK, Gambler's fallacy (definition)
wikipedia: Wikipedia List of probability topics#Z4L7, Gambler's fallacy (definition)

History

2026-11-02: add by m2/dev

Lafforgue's theorem A24W5E6J2C

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

Mentions

wikipedia: Wikipedia List of long mathematical proofs#GWMO, Lafforgue's theorem (statement)

History

2026-11-02: add by m2/dev

A24X0B4T5E A24X0B4T5E

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

Mentions

arxiv: arXiv 2610.06152#G9GW (statement). In HH35K7S17H/e1, lemma 4.4

History

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

Curvature normalization A2522DV9CN

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

Mentions

arxiv: arXiv 2609.20197#2BRJ, Curvature normalization (statement)

History

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

Abel equation of the first kind A254QYB89Z

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

Mentions

wikipedia: Wikipedia List of things named after Niels Henrik Abel#SL2N, Abel equation of the first kind (definition)

History

2026-11-02: add by m2/dev

Jovan Vavic A257VDB1RD

URI	`m2://inv/A257VDB1RD`
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#C74M, Jovan Vavic (unknown)

History

2026-11-02: add by m2/dev

Orthogonal Lie algebra A25CYZYF0C

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

Mentions

wikipedia: Wikipedia Orthogonal group#75MC, Orthogonal Lie algebra (unknown)

History

2026-11-02: add by m2/dev

A25D1F11W6 A25D1F11W6

URI	`m2://inv/A25D1F11W6`
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.14652#7PXW (statement). In A50CHJ6Q4V/e1, lemma 2.3

History

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

Critique of Pure Reason A25DYARJ8S

URI	`m2://inv/A25DYARJ8S`
Kind	definition
Layer	textbook
Sources	2
Outcome	out_of_scope (a book or a journal, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q220002, Critique of Pure Reason (unknown). Also nLab Critique of Pure Reason
wikipedia: Wikipedia Critique of Pure Reason, Critique of Pure Reason (definition). Also Wikidata Q220002

History

2026-10-26: add by m2/dev

A25JXKRQB2 A25JXKRQB2

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

Mentions

arxiv: arXiv 2609.28282#A4VB (statement)

History

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

A variant A25VRV54CK

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

Mentions

wikipedia: Wikipedia Pythagorean triple#I2YY, A variant (statement)

History

2026-11-02: add by m2/dev

A25WB8SFAG A25WB8SFAG

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

Mentions

arxiv: arXiv 2610.21752#2W1P (example). In E4DJTPKHAX/e1, example 2.14

History

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

Journal of Statistics and Data Science Education A25YC7Y5C9

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

Mentions

wikipedia: Wikipedia List of statistics journals#H9D9, Journal of Statistics and Data Science Education (unknown)

History

2026-11-02: add by m2/dev

Properties A26193924C

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

Mentions

wikipedia: Wikipedia Homogeneous relation#BQTG, Properties (statement)

History

2026-11-02: add by m2/dev

A264NDW2YA A264NDW2YA

URI	`m2://inv/A264NDW2YA`
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 2609.25321#U8XY (statement)

History

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

Formal definition A2659FYHZB

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

Mentions

wikipedia: Wikipedia Cartan connection#UAX4, Formal definition (definition)

History

2026-11-02: add by m2/dev

Cayley–Klein metric A269DMEGT6

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

Mentions

wikipedia: Wikipedia Cayley–Klein metric, Cayley–Klein metric (definition). Also Wikidata Q5055329

History

2026-11-02: add by m2/dev

Constantine Dafermos A26B7P81T9

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#0STJ, Constantine Dafermos (topic)

History

2026-11-02: add by m2/dev

Bering \& Studenmund A26FW73PEQ

URI	`m2://inv/A26FW73PEQ`
Kind	statement
Layer	research
MSC	37-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.20131#6AF4, Bering \& Studenmund (statement). In 29D4TTE3J2/e1, theorem 2.11

History

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

Cross Purposes A26SJ28CQK

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#DW16, Cross Purposes (unknown)

History

2026-11-02: add by m2/dev

Definition A26Y7K4YYW

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

Mentions

wikipedia: Wikipedia 3-sphere#6IDY, Definition (definition)

History

2026-11-02: add by m2/dev

Formula A271Q99065

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

Mentions

wikipedia: Wikipedia Effective medium approximations#CK0Y, Formula (statement)

History

2026-11-02: add by m2/dev

Genetic fallacy A273CKF7TM

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

Mentions

wikipedia: Wikipedia Genetic fallacy, Genetic fallacy (definition). Also Wikidata Q1202868

History

2026-11-02: add by m2/dev

Boundary-aware kernel classification on a rectangle A276MJ1F42

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

Mentions

arxiv: arXiv 2609.25987#YM4Y, Boundary-aware kernel classification on a rectangle (statement)

History

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

Mahler measure A27FS4XTKT

URI	`m2://inv/A27FS4XTKT`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Mahler measure QVPYBPRHRC

Mentions

wikidata: Wikidata Q6734205, Mahler measure (concept). Also MathWorld MahlerMeasure
wikipedia: Wikipedia Mahler measure, Mahler measure (definition). Also Wikidata Q6734205

History

2026-10-26: add by m2/dev

Image functors for sheaves A27JTMH6JK

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

Mentions

wikipedia: Wikipedia Image functors for sheaves, Image functors for sheaves (definition). Also Wikidata Q6002225

History

2026-11-02: add by m2/dev

Group-scheme action A27N6QC440

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

Mentions

wikipedia: Wikipedia Group-scheme action, Group-scheme action (definition). Also Wikidata Q48975267

History

2026-11-02: add by m2/dev

Hilbert's syzygy theorem A27PMH0Z0D

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

Mentions

wikipedia: Wikipedia List of theorems#P1BZ, Hilbert's syzygy theorem (statement)

History

2026-11-02: add by m2/dev

A27R1G1KNJ A27R1G1KNJ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 2.5

History

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

Boué–Dupuis formula A27V89A2DR

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

Mentions

wikipedia: Wikipedia Boué–Dupuis formula, Boué–Dupuis formula (statement). Also Wikidata Q113646577

History

2026-11-02: add by m2/dev

Susie W. Håkansson A27WPJJQCD

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

Mentions

wikipedia: Wikipedia Susie W. Håkansson, Susie W. Håkansson (topic). Also Wikidata Q7649072

History

2026-11-02: add by m2/dev

A27YBPXQE4 A27YBPXQE4

URI	`m2://inv/A27YBPXQE4`
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 2401.15490#D7PU (statement). In AAY60GVERS/e1, theorem 2.1

History

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

Louis Bertrand A27ZWKQ7QC

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

Mentions

wikipedia: Wikipedia Louis Bertrand (mathematician), Louis Bertrand (topic). Also Wikidata Q21235762

History

2026-11-02: add by m2/dev

Variations A285H56B78

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

Mentions

wikipedia: Wikipedia Philosophical counseling#2LPQ, Variations (statement)

History

2026-11-02: add by m2/dev

Process of elimination A286ERHT11

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

Mentions

wikipedia: Wikipedia Process of elimination, Process of elimination (definition). Also Wikidata Q7247293

History

2026-11-02: add by m2/dev

A28AX1ZZT1 A28AX1ZZT1

URI	`m2://inv/A28AX1ZZT1`
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.21231#RGB2 (statement). In 4RH9PS7MN1/e1, lemma 3

History

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

A28JF13JP4 A28JF13JP4

URI	`m2://inv/A28JF13JP4`
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.07114#0KW4 (statement). In HP3TM356J6/e1, lemma 11

History

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

A28KBDRB7T A28KBDRB7T

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/terms.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 39.2

History

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

Lower response A28NNRGMM4

URI	`m2://inv/A28NNRGMM4`
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.01843#ME1X, Lower response (statement). In EDG9ZFDSWK/e1, lemma B.18

History

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

A28T4529EA A28T4529EA

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

Mentions

arxiv: arXiv 2609.27800#8FSL (statement)

History

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

Corollary A28V51ZSD2

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

Mentions

wikipedia: Wikipedia Arrow–Debreu model#AWM0, Corollary (statement)

History

2026-11-02: add by m2/dev

Dag Prawitz A28X2GD732

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

Mentions

wikipedia: Wikipedia Dag Prawitz, Dag Prawitz (topic). Also Wikidata Q3011853

History

2026-11-02: add by m2/dev

Dehn twist A28ZT91SF4

URI	`m2://inv/A28ZT91SF4`
Kind	statement
Layer	textbook
MSC	54-XX
Sources	4
Outcome	open
Node	Dehn twist W890NRHGS4

Mentions

mathlib_1000: mathlib_1000 Q5252320, Lickorish twist theorem (statement). Also Wikidata Q5252320
thousand_plus: thousand_plus Q5252320, Lickorish twist theorem (statement). Also Wikidata Q5252320, Wikipedia Lickorish twist theorem
wikidata: Wikidata Q5252320, Dehn twist (concept). Also nLab Dehn twist
wikipedia: Wikipedia Dehn twist, Dehn twist (definition). Also Wikidata Q5252320

History

2026-10-26: add by m2/dev

A293V2X7V3 A293V2X7V3

URI	`m2://inv/A293V2X7V3`
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 2609.30444#3IF3 (statement). In RZWJ0AT8W5/e1, theorem 6.1

History

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

scale-free network A29B2WJ9HW

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

Mentions

wikidata: Wikidata Q1071058, scale-free network (unknown). Also MathWorld Scale-FreeNetwork
wikipedia: Wikipedia Scale-free network, Scale-free network (definition). Also Wikidata Q1071058

History

2026-10-26: add by m2/dev

A29D5D9WZ7 A29D5D9WZ7

URI	`m2://inv/A29D5D9WZ7`
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 2308.02672#KFE9 (statement). In ETRT1R1CQ8/e1, theorem 9.1

History

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

A29HHJMZPX A29HHJMZPX

URI	`m2://inv/A29HHJMZPX`
Kind	statement
Layer	research
MSC	05-XX, 16-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 2408.01345#36K7 (statement). In PT5PBPCS3P/e1, theorem 4.6

History

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

Multidimensional system A29HK6TK1G

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

Mentions

wikipedia: Wikipedia Multidimensional system, Multidimensional system (definition). Also Wikidata Q17104301

History

2026-11-02: add by m2/dev

Elliptic Riemann surface A29KT9FG4H

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

Mentions

wikipedia: Wikipedia Riemann surface#YOK6, Elliptic Riemann surface (unknown)

History

2026-11-02: add by m2/dev

A29MMP350T A29MMP350T

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

Mentions

arxiv: arXiv 2507.12309#07QH (statement). In ZR53K3E0FR/e1, theorem 36

History

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

Properties A29T15M5SP

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

Mentions

wikipedia: Wikipedia Discrete logarithm#8YXI, Properties (statement)

History

2026-11-02: add by m2/dev

Ivar Fredholm A29T63ZX4B

URI	`m2://inv/A29T63ZX4B`
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#PEY9, Ivar Fredholm (topic)

History

2026-11-02: add by m2/dev

Nicolaus Reimers A29TPHAAY5

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

Mentions

wikipedia: Wikipedia List of German mathematicians#ZOOJ, Nicolaus Reimers (unknown)

History

2026-11-02: add by m2/dev

A29WEDAE81 A29WEDAE81

URI	`m2://inv/A29WEDAE81`
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.31243#NELE (statement). In E8FP48FJMZ/e1, theorem 8.3

History

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

Huzita's axioms A29YKMDZXB

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

Mentions

wikipedia: Wikipedia List of axioms#PU3E, Huzita's axioms (statement)

History

2026-11-02: add by m2/dev

A2A3P1ZJKD A2A3P1ZJKD

URI	`m2://inv/A2A3P1ZJKD`
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.07790#CNLZ (statement). In A5YJDDM0NX/e1, lemma 1.2

History

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

Judith Tanur A2A540810R

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

Mentions

wikipedia: Wikipedia Judith Tanur, Judith Tanur (topic). Also Wikidata Q27063633

History

2026-11-02: add by m2/dev

A2A5TPMW5Q A2A5TPMW5Q

URI	`m2://inv/A2A5TPMW5Q`
Kind	definition
Layer	research
MSC	11-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.40123#8S32 (definition). In WK2YHYEDZ9/e1, definition 3.1

History

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

Friedgut's junta theorem A2AH2FNSM5

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

Mentions

wikipedia: Wikipedia Analysis of Boolean functions#QOH4, Friedgut's junta theorem (statement)

History

2026-11-02: add by m2/dev

A2ARQYFYS2 A2ARQYFYS2

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

Mentions

arxiv: arXiv 2610.19260#MQ14 (example). In PWXT7J9JX3/e1, example 4.1

History

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

No strict certificate at the growth exponent A2AV9VYSEW

URI	`m2://inv/A2AV9VYSEW`
Kind	statement
Layer	research
MSC	37-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.09912#E5KI, No strict certificate at the growth exponent (statement). In 65TJENWK7X/e1, lemma 34

History

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

Projective lifting A2AW604EJK

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

Mentions

arxiv: arXiv 2609.21513#2NTG, Projective lifting (statement)

History

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

A2B21WR91R A2B21WR91R

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

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise-1 (exercise). In E59CDZA4DP, exercise, section 3.1.3

History

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

Notation A2B6BN4E7Z

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

Mentions

wikipedia: Wikipedia Positional notation#WSG6, Notation (definition)

History

2026-11-02: add by m2/dev

Ozawa A2B6XNY43Q

URI	`m2://inv/A2B6XNY43Q`
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#ORVO, Ozawa (statement). In MZ60NP20BH/e1, theorem 4.13

History

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

A2BCDE64VS A2BCDE64VS

URI	`m2://inv/A2BCDE64VS`
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-16 (exercise). In QKM9DD2H56, exercise, section 5

History

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

A2BEYD2QAD A2BEYD2QAD

URI	`m2://inv/A2BEYD2QAD`
Kind	example
Layer	research
MSC	19-XX, 37-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.31883#YDJF (example). In XBHQRTBH62/e1, example 2.14

History

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

Examples A2BF5WXV33

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

Mentions

wikipedia: Wikipedia Cup product#0CM3, Examples (example)

History

2026-11-02: add by m2/dev

A2BRXRTQ8D A2BRXRTQ8D

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

Mentions

arxiv: arXiv 2610.14811#0787 (statement). In QA5CM6HNM1/e1, theorem 9.2

History

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

A2BX880QQS A2BX880QQS

URI	`m2://inv/A2BX880QQS`
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.01928#78MB (statement). In BSJRRHKGX0/e1, proposition 3.6

History

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

A2C2V6ZWJK A2C2V6ZWJK

URI	`m2://inv/A2C2V6ZWJK`
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 2610.22074#72SF (definition). In F3BKXXPR3K/e1, definition 3.21

History

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

William F. Sharpe A2C7K4RKRB

URI	`m2://inv/A2C7K4RKRB`
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#R3YA, William F. Sharpe (unknown)

History

2026-11-02: add by m2/dev

A2CB3S5MWH A2CB3S5MWH

URI	`m2://inv/A2CB3S5MWH`
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.39104#TPI5 (statement). In V2NTW27MSJ/e1, lemma 3.1

History

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

A2CS6570FW A2CS6570FW

URI	`m2://inv/A2CS6570FW`
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 2610.11847#N8PS (statement). In MP2YM69XW8/e1, theorem 7

History

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

Benjamin Abram Bernstein A2CSYE5WMZ

URI	`m2://inv/A2CSYE5WMZ`
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#MDQD, Benjamin Abram Bernstein (topic)

History

2026-11-02: add by m2/dev

A2CTBGA7A3 A2CTBGA7A3

URI	`m2://inv/A2CTBGA7A3`
Kind	definition
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.05396#7GPZ (definition). In WMVRX5GV9P/e1, definition 2.1

History

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

Example A2CX8F49Y8

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

Mentions

wikipedia: Wikipedia Trachtenberg system#XP2J, Example (example)

History

2026-11-02: add by m2/dev

Proposition A2D935ZG8X

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

Mentions

wikipedia: Wikipedia Zorn's lemma#NCQY, Proposition (statement)

History

2026-11-02: add by m2/dev

Maksym Radziwill A2DCT2YPHQ

URI	`m2://inv/A2DCT2YPHQ`
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#JKHV, Maksym Radziwill (topic)

History

2026-11-02: add by m2/dev

A2DP0THWJW A2DP0THWJW

URI	`m2://inv/A2DP0THWJW`
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.10576#WKOE (statement). In N3ZA5MDZBW/e1, theorem E

History

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

linear operator A2DPB8ADD1

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

Mentions

wikidata: Wikidata Q1826450, linear operator (unknown). Also MathWorld LinearOperator

History

2026-10-26: add by m2/dev

A2DV67BH2Q A2DV67BH2Q

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

Mentions

active_calculus: active_calculus source/sec-2-3-prod-quot.xml#example-1 (example). In 907G4C4EJ1, example, section 2.3.1

History

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

finite difference A2E4WB5GAR

URI	`m2://inv/A2E4WB5GAR`
Kind	definition
Layer	textbook
MSC	65M06
Sources	2
Outcome	open
Node	Finite difference 7JSQZ126BP

Mentions

wikidata: Wikidata Q2068418, finite difference (topic). Also EoM Finite-difference_calculus, MathWorld FiniteDifference
wikipedia: Wikipedia Finite difference, Finite difference (definition). Also Wikidata Q2068418

History

2026-10-26: add by m2/dev

Lakes of Wada A2EDE4Q0FM

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

Mentions

wikipedia: Wikipedia List of topologies#USTJ, Lakes of Wada (definition)

History

2026-11-02: add by m2/dev

Theorem A2EEW3TP1Q

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

Mentions

wikipedia: Wikipedia Montgomery curve#V9UH, Theorem (statement)

History

2026-11-02: add by m2/dev

Algorithm A2EG9045F1

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

Mentions

wikipedia: Wikipedia Activity selection problem#WOS5, Algorithm (definition)

History

2026-11-02: add by m2/dev

Donald Mainland A2EH9HM5RV

URI	`m2://inv/A2EH9HM5RV`
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#LUVO, Donald Mainland (unknown)

History

2026-11-02: add by m2/dev

Bertrand–Diquet–Puiseux theorem A2EJ13Z757

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

Mentions

wikipedia: Wikipedia List of theorems#D3FH, Bertrand–Diquet–Puiseux theorem (statement)

History

2026-11-02: add by m2/dev

Law of small numbers from a scaled log-Laplace limit A2EK1YWX9K

URI	`m2://inv/A2EK1YWX9K`
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.10840#SW72, Law of small numbers from a scaled log-Laplace limit (statement). In P0HKF5DY7M/e1, proposition 5.1

History

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

Van Kampen diagram A2F0JBM13C

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

Mentions

wikipedia: Wikipedia Van Kampen diagram, Van Kampen diagram (definition). Also Wikidata Q7913457

History

2026-11-02: add by m2/dev

A2F59GKGEJ A2F59GKGEJ

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-56 (exercise). In E59CDZA4DP, exercise, section 1.7.3

History

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

A2FAWQEJSH A2FAWQEJSH

URI	`m2://inv/A2FAWQEJSH`
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 2312.14319#K05Y (statement). In V0S2EZ53GB/e1, theorem 2.10

History

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

A2FDF8Y9BX A2FDF8Y9BX

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

Mentions

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

History

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

Single slit A2FNTZ1C69

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

Mentions

wikipedia: Wikipedia Diffraction#X13S, Single slit (unknown)

History

2026-11-02: add by m2/dev

A2FPRQW8P0 A2FPRQW8P0

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

Mentions

arxiv: arXiv 2610.13213#VGA5 (definition). In V97F4YZ8B0/e1, definition 4.2

History

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

2-functor A2FQT5G2KH

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

Mentions

wikidata: Wikidata Q25304059, 2-functor (unknown). Also nLab 2-functor

History

2026-10-26: add by m2/dev

James N. Morgan A2FTCKEBF2

URI	`m2://inv/A2FTCKEBF2`
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#ZUHT, James N. Morgan (unknown)

History

2026-11-02: add by m2/dev

A2FVF7CBJ4 A2FVF7CBJ4

URI	`m2://inv/A2FVF7CBJ4`
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 2303.14022#OTO3 (statement). In NSYR6W27FP/e1, corollary 3.7

History

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

A2G11HWW1Y A2G11HWW1Y

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

Mentions

arxiv: arXiv 2609.33573#FYIQ (statement). In ZT1Q1XDQ1W/e1, lemma 2.2

History

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

Xiaolin Wu's line algorithm A2G3GD3YWV

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#6YXA, Xiaolin Wu's line algorithm (unknown)

History

2026-11-02: add by m2/dev

Barbara Everitt Bryant A2G3Y1XVDR

URI	`m2://inv/A2G3Y1XVDR`
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#8GEE, Barbara Everitt Bryant (unknown)

History

2026-11-02: add by m2/dev

A2G511BPNA A2G511BPNA

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

Mentions

arxiv: arXiv 2609.38548#99LO (definition). In Z7ZFV3HM1S/e1, definition 3.1

History

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

Applications A2GCFBCHEF

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

Mentions

wikipedia: Wikipedia Feedback vertex set#WYSC, Applications (example)

History

2026-11-02: add by m2/dev

A2GDFECM4W A2GDFECM4W

URI	`m2://inv/A2GDFECM4W`
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 dg-ga/9612010#1ZXO (statement). In CM39SWC4A6/e1, lemma 3.2

History

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

Law of total expectation A2GGXZ4GH4

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

Mentions

wikipedia: Wikipedia List of statistics articles#N0XW, Law of total expectation (statement)
wikipedia: Wikipedia List of probability topics#ZP36, Law of total expectation (statement)

History

2026-11-02: add by m2/dev

Murray Gerstenhaber A2GM7CBV9R

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#YZ9R, Murray Gerstenhaber (topic)

History

2026-11-02: add by m2/dev

Definitions A2GMETPGRH

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

Mentions

wikipedia: Wikipedia Constitutive equation#2LLP, Definitions (definition)

History

2026-11-02: add by m2/dev

Alexei Kostrikin A2H3W3E5BH

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

Mentions

wikipedia: Wikipedia Alexei Kostrikin, Alexei Kostrikin (topic). Also Wikidata Q553209

History

2026-11-02: add by m2/dev

RSA number A2H8E76MRB

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

Mentions

wikidata: Wikidata Q1072840, RSA number (unknown). Also MathWorld RSANumber
wikipedia: Wikipedia RSA numbers, RSA numbers (definition). Also Wikidata Q1072840

History

2026-10-26: add by m2/dev

A2HA2DMCKG A2HA2DMCKG

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

Mentions

arxiv: arXiv 2610.03520#3V6C (statement). In CSRZ9CWK69/e1, lemma 8.4

History

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

Non-trigonometric formulas A2HE5BPY97

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

Mentions

wikipedia: Wikipedia Quadrilateral#798P, Non-trigonometric formulas (statement)

History

2026-11-02: add by m2/dev

Generalizations A2HPZMY43Q

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

Mentions

wikipedia: Wikipedia Lasso (statistics)#B4D1, Generalizations (statement)

History

2026-11-02: add by m2/dev

A2J43BZ7RS A2J43BZ7RS

URI	`m2://inv/A2J43BZ7RS`
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 1011.5443#TVOA (statement). In VQ0K2GV62A/e1, proposition 2.2

History

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

Grubbs's test A2J5FKXCG7

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

Mentions

wikipedia: Wikipedia Grubbs's test, Grubbs's test (definition). Also Wikidata Q779808

History

2026-11-02: add by m2/dev

Compute kernel A2J65SFG62

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#DAZE, Compute kernel (unknown)

History

2026-11-02: add by m2/dev

A2J9GFJRTT A2J9GFJRTT

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

Mentions

open_logic: open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 17.7

History

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

Kannan Soundararajan A2JBT21XWB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#3DLG, Kannan Soundararajan (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6NSQ, Kannan Soundararajan (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SHRD, Kannan Soundararajan (topic)

History

2026-11-02: add by m2/dev

NL-complete A2JC6Q3ENQ

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

Mentions

wikipedia: Wikipedia NL-complete, NL-complete (definition). Also Wikidata Q6954626

History

2026-11-02: add by m2/dev

Relative change A2JFM5ZZTN

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

Mentions

wikipedia: Wikipedia Relative change, Relative change (definition). Also Wikidata Q4339852

History

2026-11-02: add by m2/dev

Annular Plug Insertion Lemma A2JGG3K1K2

URI	`m2://inv/A2JGG3K1K2`
Kind	statement
Layer	research
MSC	37-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.10558#WB8V, Annular Plug Insertion Lemma (statement). In GYSF9JXQCH/e1, lemma 4.5

History

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

A2JR8Z4NW8 A2JR8Z4NW8

URI	`m2://inv/A2JR8Z4NW8`
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.25568#FYFB (statement)

History

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

Statement A2JRYFVPS1

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

Mentions

wikipedia: Wikipedia Bobkov's inequality#NYRX, Statement (statement)

History

2026-11-02: add by m2/dev

hexomino A2JTYZJRN7

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

Mentions

wikidata: Wikidata Q2568395, hexomino (unknown). Also MathWorld Hexomino
wikipedia: Wikipedia Hexomino, Hexomino (definition). Also Wikidata Q2568395

History

2026-10-26: add by m2/dev

A2K0QJMDQX A2K0QJMDQX

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

Mentions

arxiv: arXiv 2610.20480#91TP (definition). In BK4359JSC3/e1, definition 1.1

History

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

A2K7XWT77V A2K7XWT77V

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

Mentions

arxiv: arXiv 2609.28489#TQKW (definition)

History

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

splay tree A2KD5R3F0Z

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

Mentions

wikidata: Wikidata Q80729, splay tree (unknown). Also MathWorld SplayTree

History

2026-10-26: add by m2/dev

A2KK7J4CS9 A2KK7J4CS9

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

Mentions

arxiv: arXiv 2610.20801#YPG5 (definition). In A1GWWGRXPA/e1, definition 6.6

History

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

A2KNC879KG A2KNC879KG

URI	`m2://inv/A2KNC879KG`
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 2609.25449#ZOOP (statement). In 9JHMTYGWFQ/e1, corollary 1.6

History

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

Properties A2KVJ87BG1

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

Mentions

wikipedia: Wikipedia Parity function#C1HQ, Properties (statement)

History

2026-11-02: add by m2/dev

A2KZTH9Y9W A2KZTH9Y9W

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

Mentions

napkin: napkin tex/linalg/fourier.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 59.3.1

History

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

Herbal medicine A2M3JGFV72

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#14RV, Herbal medicine (unknown)

History

2026-11-02: add by m2/dev

A2MEE4FRA9 A2MEE4FRA9

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-28 (exercise). In E9HS8K3A52, exercise, section 7.2.7

History

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

Ulrich Bunke A2MM3NMKJH

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

Mentions

wikidata: Wikidata Q15303086, Ulrich Bunke (unknown). Also nLab Ulrich Bunke

History

2026-10-26: add by m2/dev

Kirsten Eisenträger A2MNG7MWY2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ISE6, Kirsten Eisenträger (topic)
wikipedia: Wikipedia List of German mathematicians#PMPT, Kirsten Eisenträger (topic)

History

2026-11-02: add by m2/dev

Examples A2MP91PHHQ

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

Mentions

wikipedia: Wikipedia Herman ring#HNUV, Examples (example)

History

2026-11-02: add by m2/dev

Latin syntax A2MQEFYJFJ

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

Mentions

wikipedia: Wikipedia Latin syntax, Latin syntax (definition). Also Wikidata Q28403552

History

2026-11-02: add by m2/dev

Generalizations A2MVFZT3DQ

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

Mentions

wikipedia: Wikipedia Polynomial ring#TXVK, Generalizations (statement)

History

2026-11-02: add by m2/dev

A2MY90FR7D A2MY90FR7D

URI	`m2://inv/A2MY90FR7D`
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 2501.17850#C8E0 (statement). In WS5KWBEG5Q/e1, corollary 1

History

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

Mike West A2N15YWXF2

URI	`m2://inv/A2N15YWXF2`
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#LOBO, Mike West (topic)

History

2026-11-02: add by m2/dev

O-minimal A2N5ZS4C0E

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#7WAI, O-minimal (definition)

History

2026-11-02: add by m2/dev

A2N6RZQM6T A2N6RZQM6T

URI	`m2://inv/A2N6RZQM6T`
Kind	example
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.13734#BT3Q (example). In XB23QP7GK9/e1, example 2.2

History

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

A2N9TC8Y15 A2N9TC8Y15

URI	`m2://inv/A2N9TC8Y15`
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.02663#T5I7 (statement). In PGAZ70WGMG/e1, lemma 22

History

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

free completion A2NFEYRRYG

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

Mentions

wikipedia: Wikipedia Glossary of category theory#W86A, free completion (definition)

History

2026-11-02: add by m2/dev

Iain S. Duff A2NNRHR5AY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#KL4A, Iain S. Duff (unknown)

History

2026-11-02: add by m2/dev

Fischer group Fi22 A2NNRRX2TF

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

Mentions

wikipedia: Wikipedia Fischer group Fi22, Fischer group Fi22 (object). Also Wikidata Q5454434

History

2026-11-02: add by m2/dev

A2NQHJ10FK A2NQHJ10FK

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

Mentions

arxiv: arXiv 2609.21703#CDIP (statement)

History

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

Construction A2NWQFJY2Y

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

Mentions

wikipedia: Wikipedia Snub cube#E9NE, Construction (definition)

History

2026-11-02: add by m2/dev

A2P5VHGDHZ A2P5VHGDHZ

URI	`m2://inv/A2P5VHGDHZ`
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.12329#TRZR (statement). In ZJQB9W60T6/e1, corollary 5.9

History

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

A2P62AK9QA A2P62AK9QA

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

Mentions

arxiv: arXiv 2610.20801#50MX (example). In A1GWWGRXPA/e1, example 3.53

History

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

A2PFF7KAYV A2PFF7KAYV

URI	`m2://inv/A2PFF7KAYV`
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.16123#Z1UI (statement). In 6VR4TY5BGV/e1, corollary 8.3

History

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

Nils Dencker A2PW35Q97G

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

Mentions

wikipedia: Wikipedia Nils Dencker, Nils Dencker (topic). Also Wikidata Q217933

History

2026-11-02: add by m2/dev

Cluster tendency A2Q32APFM5

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

Mentions

wikipedia: Wikipedia Cluster analysis#IDIL, Cluster tendency (unknown)

History

2026-11-02: add by m2/dev

Remark A2Q8H7603Q

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

Mentions

wikipedia: Wikipedia Wald's equation#ZWRX, Remark (unknown)

History

2026-11-02: add by m2/dev

Hard-chain properties A2QAK5Y38N

URI	`m2://inv/A2QAK5Y38N`
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.01843#2JDB, Hard-chain properties (statement). In EDG9ZFDSWK/e1, lemma B.1

History

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

Sylvester's rank inequality A2QG6A663X

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

Mentions

wikipedia: Wikipedia List of things named after James Joseph Sylvester#YLFE, Sylvester's rank inequality (definition)

History

2026-11-02: add by m2/dev

Uniform torus bound A2QM77CA2C

URI	`m2://inv/A2QM77CA2C`
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#CU1T, Uniform torus bound (statement)

History

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

A2QQP980ZZ A2QQP980ZZ

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

Mentions

arxiv: arXiv 2604.10080#9IXC (statement). In KM2FWKP93A/e1, lemma 2.12

History

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

Alternative lemma A2QT4R2E8Z

URI	`m2://inv/A2QT4R2E8Z`
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.31373#EUUJ, Alternative lemma (statement). In H4XKQM67NA/e1, lemma 2.4

History

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

Density Hales-Jewett theorem A2QTQ2GQS5

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

Mentions

wikipedia: Wikipedia Hales–Jewett theorem#99ZP, Density Hales-Jewett theorem (statement)

History

2026-11-02: add by m2/dev

A2QYVZZYAP A2QYVZZYAP

URI	`m2://inv/A2QYVZZYAP`
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.00786#5EB4 (statement). In XKEE0DK6N3/e1, lemma 4.2

History

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

Finite-type invariance A2R1P1X9H3

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

Mentions

arxiv: arXiv 2610.04027#NSW3, Finite-type invariance (statement). In DQB4YR2DFH/e1, lemma 12.4

History

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

Effective tail bounds and visible sufficient payoffs A2R1SVW79R

URI	`m2://inv/A2R1SVW79R`
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.32078#6LCB, Effective tail bounds and visible sufficient payoffs (statement). In 5PN85N6EJF/e1, corollary 9.5

History

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

Closed Graph Theorem A2R5XPD1FA

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

Mentions

wikipedia: Wikipedia Barrelled space#SEIK, Closed Graph Theorem (statement)

History

2026-11-02: add by m2/dev

Example A2R7Y046K0

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

Mentions

wikipedia: Wikipedia Lie algebra#3AUO, Example (example)

History

2026-11-02: add by m2/dev

Kepler-22b A2R8VQX5AF

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

Mentions

wikipedia: Wikipedia List of things named after Johannes Kepler#FY4E, Kepler-22b (unknown)

History

2026-11-02: add by m2/dev

class A2RRQW7ZCH

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#NXLE, class (definition)

History

2026-11-02: add by m2/dev

Vanishing of the second obstruction A2RTZFSQRP

URI	`m2://inv/A2RTZFSQRP`
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.21093#VEJM, Vanishing of the second obstruction (statement). In TBFPBPQV3G/e1, lemma 6.5

History

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

Meyers–Serrin theorem A2S07A96G6

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

Mentions

wikipedia: Wikipedia Meyers–Serrin theorem, Meyers–Serrin theorem (statement). Also Wikidata Q2226759

History

2026-11-02: add by m2/dev

Functional additive model A2S0AF9H1F

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

Mentions

wikipedia: Wikipedia Functional additive model, Functional additive model (definition). Also Wikidata Q48996027

History

2026-11-02: add by m2/dev

A2SA24KQDD A2SA24KQDD

URI	`m2://inv/A2SA24KQDD`
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 2504.13328#XFH2 (statement). In 736Q32FYCG/e1, proposition 2.11

History

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

Definition A2SB9PJ7A4

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

Mentions

wikipedia: Wikipedia Fourier–Mukai transform#AVUY, Definition (definition)

History

2026-11-02: add by m2/dev

function, bounded A2SEH40DVY

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

Mentions

lebl_ra: lebl_ra index/2.3.1/function-bounded, function, bounded (concept). In E59CDZA4DP, index, section 2.3.1

History

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

Hyman Bass A2SFDPETHZ

URI	`m2://inv/A2SFDPETHZ`
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 Q517990, Hyman Bass (unknown). Also nLab Hyman Bass
wikipedia: Wikipedia Hyman Bass, Hyman Bass (topic). Also Wikidata Q517990

History

2026-10-26: add by m2/dev

Arithmetic squares along a tower A2SN89K3NM

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

Mentions

arxiv: arXiv 2609.21534#60CU, Arithmetic squares along a tower (statement)

History

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

Richard Neapolitan A2SQ2BVKVG

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

Mentions

wikipedia: Wikipedia Richard Neapolitan, Richard Neapolitan (topic). Also Wikidata Q51233605

History

2026-11-02: add by m2/dev

A2SVCTBZGM A2SVCTBZGM

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

Mentions

arxiv: arXiv 2610.07718#4XXK (statement). In CEKW9CNVVW/e1, proposition 4.6

History

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

\bf DW solution A2SX3ZGWEW

URI	`m2://inv/A2SX3ZGWEW`
Kind	definition
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.24479#KM3P, \bf DW solution (definition)

History

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

filter A2T4XSZWY5

URI	`m2://inv/A2T4XSZWY5`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Order filter Z15FXM9WM1

Mentions

wikidata: Wikidata Q1052692, filter (definition). Also EoM Filter, MathWorld Filter, nLab filter, ProofWiki Definition:Filter
wikipedia: Wikipedia Filter (mathematics), Filter (definition). Also Wikidata Q1052692

History

2026-10-26: add by m2/dev

Gilman–Griess theorem A2T7G89P0X

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

Mentions

wikipedia: Wikipedia Gilman–Griess theorem, Gilman–Griess theorem (statement). Also Wikidata Q16930828

History

2026-11-02: add by m2/dev

A2TB232QCG A2TB232QCG

URI	`m2://inv/A2TB232QCG`
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 2306.07511#LEZH (statement). In 652CJVBF7C/e1, theorem 1.1

History

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

Explore-then-commit algorithm A2TBJE9R29

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

Mentions

wikipedia: Wikipedia Explore-then-commit algorithm, Explore-then-commit algorithm (definition). Also Wikidata Q139394225

History

2026-11-02: add by m2/dev

Akshay Venkatesh A2TJ41W1Z1

URI	`m2://inv/A2TJ41W1Z1`
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#2QXM, Akshay Venkatesh (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FPLF, Akshay Venkatesh (topic)

History

2026-11-02: add by m2/dev

piecewise continuous function A2TRZCDNG2

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

Mentions

wikidata: Wikidata Q116457584, piecewise continuous function (unknown). Also MathWorld PiecewiseContinuous

History

2026-10-26: add by m2/dev

Weighted finite-state transducer A2V0Y1ACVY

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

Mentions

wikipedia: Wikipedia Finite-state transducer#W7BM, Weighted finite-state transducer (unknown)

History

2026-11-02: add by m2/dev

A2V32T6ZMY A2V32T6ZMY

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

Mentions

arxiv: arXiv 2609.28020#QLBJ (statement)

History

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

Ostrowski's theorem A2V9X8HSEF

URI	`m2://inv/A2V9X8HSEF`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	open
Node	Ostrowski's theorem GCQ23XT6VD

Mentions

mathlib_1000: mathlib_1000 Q2919401, Ostrowski's theorem (statement). Also Mathlib Rat.AbsoluteValue.equiv_real_or_padic, Mathlib RatFunc.valuation_isEquiv_infty_or_adic, Wikidata Q2919401
thousand_plus: thousand_plus Q2919401, Ostrowski's theorem (statement). Also Mathlib Rat.AbsoluteValue.equiv_real_or_padic, Mathlib RatFunc.valuation_isEquiv_infty_or_adic, Wikidata Q2919401, Wikipedia Ostrowski's theorem
wikidata: Wikidata Q2919401, Ostrowski's theorem (statement). Also nLab Ostrowski's theorem
wikipedia: Wikipedia Ostrowski's theorem, Ostrowski's theorem (statement). Also Wikidata Q2919401

History

2026-10-26: add by m2/dev

A2VEHZVZZE A2VEHZVZZE

URI	`m2://inv/A2VEHZVZZE`
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.02681#B27D (statement). In 7BBJMB97N7/e1, theorem 1.1

History

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

Witt's cancellation theorem A2VEJ4Z3B4

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

Mentions

wikipedia: Wikipedia Witt's theorem#BPLA, Witt's cancellation theorem (statement)

History

2026-11-02: add by m2/dev

Conatural number A2VQZ6QRN5

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

Mentions

wikipedia: Wikipedia Initial algebra#XB8Y, Conatural number (unknown)

History

2026-11-02: add by m2/dev

A2VRWAMZWQ A2VRWAMZWQ

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

Mentions

arxiv: arXiv 2609.20588#JL1W (statement)

History

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

Cotor of an exterior coalgebra A2VZ8BYDN4

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

Mentions

arxiv: arXiv 2610.04164#0TL1, Cotor of an exterior coalgebra (statement). In KR7WXN4EWR/e1, lemma 5.2

History

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

Winifred Moller Soddy A2W379NPDW

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

Mentions

wikipedia: Wikipedia Frederick Soddy#QDRP, Winifred Moller Soddy (unknown)

History

2026-11-02: add by m2/dev

Gauss-Helmert model A2W81KZRGW

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

Mentions

wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#WA6W, Gauss-Helmert model (definition)

History

2026-11-02: add by m2/dev

Step 5 A2WEMSDD3M

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

Mentions

wikipedia: Wikipedia Fatou's lemma#6HSS, Step 5 (statement)

History

2026-11-02: add by m2/dev

A2WH5F2ER4 A2WH5F2ER4

URI	`m2://inv/A2WH5F2ER4`
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 2609.30067#QK5D (statement)

History

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

Athel Cornish-Bowden A2WSTCD35G

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#6Z78, Athel Cornish-Bowden (unknown)

History

2026-11-02: add by m2/dev

A2X3XZ2JNH A2X3XZ2JNH

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

Mentions

arxiv: arXiv 2609.20588#G5MA (statement)

History

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

A2X84FTF1A A2X84FTF1A

URI	`m2://inv/A2X84FTF1A`
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.05232#AJRP (statement). In DA3VN96YX2/e1, theorem 1.4

History

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

Degen's eight-square identity A2XC8C0DR9

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

Mentions

wikidata: Wikidata Q1187196, Degen's eight-square identity (statement). Also MathWorld DegensEight-SquareIdentity
wikipedia: Wikipedia Degen's eight-square identity, Degen's eight-square identity (statement). Also Wikidata Q1187196

History

2026-10-26: add by m2/dev

Joel E. Cohen A2XEHTJ05N

URI	`m2://inv/A2XEHTJ05N`
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#CK7B, Joel E. Cohen (unknown)

History

2026-11-02: add by m2/dev

A2XNFN1SEG A2XNFN1SEG

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

History

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

Example A2XNPZFQ0S

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

Mentions

wikipedia: Wikipedia Depth-first search#F815, Example (example)

History

2026-11-02: add by m2/dev

Graph Coarsening Algorithm A2XP2043TN

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

Mentions

wikipedia: Wikipedia Graph Coarsening Algorithm, Graph Coarsening Algorithm (definition). Also Wikidata Q136206072

History

2026-11-02: add by m2/dev

Yitang Zhang A2XS04247W

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

Mentions

wikipedia: Wikipedia Yitang Zhang, Yitang Zhang (topic). Also Wikidata Q13360454

History

2026-11-02: add by m2/dev

A2XTDAJS1H A2XTDAJS1H

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

Mentions

arxiv: arXiv 2610.15352#8NFA (statement). In R39P7AFXM8/e1, corollary 1.9

History

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

A2Y19SY4F2 A2Y19SY4F2

URI	`m2://inv/A2Y19SY4F2`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.31090#P6BN (statement). In SMTJDX0Q6R/e1, theorem 7.1

History

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

A2Y6KY80ZK A2Y6KY80ZK

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

Mentions

arxiv: arXiv 2610.19669#ZPQQ (statement). In 1QPAA94Q76/e1, theorem 33

History

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

isotypic A2Y8F85TT6

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#QKCI, isotypic (definition)

History

2026-11-02: add by m2/dev

Properties A2YDT1JMBV

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

Mentions

wikipedia: Wikipedia Quotient type#BM3W, Properties (statement)

History

2026-11-02: add by m2/dev

A2YJVCMJ3Q A2YJVCMJ3Q

URI	`m2://inv/A2YJVCMJ3Q`
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.03384#LJYK (statement). In J55JTTKG84/e1, proposition 5.6

History

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

A2YM8KV24N A2YM8KV24N

URI	`m2://inv/A2YM8KV24N`
Kind	statement
Layer	research
MSC	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 2303.09207#GQHS (statement). In 9DQKY7KGE8/e1, lemma 6.42

History

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

A2YSYM8JX6 A2YSYM8JX6

URI	`m2://inv/A2YSYM8JX6`
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.26713#NYPT (statement)

History

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

A2YW3ESG8A A2YW3ESG8A

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

Mentions

arxiv: arXiv 2610.15517#SJJL (statement). In C87H6KZSBM/e1, proposition 2.4

History

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

Metric differential A2YXMBY689

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

Mentions

wikipedia: Wikipedia Metric differential, Metric differential (definition). Also Wikidata Q1925669

History

2026-11-02: add by m2/dev

Basic distance facts, \mycite{Chapter 7}{BBI A2YZGEBT39

URI	`m2://inv/A2YZGEBT39`
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.17400#6AYI, Basic distance facts, \mycite{Chapter 7}{BBI (statement). In 8VDXGR4SVD/e1, lemma 2.3

History

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

Square wheel A2Z0AG6HRS

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

Mentions

wikipedia: Wikipedia List of curves topics#1E1T, Square wheel (definition)

History

2026-11-02: add by m2/dev

A2Z176VE81 A2Z176VE81

URI	`m2://inv/A2Z176VE81`
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.12810#BDMM (statement). In DR35633CPN/e1, proposition 4.8

History

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

Applications A2Z4B61D0W

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

Mentions

wikipedia: Wikipedia Frattini's argument#JT3L, Applications (example)

History

2026-11-02: add by m2/dev

A2ZA8RFNAJ A2ZA8RFNAJ

URI	`m2://inv/A2ZA8RFNAJ`
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.08198#471W (statement). In 50K0H8HRED/e1, theorem 3.4

History

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

A2ZK4WSEZM A2ZK4WSEZM

URI	`m2://inv/A2ZK4WSEZM`
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.35950#H052 (statement). In BZN1G5W5FX/e1, theorem 3.2

History

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

Gap for $\ell(\mu_U)$ in $\Mod(\mathcal S)$ A2ZKBEANK4

URI	`m2://inv/A2ZKBEANK4`
Kind	statement
Layer	research
MSC	20-XX, 37-XX, 57-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.19787#P440, Gap for $\ell(\mu_U)$ in $\Mod(\mathcal S)$ (statement). In A4VP56CT7B/e1, corollary 8.6

History

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

Post-Message Loss Decomposes into Three Stages A2ZPJAGD6C

URI	`m2://inv/A2ZPJAGD6C`
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.03769#DF5D, Post-Message Loss Decomposes into Three Stages (statement). In 35DNCV14M4/e1, theorem 4

History

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

A2ZQ9NBD50 A2ZQ9NBD50

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

Mentions

arxiv: arXiv 2610.12430#O1Y9 (statement). In VGKCBWQ65N/e1, lemma 4.2

History

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

A2ZVQXMYB7 A2ZVQXMYB7

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

Mentions

arxiv: arXiv 2609.27524#9GFN (definition)

History

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

Real closed ring A2ZXT7FQRC

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

Mentions

wikipedia: Wikipedia Real closed ring, Real closed ring (definition). Also Wikidata Q7301124

History

2026-11-02: add by m2/dev