Inventory rows QA

Bertrand series QA00449EEZ

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

Mentions

wikipedia: Wikipedia Bertrand series, Bertrand series (definition). Also Wikidata Q3511167

History

2026-11-02: add by m2/dev

QA04J6428Y QA04J6428Y

URI	`m2://inv/QA04J6428Y`
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.40207#Z8QS (statement). In JXTG8KP95P/e1, lemma 3.11

History

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

QA0606CVXD QA0606CVXD

URI	`m2://inv/QA0606CVXD`
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.17677#C17D (statement). In 5E9G06XJKC/e1, lemma F.36

History

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

Transfer-matrix method QA06JGG7QN

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

Mentions

wikipedia: Wikipedia Transfer-matrix method (optics), Transfer-matrix method (definition). Also Wikidata Q7833984

History

2026-11-02: add by m2/dev

QA09VYA98W QA09VYA98W

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

Mentions

arxiv: arXiv 2610.15593#ABN2 (example). In PREJREM4BB/e1, example 4.4

History

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

Exact formula for monthly payment QA0BK63WBQ

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

Mentions

wikipedia: Wikipedia Compound interest#6K3A, Exact formula for monthly payment (statement)

History

2026-11-02: add by m2/dev

QA0G907VPF QA0G907VPF

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

History

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

Compatible pair QA0GTMF7QT

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

Mentions

arxiv: arXiv 2610.10365#4OOZ, Compatible pair (definition). In PRVQPSBVHK/e1, definition 13

History

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

Support-function representation of TV-distance QA0MTK6TH2

URI	`m2://inv/QA0MTK6TH2`
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.24235#ZJO8, Support-function representation of TV-distance (statement)

History

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

Complete mean-only corner QA0MXSRFD5

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

Mentions

arxiv: arXiv 2609.24931#8SF7, Complete mean-only corner (statement)

History

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

QA0R6GAZ8G QA0R6GAZ8G

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

Mentions

arxiv: arXiv 2609.37026#0M8Q (statement). In QGZPH9W8GY/e1, theorem 1.2

History

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

Peirce's criterion QA0TF9KJ61

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

Mentions

wikipedia: Wikipedia Peirce's criterion, Peirce's criterion (statement). Also Wikidata Q7160938

History

2026-11-02: add by m2/dev

QA0TQYSAWA QA0TQYSAWA

URI	`m2://inv/QA0TQYSAWA`
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.20207#WLSG (statement). In 1MPH7GCFJ2/e1, lemma 7.6

History

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

QA0ZBVWCQ3 QA0ZBVWCQ3

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

Mentions

arxiv: arXiv 2609.37479#IJI2 (statement). In P3RTT99C41/e1, theorem 1.2

History

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

QA14CM1ZR3 QA14CM1ZR3

URI	`m2://inv/QA14CM1ZR3`
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.04673#OB8J (statement). In KKC0CT44FJ/e1, theorem 1.1

History

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

A uniform horizontal harmonic cap QA15509XXC

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

Mentions

arxiv: arXiv 2609.38953#J7PO, A uniform horizontal harmonic cap (statement). In 3CRBMY85R5/e1, lemma 3.2

History

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

Grigory Shajn QA1AFBC0QB

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#5TQJ, Grigory Shajn (unknown)

History

2026-11-02: add by m2/dev

Circumconic and inconic QA1EQQ3HYX

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

Mentions

wikipedia: Wikipedia List of triangle topics#HZZ0, Circumconic and inconic (definition)

History

2026-11-02: add by m2/dev

limit infimum and supremum QA1HXA9H0C

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > limit infimum and supremum, limit infimum and supremum (unknown)

History

2026-10-26: add by m2/dev

Gauss's lemma QA1PX856YZ

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

Mentions

wikipedia: Wikipedia List of lemmas#EAK9, Gauss's lemma (statement)

History

2026-11-02: add by m2/dev

Applications QA20DYAY0S

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

Mentions

wikipedia: Wikipedia Multivalued function#JO4H, Applications (example)

History

2026-11-02: add by m2/dev

Appeal to advantage QA2612ETNR

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

Mentions

wikipedia: Wikipedia Appeal to advantage, Appeal to advantage (definition). Also Wikidata Q4780974

History

2026-11-02: add by m2/dev

GenStat QA2A6R3Z72

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

Mentions

wikipedia: Wikipedia List of statistics articles#6V01, GenStat (definition)

History

2026-11-02: add by m2/dev

QA2AECC972 QA2AECC972

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

Mentions

arxiv: arXiv 2610.03661#ADIY (definition). In ESDKTYDHC8/e1, definition 5

History

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

real number QA2JPE0Q4Q

URI	`m2://inv/QA2JPE0Q4Q`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Real numbers 08J2M1JYAG

Mentions

mathlib_overview: mathlib_overview General algebra > Numbers > real number, real number (unknown). Also Mathlib Real
mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real numbers > definition of $\R$, definition of $\R$ (unknown). Also Mathlib Real
wikidata: Wikidata Q12916, real number (definition). Also EoM Real_number, Mathlib Real, MathWorld RealNumber, nLab real number, ProofWiki Definition:Real_Number
wikidata: Wikidata Q2584477, construction of the real numbers (concept). Also Mathlib Real
wikipedia: Wikipedia Real number, Real number (definition). Also Wikidata Q12916
wikipedia: Wikipedia Construction of the real numbers, Construction of the real numbers (definition). Also Wikidata Q2584477

History

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

Cayley nodal cubic surface QA2JT68P80

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#SGN9, Cayley nodal cubic surface (definition)

History

2026-11-02: add by m2/dev

Lucia Caporaso QA2TKHGZFK

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

Mentions

wikipedia: Wikipedia Lucia Caporaso, Lucia Caporaso (topic). Also Wikidata Q30348098

History

2026-11-02: add by m2/dev

Definition QA2YJD41EE

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

Mentions

wikipedia: Wikipedia Better-quasi-ordering#WQFM, Definition (definition)

History

2026-11-02: add by m2/dev

comparison test for series QA39ZSHX5P

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

Mentions

lebl_ra: lebl_ra index/10.5.5/comparison-test-for-series, comparison test for series (concept). In E59CDZA4DP, index, section 10.5.5

History

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

QA3CHNX7PE QA3CHNX7PE

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

Mentions

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

History

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

QA3EB3SKJF QA3EB3SKJF

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

Mentions

arxiv: arXiv 2610.21017#EOHJ (statement). In 8KKYZ4NKT2/e1, lemma 28

History

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

Metagame analysis QA3FQXV7TK

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

Mentions

wikipedia: Wikipedia Metagame analysis, Metagame analysis (definition). Also Wikidata Q6822513

History

2026-11-02: add by m2/dev

GAS analysis of the DFE point via a Lyapunov function QA3JF3C656

URI	`m2://inv/QA3JF3C656`
Kind	statement
Layer	research
MSC	37-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.29567#QDQ6, GAS analysis of the DFE point via a Lyapunov function (statement)

History

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

QA3NQR7PG0 QA3NQR7PG0

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

Mentions

napkin: napkin tex/quantum/circuits.tex#proof-1 (proof). In RZP28ERRZV, proof, section 75.1

History

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

Mittag-Leffler polynomials QA3T4JWQ8D

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

Mentions

wikidata: Wikidata Q6883439, Mittag-Leffler polynomials (concept). Also MathWorld Mittag-LefflerPolynomial

History

2026-10-26: add by m2/dev

Examples QA3T91VAQ4

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

Mentions

wikipedia: Wikipedia Finite game#VZOS, Examples (example)

History

2026-11-02: add by m2/dev

Shimshon Amitsur QA3YMNP591

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#SX8K, Shimshon Amitsur (topic)

History

2026-11-02: add by m2/dev

Concurrent validity QA4024XZW4

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

Mentions

wikipedia: Wikipedia Concurrent validity, Concurrent validity (definition). Also Wikidata Q5159115

History

2026-11-02: add by m2/dev

QA47TWVSWY QA47TWVSWY

URI	`m2://inv/QA47TWVSWY`
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.05784#60T9 (statement). In 6NVP3YRWVA/e1, corollary 2.22

History

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

QA48XZV4W9 QA48XZV4W9

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

Mentions

arxiv: arXiv 2609.26398#Z39Z (definition)

History

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

Examples QA4BS2QYYN

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

Mentions

wikipedia: Wikipedia Gene–environment interaction#RKXO, Examples (example)

History

2026-11-02: add by m2/dev

QA4EEEEG0V QA4EEEEG0V

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

Mentions

napkin: napkin tex/H113/action.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 1.4

History

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

zonotopal class on $\Mbar_{0,n}$ QA4G3QZCAK

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

Mentions

arxiv: arXiv 2609.24917#V5P6, zonotopal class on $\Mbar_{0,n}$ (definition)

History

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

Francis X. Diebold QA517K41M9

URI	`m2://inv/QA517K41M9`
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#YM9I, Francis X. Diebold (unknown)

History

2026-11-02: add by m2/dev

Snake lemma QA57834J25

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

Mentions

wikipedia: Wikipedia List of homological algebra topics#JIKH, Snake lemma (statement)
wikipedia: Wikipedia List of lemmas#BSTY, Snake lemma (statement)

History

2026-11-02: add by m2/dev

QA58K74HHB QA58K74HHB

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

Mentions

arxiv: arXiv 2610.00103#2Q1P (definition). In S7RDXJWP1A/e1, definition 4.3

History

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

QA59TRPA0G QA59TRPA0G

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

Mentions

arxiv: arXiv 2609.40207#JNWY (definition). In JXTG8KP95P/e1, definition 3.6

History

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

Definition QA5FDDZVM4

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

Mentions

wikipedia: Wikipedia Pseudorandom generator#0N73, Definition (definition)

History

2026-11-02: add by m2/dev

The Theorem QA5KF2K2F3

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

Mentions

wikipedia: Wikipedia Goldberg–Sachs theorem#A1VZ, The Theorem (statement)

History

2026-11-02: add by m2/dev

weak gravity conjecture QA5QHHY1WV

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

Mentions

wikidata: Wikidata Q25101334, weak gravity conjecture (unknown). Also nLab weak gravity conjecture
wikipedia: Wikipedia Weak gravity conjecture, Weak gravity conjecture (statement). Also Wikidata Q25101334

History

2026-10-26: add by m2/dev

QA5QM46ANR QA5QM46ANR

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

Mentions

arxiv: arXiv 2609.35642#KYA6 (problem). In D905BX98TP/e1, problem B

History

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

Mihai Pătrașcu QA5V7WGMMT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#FDV4, Mihai Pătrașcu (unknown)

History

2026-11-02: add by m2/dev

Malthusian growth model QA610AQJTT

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

Mentions

wikidata: Wikidata Q2705584, Malthusian growth model (unknown). Also MathWorld MalthusianEquation
wikipedia: Wikipedia Malthusian growth model, Malthusian growth model (object). Also Wikidata Q2705584

History

2026-10-26: add by m2/dev

QA61K5A0R9 QA61K5A0R9

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

Mentions

arxiv: arXiv 2609.28374#TPFX (definition)

History

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

Properties QA66V0KD9R

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

Mentions

wikipedia: Wikipedia Analytic set#W3U5, Properties (statement)

History

2026-11-02: add by m2/dev

QA68YRB89E QA68YRB89E

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

Mentions

arxiv: arXiv 2610.14600#YYIU (definition). In CJHTDS522P/e1, definition 3.2.2

History

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

Alternative Optimality Criterion QA6DP7K8M2

URI	`m2://inv/QA6DP7K8M2`
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.20364#EUE5, Alternative Optimality Criterion (statement). In 433NXYKPG3/e1, lemma 4

History

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

matrix norm QA6FFW4HZT

URI	`m2://inv/QA6FFW4HZT`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Matrix norm 54T6Y6DSY4

Mentions

wikidata: Wikidata Q939253, matrix norm (unknown). Also MathWorld MatrixNorm
wikipedia: Wikipedia Matrix norm, Matrix norm (definition). Also Wikidata Q939253

History

2026-10-26: add by m2/dev

Joan Feigenbaum QA6KFWTR5Q

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#XDCA, Joan Feigenbaum (topic)

History

2026-11-02: add by m2/dev

Applications QA6PH0WR1F

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

Mentions

wikipedia: Wikipedia Feret diameter#IGFI, Applications (example)

History

2026-11-02: add by m2/dev

QA6YJ40F05 QA6YJ40F05

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

Mentions

arxiv: arXiv 2609.21098#4W5V (statement)

History

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

Concrete security QA6ZH9D8SV

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

Mentions

wikipedia: Wikipedia Concrete security, Concrete security (definition). Also Wikidata Q5159078

History

2026-11-02: add by m2/dev

Ranks of all powers QA75CJ10XD

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

Mentions

arxiv: arXiv 2609.38212#4A0F, Ranks of all powers (statement). In 5821K2RD8J/e1, proposition 6.3

History

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

numbers that are not the sum of a prime number and a nonzero square QA763TA62N

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

Mentions

wikidata: Wikidata Q109556253, numbers that are not the sum of a prime number and a nonzero square (object). Also OEIS A064233

History

2026-10-26: add by m2/dev

Semantic --- \textsc{U-Wf QA78JWD43C

URI	`m2://inv/QA78JWD43C`
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.21131#C4N3, Semantic --- \textsc{U-Wf (statement). In CPYWHRTPKC/e1, lemma 7.37

History

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

Constant-mean-curvature surface QA79Y4QBVY

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

Mentions

wikipedia: Wikipedia Constant-mean-curvature surface, Constant-mean-curvature surface (object). Also Wikidata Q5163611

History

2026-11-02: add by m2/dev

Fecundity QA7A2VS2QC

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

Mentions

wikipedia: Wikipedia List of paradoxes#O2SZ, Fecundity (unknown)

History

2026-11-02: add by m2/dev

Energy eigenket degeneracy, symmetry, and conservation laws QA7E29ZQYB

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

Mentions

wikipedia: Wikipedia Hamiltonian (quantum mechanics)#8Y89, Energy eigenket degeneracy, symmetry, and conservation laws (statement)

History

2026-11-02: add by m2/dev

Continuous-categorical distribution QA7GCDBKB5

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

Mentions

wikipedia: Wikipedia List of probability distributions#OL5Y, Continuous-categorical distribution (unknown)

History

2026-11-02: add by m2/dev

Pitman–Yor process QA7H22TZ38

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

Mentions

wikipedia: Wikipedia List of statistics articles#XVUY, Pitman–Yor process (definition)

History

2026-11-02: add by m2/dev

Ke Zhao QA7MF5C6KX

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#00XX, Ke Zhao (topic)

History

2026-11-02: add by m2/dev

Relative cohomology and degree under blow-down QA7NDDGA82

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

Mentions

arxiv: arXiv 2609.27799#90RL, Relative cohomology and degree under blow-down (statement)

History

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

QA7PEX7KVJ QA7PEX7KVJ

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

Mentions

arxiv: arXiv 2609.28323#FNCB (statement)

History

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

QA7RS45JAT QA7RS45JAT

URI	`m2://inv/QA7RS45JAT`
Kind	statement
Layer	research
MSC	19-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.19791#4Y0C (statement). In AVDB4KJ6XB/e1, lemma 3.5

History

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

QA7RZWQGG6 QA7RZWQGG6

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

Mentions

arxiv: arXiv 2609.33584#PTQ3 (statement). In 3HFBAWQCA1/e1, proposition 7.2

History

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

Generation X in the United States QA7S6JH25K

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

Mentions

wikipedia: Wikipedia Generation X#Q1QK, Generation X in the United States (unknown)

History

2026-11-02: add by m2/dev

Radial basis function QA819ZDR0K

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

Mentions

wikipedia: Wikipedia Radial basis function, Radial basis function (definition). Also Wikidata Q1588488

History

2026-11-02: add by m2/dev

QA865VQQPS QA865VQQPS

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/representing-relations.tex#defn:representing-relations (definition). In PKGMM3P5QY, defn, section 30.2

History

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

Zhu Zaiyu QA8QQM2XZX

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#827Q, Zhu Zaiyu (unknown)

History

2026-11-02: add by m2/dev

QA8R5NQXTZ QA8R5NQXTZ

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

Mentions

arxiv: arXiv 2610.10937#CXNQ (definition). In 6VVK3YTABP/e1, definition 3.1

History

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

QA8TKRTWAS QA8TKRTWAS

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

Mentions

arxiv: arXiv 2610.02743#HI9M (statement). In GQH4ZPDWET/e1, lemma 8.2

History

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

QA8W9FCNP0 QA8W9FCNP0

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

Mentions

wikidata: Wikidata Q134966743 (object). Also OEIS A073442

History

2026-10-26: add by m2/dev

internal angle bisectors QA92NR83GW

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

Mentions

wikipedia: Wikipedia List of triangle inequalities#9FR1, internal angle bisectors (definition)

History

2026-11-02: add by m2/dev

QA97DW4PQB QA97DW4PQB

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

Mentions

arxiv: arXiv 2609.39747#4V1U (statement). In 9H2KJ3W3JX/e1, lemma 4

History

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

Allan Birnbaum QA9AJ2YBT7

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

Mentions

wikipedia: Wikipedia Allan Birnbaum, Allan Birnbaum (topic). Also Wikidata Q3612328

History

2026-11-02: add by m2/dev

Definitions and examples QA9D40YFBY

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

Mentions

wikipedia: Wikipedia Root system#I4FG, Definitions and examples (definition)

History

2026-11-02: add by m2/dev

Plato's Dialogues QA9EN5G8J9

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

Mentions

wikipedia: Wikipedia Plato#7SW2, Plato's Dialogues (unknown)

History

2026-11-02: add by m2/dev

CRHF QA9HCP0RV7

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#ZFES, CRHF (definition)

History

2026-11-02: add by m2/dev

772 (number) QAA5Z3JF4G

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

Mentions

wikipedia: Wikipedia 700 (number)#A79P, 772 (number) (unknown)

History

2026-11-02: add by m2/dev

QAB04XSN9J QAB04XSN9J

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

Mentions

arxiv: arXiv 2609.32138#0DW9 (definition). In ZG0GNHTCWB/e1, definition 2.1

History

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

QAB287GRC7 QAB287GRC7

URI	`m2://inv/QAB287GRC7`
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 2610.10570#X8AK (statement). In V0MA250K2P/e1, lemma 2.3

History

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

Analytical quality control QAB2ZTT9PB

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

Mentions

wikipedia: Wikipedia Analytical quality control, Analytical quality control (definition). Also Wikidata Q4751156

History

2026-11-02: add by m2/dev

Pólya enumeration theorem QAB530HYXA

URI	`m2://inv/QAB530HYXA`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	4
Outcome	open
Node	Pólya enumeration theorem MPYQ39P01F

Mentions

mathlib_1000: mathlib_1000 Q1037559, Pólya enumeration theorem (statement). Also Wikidata Q1037559
thousand_plus: thousand_plus Q1037559, Pólya enumeration theorem (statement). Also Wikidata Q1037559, Wikipedia Pólya enumeration theorem
wikidata: Wikidata Q1037559, Pólya enumeration theorem (statement). Also MathWorld PolyaEnumerationTheorem, nLab Pólya enumeration theorem
wikipedia: Wikipedia Pólya enumeration theorem, Pólya enumeration theorem (statement). Also Wikidata Q1037559

History

2026-10-26: add by m2/dev

QABKNJ1V4W QABKNJ1V4W

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

Mentions

arxiv: arXiv 2609.33476#VSZS (definition). In DAQW640R25/e1, definition 4.1

History

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

QABNBFFAGE QABNBFFAGE

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

Mentions

arxiv: arXiv 2610.19360#0P58 (statement). In MFCW5CY96C/e1, lemma 19

History

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

Parmenides QABSP9T68Q

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

Mentions

wikipedia: Wikipedia Parmenides, Parmenides (topic). Also Wikidata Q125551

History

2026-11-02: add by m2/dev

QABSTZMBK9 QABSTZMBK9

URI	`m2://inv/QABSTZMBK9`
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.05696#MJDS (statement). In MG81A9XJTQ/e1, lemma V.5

History

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

QABTF0WDKC QABTF0WDKC

URI	`m2://inv/QABTF0WDKC`
Kind	statement
Layer	research
MSC	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 2609.37580#M6AS (statement). In WJQQBTDARA/e1, lemma 5

History

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

arc length QABZ6VFVVV

URI	`m2://inv/QABZ6VFVVV`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Arc length 0TH78S7GBZ

Mentions

wikidata: Wikidata Q670036, arc length (unknown). Also MathWorld ArcLength, MathWorld CurveLength
wikipedia: Wikipedia Arc length, Arc length (definition). Also Wikidata Q670036

History

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

QABZBTF3VA QABZBTF3VA

URI	`m2://inv/QABZBTF3VA`
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.10029#L9L1 (statement). In K7EAM152B0/e1, lemma 2.3

History

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

Leslie Saper QAC219YPAV

URI	`m2://inv/QAC219YPAV`
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#HPT8, Leslie Saper (unknown)

History

2026-11-02: add by m2/dev

QAC3XZZ49X QAC3XZZ49X

URI	`m2://inv/QAC3XZZ49X`
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.23593#2EYP (statement)

History

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

QAC7TNGFCP QAC7TNGFCP

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

Mentions

arxiv: arXiv 2610.04694#9ZUJ (statement). In W9A0Z2NBMA/e1, lemma 13

History

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

QAC9XP4DY3 QAC9XP4DY3

URI	`m2://inv/QAC9XP4DY3`
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 2205.15106#5S4Y (statement). In N3ZQJ2G8SS/e1, theorem 3.2

History

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

QACE18CNRS QACE18CNRS

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

Mentions

arxiv: arXiv 2609.27516#BVBL (statement)

History

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

QACFJ9VVRF QACFJ9VVRF

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-basics.ptx#ex-first-partial-sums (example). In Y91XFCEVHQ, example, section 3.1

History

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

QACGES32BC QACGES32BC

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

Mentions

arxiv: arXiv 2610.09567#93F8 (definition). In 7RV6BDZAFK/e1, definition 2.2

History

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

QACN86Z7GX QACN86Z7GX

URI	`m2://inv/QACN86Z7GX`
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.10365#W5CN (statement). In PRVQPSBVHK/e1, corollary 14

History

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

Logical axioms QAD687EA26

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

Mentions

wikipedia: Wikipedia Axiom#94W5, Logical axioms (statement)

History

2026-11-02: add by m2/dev

sphere spectrum QADJFAYHXA

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#9LGA, sphere spectrum (definition)

History

2026-11-02: add by m2/dev

Hearron, Martha S. QADMTKGPT5

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

Mentions

wikipedia: Wikipedia List of statisticians#YX2K, Hearron, Martha S. (unknown)

History

2026-11-02: add by m2/dev

Reliability theory of aging and longevity QADNNSWM15

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

Mentions

wikipedia: Wikipedia List of statistics articles#A2TH, Reliability theory of aging and longevity (definition)

History

2026-11-02: add by m2/dev

Branch cut QADQ91J0GX

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

Mentions

wikipedia: Wikipedia Branch point#SU5Q, Branch cut (unknown)

History

2026-11-02: add by m2/dev

Satanic pentagram QADRMK0CK6

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

Mentions

wikipedia: Wikipedia Pentagram#62NP, Satanic pentagram (unknown)

History

2026-11-02: add by m2/dev

Kawamata log terminal singularity QADV3QY2JH

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

Mentions

wikipedia: Wikipedia Canonical singularity#40UH, Kawamata log terminal singularity (unknown)

History

2026-11-02: add by m2/dev

QADVJTMAC8 QADVJTMAC8

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

Mentions

arxiv: arXiv 2610.18673#58W3 (statement). In 7ZFD9XRKA1/e1, lemma 2.9

History

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

QAE3VAGKXR QAE3VAGKXR

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

Mentions

open_logic: open_logic content/computability/recursive-functions/trees.tex#prop:subtreeseq (statement). In PKGMM3P5QY, prop, section 4.2

History

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

Furstenberg QAEDB005WA

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

Mentions

napkin: napkin tex/topology/top-more.tex#problem-4, Furstenberg (exercise). In RZP28ERRZV, problem, section 101.9

History

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

Feng--Li QAEHZ7VV9G

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

Mentions

arxiv: arXiv 2609.25967#A176, Feng--Li (statement)

History

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

Positive first moments for every subchain QAEJCFH0K8

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

Mentions

arxiv: arXiv 2610.15265#KQMD, Positive first moments for every subchain (statement). In TCQ1JBR84Y/e1, lemma 8

History

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

Barron space, homogeneous QAEM1TGJ08

URI	`m2://inv/QAEM1TGJ08`
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.10875#30K4, Barron space, homogeneous (definition). In N91F15MHW1/e1, definition 4

History

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

An explicit window decomposition QAEVYTBW5X

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

Mentions

arxiv: arXiv 2610.08980#G09J, An explicit window decomposition (statement). In X407M6WFNR/e1, proposition E.1

History

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

Information geometry QAF6CGKFNT

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

Mentions

wikipedia: Wikipedia Information geometry, Information geometry (definition). Also Wikidata Q3798604

History

2026-11-02: add by m2/dev

QAF7EW60D4 QAF7EW60D4

URI	`m2://inv/QAF7EW60D4`
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.09729#XCPG (statement). In 7CDD4HCYTV/e1, theorem 1.2

History

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

Examples QAF84VB5RJ

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

Mentions

wikipedia: Wikipedia Residuated mapping#720G, Examples (example)

History

2026-11-02: add by m2/dev

St. Petersburg Mathematical Society QAFATN3E7K

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

Mentions

wikipedia: Wikipedia List of mathematical societies#LSU4, St. Petersburg Mathematical Society (definition)

History

2026-11-02: add by m2/dev

Bonnet theorem QAFG0NFZ15

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

Mentions

mathlib_1000: mathlib_1000 Q4942215, Bonnet theorem (statement). Also Wikidata Q4942215
thousand_plus: thousand_plus Q4942215, Bonnet theorem (statement). Also Wikidata Q4942215, Wikipedia Bonnet theorem
wikipedia: Wikipedia Bonnet theorem, Bonnet theorem (statement). Also Wikidata Q4942215

History

2026-10-26: add by m2/dev

QAFPC1NCD9 QAFPC1NCD9

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

Mentions

arxiv: arXiv 2609.32505#PPFC (statement). In N8MYP1Z659/e1, theorem 5.4

History

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

Tensors in curvilinear coordinates QAFY8NNJDF

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

Mentions

wikipedia: Wikipedia Tensors in curvilinear coordinates, Tensors in curvilinear coordinates (definition). Also Wikidata Q17006285

History

2026-11-02: add by m2/dev

existence QAG52CT4PB

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

Mentions

wikidata: Wikidata Q468777, existence (topic)

History

2026-10-26: add by m2/dev

QAG5FVFGV3 QAG5FVFGV3

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 3.1

History

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

Fundamental matrix (computer vision) QAG9Q4SRF1

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

Mentions

wikipedia: Wikipedia List of named matrices#3KIU, Fundamental matrix (computer vision) (unknown)

History

2026-11-02: add by m2/dev

Hybrid rectangle estimate QAGFHTD01Y

URI	`m2://inv/QAGFHTD01Y`
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 2606.22882#9I0A, Hybrid rectangle estimate (statement). In YNE0Q2X61Y/e1, lemma 3.5

History

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

QAGFS2YB4J QAGFS2YB4J

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

Mentions

arxiv: arXiv 2609.25168#T9G5 (definition)

History

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

QAGK10BKG7 QAGK10BKG7

URI	`m2://inv/QAGK10BKG7`
Kind	definition
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 2503.08488#2KUB (definition). In QH5MZXMXQH/e1, definition 6.8

History

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

QAGM2PDT5T QAGM2PDT5T

URI	`m2://inv/QAGM2PDT5T`
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.10086#4QEP (statement). In NP9X9CAK19/e1, proposition 5.4

History

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

Leray-Schauder Theorem QAGTPS6N7Q

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

Mentions

arxiv: arXiv 2211.13105#JQEH, Leray-Schauder Theorem (statement). In 5ACPY6CEDV/e1, theorem 4.6

History

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

QAGVQEHZVN QAGVQEHZVN

URI	`m2://inv/QAGVQEHZVN`
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.20421#3MUU (statement). In Q4R7J8JE3F/e1, proposition 2.20

History

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

QAH4VJD968 QAH4VJD968

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

Mentions

arxiv: arXiv 2511.05069#I6YG (statement). In SFQBJBTW8K/e1, lemma 7.1

History

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

Boolean operator QAH5D6C9Y1

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

Mentions

wikidata: Wikidata Q20182284, Boolean operator (unknown). Also MathWorld BooleanConnective

History

2026-10-26: add by m2/dev

exceptional Lie algebra QAH6FF7VSN

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

Mentions

wikidata: Wikidata Q85760041, exceptional Lie algebra (unknown). Also nLab exceptional Lie algebra
wikipedia: Wikipedia Exceptional Lie algebra, Exceptional Lie algebra (definition). Also Wikidata Q85760041

History

2026-10-26: add by m2/dev

Finite-rank approximation of a Duhamel coefficient QAHE6J68PQ

URI	`m2://inv/QAHE6J68PQ`
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.15199#WUCD, Finite-rank approximation of a Duhamel coefficient (statement). In EVFTDVP4K4/e1, lemma C.4

History

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

Lipschitz manifold QAJAG0X65C

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

Mentions

wikipedia: Wikipedia List of manifolds#O0KB, Lipschitz manifold (definition)

History

2026-11-02: add by m2/dev

James M. Seely QAJB09GJYY

URI	`m2://inv/QAJB09GJYY`
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#6E50, James M. Seely (unknown)

History

2026-11-02: add by m2/dev

Properties QAJF2KSNXS

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

Mentions

wikipedia: Wikipedia Exponential integral#82R6, Properties (statement)

History

2026-11-02: add by m2/dev

QAJJM107E3 QAJJM107E3

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

Mentions

arxiv: arXiv 2609.31445#MXD1 (statement). In 7V2PVZS04C/e1, corollary 3.5

History

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

QAJK2BM079 QAJK2BM079

URI	`m2://inv/QAJK2BM079`
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.08385#8K2H (definition). In D979582ST2/e1, definition 3

History

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

QAJN1E9SWS QAJN1E9SWS

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-53 (exercise). In E59CDZA4DP, exercise, section 4.5.6

History

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

common cold QAJN1XEV95

URI	`m2://inv/QAJN1XEV95`
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#G1GI, common cold (unknown)

History

2026-11-02: add by m2/dev

QAK0YMJ44Y QAK0YMJ44Y

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

Mentions

arxiv: arXiv 2207.12181#0M75 (definition). In FSD8NE3XSR/e1, definition 2.10

History

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

QAK11G1150 QAK11G1150

URI	`m2://inv/QAK11G1150`
Kind	statement
Layer	research
MSC	17-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 2302.05529#MWBV (statement). In 9VPMHV0M4R/e1, lemma 3.4

History

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

Definition QAKAJWJFRG

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

Mentions

wikipedia: Wikipedia Hotelling's T-squared distribution#5F8L, Definition (definition)

History

2026-11-02: add by m2/dev

Uniform convergence of clean threshold risks QAKC8956J6

URI	`m2://inv/QAKC8956J6`
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.21363#EU6F, Uniform convergence of clean threshold risks (statement). In YPH7NS5AAQ/e1, lemma A.2

History

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

Kathryn Chaloner QAKNG4YWHA

URI	`m2://inv/QAKNG4YWHA`
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#H20Y, Kathryn Chaloner (topic)

History

2026-11-02: add by m2/dev

Radial curve QAKNZ8319B

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#SE9H, Radial curve (definition)
wikipedia: Wikipedia List of curves#MD0O, Radial curve (definition)

History

2026-11-02: add by m2/dev

QAKPB9HET5 QAKPB9HET5

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

Mentions

arxiv: arXiv 2610.10262#50Y3 (example). In MVSGDTN2PB/e1, example 4.9

History

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

Applications QAKQFN3BMW

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

Mentions

wikipedia: Wikipedia Beta rectangular distribution#BOEC, Applications (example)

History

2026-11-02: add by m2/dev

highly irregular graph QAKWV37NCF

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

Mentions

wikidata: Wikidata Q17029695, highly irregular graph (unknown). Also MathWorld HighlyIrregularGraph
wikipedia: Wikipedia Highly irregular graph, Highly irregular graph (definition). Also Wikidata Q17029695

History

2026-10-26: add by m2/dev

Tu quoque QAKZCD8S75

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

Mentions

wikipedia: Wikipedia Tu quoque, Tu quoque (definition). Also Wikidata Q911275

History

2026-11-02: add by m2/dev

Small-parameter verification for $\PSL(n,q)$ on projective space QAM0295XK3

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

Mentions

arxiv: arXiv 2610.15340#ENML, Small-parameter verification for $\PSL(n,q)$ on projective space (statement). In 9NVKKW8HDH/e1, proposition 2.26

History

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

Claude Chevalley QAM0KJ58HG

URI	`m2://inv/QAM0KJ58HG`
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#85NI, Claude Chevalley (topic)

History

2026-11-02: add by m2/dev

Elementary tempered blocks QAM4T4RND1

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

Mentions

arxiv: arXiv 2610.05364#4T9D, Elementary tempered blocks (definition). In TPYRE2ARMD/e1, definition 3.3

History

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

Anamorphosis QAM6DWED97

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#ZOON, Anamorphosis (definition)

History

2026-11-02: add by m2/dev

Order topology QAMAVT4J17

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

Mentions

wikipedia: Wikipedia List of topologies#BWO2, Order topology (definition)
wikipedia: Wikipedia List of examples in general topology#E8LV, Order topology (definition)

History

2026-11-02: add by m2/dev

Bipartite symmetry QAMD20GZZE

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

Mentions

arxiv: arXiv 2610.14373#S06S, Bipartite symmetry (statement). In 77TK7M3B9Y/e1, proposition 1

History

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

QAMN77795K QAMN77795K

URI	`m2://inv/QAMN77795K`
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.30664#A44E (statement). In ZZGDNKDVJW/e1, corollary 2.6

History

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

QAMNV91ZBJ QAMNV91ZBJ

URI	`m2://inv/QAMNV91ZBJ`
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.00337#9P6K (statement). In 5STQ3ABZ60/e1, lemma 2.2

History

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

QAMQN2JR8D QAMQN2JR8D

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

Mentions

arxiv: arXiv 2409.20170#3GTA (example). In QXJP79APHN/e1, example 3.3

History

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

QAMVAJF3QD QAMVAJF3QD

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

Mentions

arxiv: arXiv 2609.23464#H3ML (statement)

History

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

QAMX8EY1PR QAMX8EY1PR

URI	`m2://inv/QAMX8EY1PR`
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.30648#36B4 (statement). In 2P83KYQCMA/e1, lemma 8

History

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

QAMZMD7TMR QAMZMD7TMR

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

Mentions

arxiv: arXiv 2609.37103#VNEA (statement). In 6Q8YMAWFZN/e1, proposition 4.6

History

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

Achi Brandt QAN8QE9YCF

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#HYCY, Achi Brandt (topic)

History

2026-11-02: add by m2/dev

QAN9C4XMMZ QAN9C4XMMZ

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

Mentions

arxiv: arXiv 2610.12116#ZDWW (statement). In WB3F0S794F/e1, proposition 2.2

History

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

McKay's approximation for the coefficient of variation QANF3BQX2C

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

Mentions

wikipedia: Wikipedia McKay's approximation for the coefficient of variation, McKay's approximation for the coefficient of variation (definition). Also Wikidata Q17141637

History

2026-11-02: add by m2/dev

Wrapped predicates $\Botp_i^a$ and $\Topp_i^a$ QANXQXNNYP

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

Mentions

arxiv: arXiv 2610.21131#VNNM, Wrapped predicates $\Botp_i^a$ and $\Topp_i^a$ (definition). In CPYWHRTPKC/e1, definition 7.15

History

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

Via Carathéodory's theorem QAPMMRXTWQ

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

Mentions

wikipedia: Wikipedia Shapley–Folkman lemma#AJDE, Via Carathéodory's theorem (statement)

History

2026-11-02: add by m2/dev

Claire Postlethwaite QAPSHH8V7M

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

Mentions

wikipedia: Wikipedia Claire Postlethwaite, Claire Postlethwaite (topic). Also Wikidata Q58477817

History

2026-11-02: add by m2/dev

Graph of a bivariate function QAPYYVNQ8J

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

Mentions

wikipedia: Wikipedia Graph of a function#9QEX, Graph of a bivariate function (unknown)

History

2026-11-02: add by m2/dev

Applications QAQ5PR73NJ

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

Mentions

wikipedia: Wikipedia Conformal field theory#G8GG, Applications (example)

History

2026-11-02: add by m2/dev

QAQ9DE175M QAQ9DE175M

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

Mentions

arxiv: arXiv 2609.29605#H1UX (statement)

History

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

combination lock QAQCN42ESR

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

Mentions

wikidata: Wikidata Q2374786, combination lock (unknown). Also MathWorld CombinationLock

History

2026-10-26: add by m2/dev

An exceptional Boolean configuration QAQG7770MW

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

Mentions

arxiv: arXiv 2610.00099#ZIK8, An exceptional Boolean configuration (example). In NNBY2AEHP4/e1, example 6.4

History

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

QAQNDR53E8 QAQNDR53E8

URI	`m2://inv/QAQNDR53E8`
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.21388#J06P (statement). In 3X4E9KSVWV/e1, theorem 2.2

History

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

Pointless topology QAQYAR3HEV

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#7MCY, Pointless topology (definition)

History

2026-11-02: add by m2/dev

Ravindra Khattree QAR09WYTVT

URI	`m2://inv/QAR09WYTVT`
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#OZZ7, Ravindra Khattree (topic)

History

2026-11-02: add by m2/dev

QAR2VW7CAK QAR2VW7CAK

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

Mentions

arxiv: arXiv 2609.21532#08XO (statement)

History

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

QARBP88TTQ QARBP88TTQ

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#theorem-9 (statement). In E9HS8K3A52, theorem, section 10.8.1

History

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

Kőnig's lemma QARFJT7D7Z

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#AUKP, Kőnig's lemma (statement)
wikipedia: Wikipedia List of graph theory topics#G48G, Kőnig's lemma (statement)
wikipedia: Wikipedia List of lemmas#FDYP, Kőnig's lemma (statement)

History

2026-11-02: add by m2/dev

Time hierarchy theorem QARKN6QWWE

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

Mentions

mathlib_1000: mathlib_1000 Q5251122, Time hierarchy theorem (statement). Also Wikidata Q5251122
thousand_plus: thousand_plus Q5251122, Time hierarchy theorem (statement). Also Wikidata Q5251122, Wikipedia Time hierarchy theorem
wikipedia: Wikipedia Time hierarchy theorem, Time hierarchy theorem (statement). Also Wikidata Q5251122

History

2026-10-26: add by m2/dev

Definition QARR56YWMC

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

Mentions

wikipedia: Wikipedia Nome (mathematics)#NEER, Definition (definition)

History

2026-11-02: add by m2/dev

fundamental representation QART3X19WN

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

Mentions

wikidata: Wikidata Q3427416, fundamental representation (unknown). Also nLab fundamental representation
wikipedia: Wikipedia Fundamental representation, Fundamental representation (definition). Also Wikidata Q3427416

History

2026-10-26: add by m2/dev

Gerchberg–Saxton algorithm QARXQMZJQP

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

Mentions

wikipedia: Wikipedia Gerchberg–Saxton algorithm, Gerchberg–Saxton algorithm (definition). Also Wikidata Q5550413

History

2026-11-02: add by m2/dev

Axioms QARYBAE0E0

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

Mentions

wikipedia: Wikipedia Kripke–Platek set theory#M6SW, Axioms (statement)

History

2026-11-02: add by m2/dev

Avempace QAS03XVVSC

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

Mentions

wikipedia: Wikipedia List of works by Averroes#P14D, Avempace (unknown)

History

2026-11-02: add by m2/dev

QAS47THHTZ QAS47THHTZ

URI	`m2://inv/QAS47THHTZ`
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 1308.2487#ZEGD (statement). In 322XSWF4EA/e1, theorem 2.2

History

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

QAS9TJ4FGC QAS9TJ4FGC

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

Mentions

arxiv: arXiv 2610.02061#ITID (statement). In F5STMSPR6X/e1, proposition 4.13

History

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

QASCCJ8FV8 QASCCJ8FV8

URI	`m2://inv/QASCCJ8FV8`
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.14377#TE26 (statement). In WEZPNET90D/e1, theorem 4.2

History

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

Discrepancy of hypergraphs QASMX1FJCW

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

Mentions

wikipedia: Wikipedia Discrepancy of hypergraphs, Discrepancy of hypergraphs (conjecture). Also Wikidata Q5282032

History

2026-11-02: add by m2/dev

Listwise deletion QASQTWQ33M

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

Mentions

wikipedia: Wikipedia List of statistics articles#DJTN, Listwise deletion (definition)

History

2026-11-02: add by m2/dev

QAST0N5C9X QAST0N5C9X

URI	`m2://inv/QAST0N5C9X`
Kind	conjecture
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.14249#5DQS (conjecture). In B6P8PG8R8T/e1, conjecture 3.1

History

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

QASWFXHBCQ QASWFXHBCQ

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

Mentions

arxiv: arXiv 2609.31278#GMJV (statement). In KEP21CZFV9/e1, lemma #1

History

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

Existence of Canonical Representation QAT1W10CK4

URI	`m2://inv/QAT1W10CK4`
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.25091#B7KT, Existence of Canonical Representation (statement)

History

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

QAT4MXPBQ1 QAT4MXPBQ1

URI	`m2://inv/QAT4MXPBQ1`
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 2609.30544#5JTX (statement). In CB35ZBBBPT/e1, lemma 3.18

History

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

Hill's formula at every class of every word QATBYVE166

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

Mentions

arxiv: arXiv 2610.18512#N49M, Hill's formula at every class of every word (statement). In 11JNM66Z09/e1, theorem 11.12

History

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

line–line intersection QATF5A76T6

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

Mentions

wikidata: Wikidata Q17097267, line–line intersection (unknown). Also MathWorld Line-LineIntersection
wikipedia: Wikipedia Line–line intersection, Line–line intersection (definition). Also Wikidata Q17097267

History

2026-10-26: add by m2/dev

QATK0G3QVV QATK0G3QVV

URI	`m2://inv/QATK0G3QVV`
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#X24M (statement). In A50CHJ6Q4V/e1, lemma 2.6

History

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

Lie-to-children QATRDP51B9

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

Mentions

wikipedia: Wikipedia Lie-to-children, Lie-to-children (definition). Also Wikidata Q17064566

History

2026-11-02: add by m2/dev

QATRXSXJ89 QATRXSXJ89

URI	`m2://inv/QATRXSXJ89`
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.37593#CFCC (statement). In YTF96VHKAH/e1, lemma 6.2

History

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

Cauchy's equation QATVD9Q2JY

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#G1BQ, Cauchy's equation (unknown)

History

2026-11-02: add by m2/dev

Examples QATZ3S6D2Q

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

Mentions

wikipedia: Wikipedia Balanced category#PTP4, Examples (example)

History

2026-11-02: add by m2/dev

Applications QAV9YRY04D

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

Mentions

wikipedia: Wikipedia Flow network#0M4P, Applications (example)

History

2026-11-02: add by m2/dev

Theodore William Chaundy QAVA9KWVTR

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

Mentions

wikipedia: Wikipedia Theodore William Chaundy, Theodore William Chaundy (topic). Also Wikidata Q7782103

History

2026-11-02: add by m2/dev

QAVAYXEF9F QAVAYXEF9F

URI	`m2://inv/QAVAYXEF9F`
Kind	example
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#UVAT (example). In 7V3HG30ZGW/e1, example 2.15

History

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

QAVC4T1BS2 QAVC4T1BS2

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

Mentions

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

History

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

Tensor product of fields QAVYDD0CTA

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

Mentions

wikipedia: Wikipedia Glossary of tensor theory#11VP, Tensor product of fields (definition)

History

2026-11-02: add by m2/dev

Catorce, San Luis Potosí QAWAH895W9

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

Mentions

wikipedia: Wikipedia List of places with numeric names#4T9E, Catorce, San Luis Potosí (unknown)

History

2026-11-02: add by m2/dev

Uniform second-order common-factor expansions QAWBS15MXP

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

Mentions

arxiv: arXiv 2609.29658#EGSD, Uniform second-order common-factor expansions (conjecture)

History

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

QAWD86QFBQ QAWD86QFBQ

URI	`m2://inv/QAWD86QFBQ`
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.18775#IH76 (statement). In Y2Y96TTDQ4/e1, lemma 2.4

History

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

Variants QAWS2Q674Z

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

Mentions

wikipedia: Wikipedia A* search algorithm#33CK, Variants (statement)

History

2026-11-02: add by m2/dev

QAWWPTNEKB QAWWPTNEKB

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-22 (exercise). In QKM9DD2H56, exercise, section 8

History

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

Extended Kalman filter QAWZJ4505J

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

Mentions

wikipedia: Wikipedia Extended Kalman filter, Extended Kalman filter (definition). Also Wikidata Q5421817

History

2026-11-02: add by m2/dev

positive real number QAX3QQNV1V

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

Mentions

wikidata: Wikidata Q3176558, positive real number (definition). Also MathWorld PositiveNumber, nLab positive number, ProofWiki Definition:Positive/Real_Number
wikipedia: Wikipedia Positive real numbers, Positive real numbers (definition). Also Wikidata Q3176558

History

2026-10-26: add by m2/dev

Blancmange curve QAX4DJ7E00

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#9DXJ, Blancmange curve (definition)
wikipedia: Wikipedia List of curves#LYPZ, Blancmange curve (definition)

History

2026-11-02: add by m2/dev

Dorothy Maud Wrinch QAX6CND8EV

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

Mentions

wikipedia: Wikipedia List of women logicians#3WSW, Dorothy Maud Wrinch (topic)

History

2026-11-02: add by m2/dev

Optimal rate within the Lyapunov bounds QAX9ZXFQJD

URI	`m2://inv/QAX9ZXFQJD`
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.09356#QSIJ, Optimal rate within the Lyapunov bounds (statement). In 3VVGPXWH6R/e1, proposition C.28

History

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

QAXAQA543N QAXAQA543N

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-40 (exercise). In E59CDZA4DP, exercise, section 9.3.4

History

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

Barbara Abraham-Shrauner QAXFN7ZK2N

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

Mentions

wikipedia: Wikipedia Barbara Abraham-Shrauner, Barbara Abraham-Shrauner (topic). Also Wikidata Q99536295

History

2026-11-02: add by m2/dev

Heckscher–Ohlin theorem QAXRAN9TV8

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

Mentions

mathlib_1000: mathlib_1000 Q1143540, Heckscher–Ohlin theorem (statement). Also Wikidata Q1143540
thousand_plus: thousand_plus Q1143540, Heckscher–Ohlin theorem (statement). Also Wikidata Q1143540, Wikipedia Heckscher–Ohlin theorem
wikipedia: Wikipedia Heckscher–Ohlin theorem, Heckscher–Ohlin theorem (statement). Also Wikidata Q1143540

History

2026-10-26: add by m2/dev

Near the unit circle QAXSV6YMY8

URI	`m2://inv/QAXSV6YMY8`
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#0AW0, Near the unit circle (statement). In 65TJENWK7X/e1, lemma 73

History

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

QAXXX578C1 QAXXX578C1

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

Mentions

arxiv: arXiv 2610.05320#H3AD (statement). In MVXZWHKEX8/e1, lemma 8.2

History

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

QAY01HBAS4 QAY01HBAS4

URI	`m2://inv/QAY01HBAS4`
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.11034#MQJQ (statement). In 2KACPY9MMF/e1, lemma 4.11

History

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

Krivine calculus QAY1M6PP4F

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

Mentions

arxiv: arXiv 2609.27771#VEEK, Krivine calculus (statement)

History

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

QAY5DHMPV4 QAY5DHMPV4

URI	`m2://inv/QAY5DHMPV4`
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.27699#W1A9 (statement)

History

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

Nondegenerate form QAY7RG14FY

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

Mentions

wikipedia: Wikipedia Degenerate bilinear form#L0FH, Nondegenerate form (unknown)

History

2026-11-02: add by m2/dev

Maya Sternberg QAYEH24YFK

URI	`m2://inv/QAYEH24YFK`
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#HV32, Maya Sternberg (topic)

History

2026-11-02: add by m2/dev

QAYHBYH5QE QAYHBYH5QE

URI	`m2://inv/QAYHBYH5QE`
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 2608.24190#YAWU (definition). In DW7FVA587C/e1, definition 3.10

History

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

Lithium Triangle QAYHCX2HSW

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

Mentions

wikipedia: Wikipedia List of triangle topics#3T3X, Lithium Triangle (unknown)

History

2026-11-02: add by m2/dev

Médiamétrie QAYZGR8N9V

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

Mentions

wikipedia: Wikipedia List of polling organizations#1T42, Médiamétrie (unknown)

History

2026-11-02: add by m2/dev

QAZ5F3F84M QAZ5F3F84M

URI	`m2://inv/QAZ5F3F84M`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-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 2607.00146#BJUN (statement). In 6KR7Z5ETRY/e1, lemma 2.11

History

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

QAZ5Y7XEA2 QAZ5Y7XEA2

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

Mentions

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

History

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

QAZ8ZRYW64 QAZ8ZRYW64

URI	`m2://inv/QAZ8ZRYW64`
Kind	example
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.27056#UV1A (example)

History

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

Wall-crossing QAZEYQFRXN

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

Mentions

wikipedia: Wikipedia Wall-crossing, Wall-crossing (definition). Also Wikidata Q7962585

History

2026-11-02: add by m2/dev

Scope of the smooth strongly convex lower bounds QAZMEGRCTP

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

Mentions

arxiv: arXiv 2609.33021#ABSI, Scope of the smooth strongly convex lower bounds (statement). In GG96DW33Q9/e1, theorem 4.2

History

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

Convergence of Sobolev training QAZMX3XXB8

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

Mentions

arxiv: arXiv 2610.05188#L0YZ, Convergence of Sobolev training (statement). In D3SBHHSM34/e1, theorem 1

History

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

QAZNZ020XN QAZNZ020XN

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

Mentions

arxiv: arXiv 2405.09294#V4LD (statement). In 2WZQC0TKVK/e1, lemma 4.1

History

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

QAZQWTQ7SN QAZQWTQ7SN

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

Mentions

arxiv: arXiv 2610.10930#1HL3 (statement). In HX63A1PH1W/e1, corollary 5.29

History

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