Inventory rows J9

J903WA574K J903WA574K

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-201 (exercise). In VNMV985MXX, exercise, section 3.4

History

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

Sinistral and dextral J907QFH1M0

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

Mentions

wikipedia: Wikipedia Sinistral and dextral, Sinistral and dextral (definition). Also Wikidata Q2497260

History

2026-11-02: add by m2/dev

Examples of cross product of differential form J90FGQAQF2

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

Mentions

napkin: napkin tex/homology/cup-product.tex#example-8, Examples of cross product of differential form (example). In RZP28ERRZV, example, section 52.7.6

History

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

J90G2NPK8S J90G2NPK8S

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

Mentions

arxiv: arXiv 2610.05299#5UUM (statement). In 68AE571S4P/e1, proposition 4.16

History

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

Shazam J90SHT132K

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

Mentions

wikipedia: Wikipedia Shazam (econometrics software), Shazam (definition). Also Wikidata Q7390179

History

2026-11-02: add by m2/dev

prior probability J90Y9XW9CB

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#0MIB, prior probability (definition)

History

2026-11-02: add by m2/dev

J911APDC4Q J911APDC4Q

URI	`m2://inv/J911APDC4Q`
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.07001#5FNI (statement). In 5DFTVG7FFF/e1, proposition 5.8

History

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

J9184BHYWV J9184BHYWV

URI	`m2://inv/J9184BHYWV`
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.20801#TFUX (statement). In A1GWWGRXPA/e1, proposition 5.22

History

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

J918N9KHZX J918N9KHZX

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

Mentions

arxiv: arXiv 2501.00810#SMQB (conjecture). In H0MY884WNF/e1, conjecture 1

History

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

J91F7NBJFR J91F7NBJFR

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

Mentions

napkin: napkin tex/alg-NT/dedekind.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 10.7

History

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

J91GB81Q5Z J91GB81Q5Z

URI	`m2://inv/J91GB81Q5Z`
Kind	problem
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.07852#ZQJ5 (problem). In 8X43SAEM99/e1, problem 1.1

History

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

beta carotene J91HJBFBEA

URI	`m2://inv/J91HJBFBEA`
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#VTXS, beta carotene (unknown)

History

2026-11-02: add by m2/dev

Definition J91M4DKYHZ

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

Mentions

wikipedia: Wikipedia Euclidean topology#3RJ4, Definition (definition)

History

2026-11-02: add by m2/dev

Examples J91YKPSQ51

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

Mentions

wikipedia: Wikipedia Transversal (combinatorics)#1P53, Examples (example)

History

2026-11-02: add by m2/dev

Conway group Co3 J91ZYBWVGM

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

Mentions

wikipedia: Wikipedia List of things named after John Horton Conway#HS8I, Conway group Co3 (object)

History

2026-11-02: add by m2/dev

J92214XSEP J92214XSEP

URI	`m2://inv/J92214XSEP`
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.26745#681Q (statement)

History

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

Definition J9260JDK25

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

Mentions

wikipedia: Wikipedia Moment magnitude scale#E2Y5, Definition (definition)

History

2026-11-02: add by m2/dev

J928Q31YZN J928Q31YZN

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/verification.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 87.3

History

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

algebraic elements J928WNTDFR

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

Mentions

mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > algebraic elements, algebraic elements (unknown). Also Mathlib IsAlgebraic

History

2026-10-26: add by m2/dev

J92EQF4GZB J92EQF4GZB

URI	`m2://inv/J92EQF4GZB`
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.31393#T52G (statement). In ED0WC9Z55C/e1, theorem 2.1

History

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

Hans Bethe J92KD5TJXT

URI	`m2://inv/J92KD5TJXT`
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 Q155794, Hans Bethe (unknown). Also nLab Hans Bethe

History

2026-10-26: add by m2/dev

J92KZXC5NQ J92KZXC5NQ

URI	`m2://inv/J92KZXC5NQ`
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.19132#ZOHR (statement). In 3CQJND929F/e1, lemma 2.5

History

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

Pyotr Novikov J92SCDTGPY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#B9QQ, Pyotr Novikov (topic)

History

2026-11-02: add by m2/dev

Helen F. Cullen J93AN0GK5S

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

Mentions

wikipedia: Wikipedia Helen F. Cullen, Helen F. Cullen (topic). Also Wikidata Q48659114

History

2026-11-02: add by m2/dev

J93CAQSZZ4 J93CAQSZZ4

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

Mentions

wikipedia: Wikipedia Crossing number (graph theory)#LOWR (problem)

History

2026-11-02: add by m2/dev

Gavril Farkas J93R7XM5HR

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

Mentions

wikipedia: Wikipedia Gavril Farkas, Gavril Farkas (topic). Also Wikidata Q102217800

History

2026-11-02: add by m2/dev

520 (number) J93SVJHHMD

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

Mentions

wikipedia: Wikipedia 500 (number)#TNSC, 520 (number) (unknown)

History

2026-11-02: add by m2/dev

J93WQ19QS4 J93WQ19QS4

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#example-6 (example). In E59CDZA4DP, example, section 11.1.2

History

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

Additivity up to bounded error J93ZD61P2H

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

Mentions

arxiv: arXiv 2609.27851#WS80, Additivity up to bounded error (statement)

History

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

The central gerbe and finite trace J942JVJY3Z

URI	`m2://inv/J942JVJY3Z`
Kind	statement
Layer	research
MSC	14-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.00490#4J4J, The central gerbe and finite trace (statement). In PZJDV6SJ9E/e1, lemma 8.4

History

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

J946E11RST J946E11RST

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

Mentions

arxiv: arXiv 2610.08091#KHO9 (statement). In MS13WE3CSD/e1, proposition 4.5

History

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

Monte Carlo method in statistical mechanics J946ZK2TBY

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

Mentions

wikipedia: Wikipedia Monte Carlo method in statistical mechanics, Monte Carlo method in statistical mechanics (definition). Also Wikidata Q6904698

History

2026-11-02: add by m2/dev

J94BK6JNHN J94BK6JNHN

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

Mentions

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

History

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

J94P4C9SQ6 J94P4C9SQ6

URI	`m2://inv/J94P4C9SQ6`
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.32065#IF21 (statement). In 6Z9JQP3204/e1, lemma 3.3

History

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

Lorenzo Peña J94P9NYTJH

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

Mentions

wikipedia: Wikipedia List of logicians#VFDB, Lorenzo Peña (topic)

History

2026-11-02: add by m2/dev

Elwyn Berlekamp J94SWHZZ7V

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2C8A, Elwyn Berlekamp (topic)

History

2026-11-02: add by m2/dev

J94XDPJ7JC J94XDPJ7JC

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

Mentions

open_logic: open_logic content/methods/induction/structural-induction.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 44.5

History

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

J94Z4FARYB J94Z4FARYB

URI	`m2://inv/J94Z4FARYB`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 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 1209.5343#QO73 (statement). In 4SPYEGKZ8J/e1, lemma 3.6

History

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

J951WMV0CB J951WMV0CB

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

Mentions

arxiv: arXiv 2404.06445#FZWG (statement). In 12JKZ8EN52/e1, theorem 1.3

History

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

Causal machine learning J956AZ4GT2

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

Mentions

wikipedia: Wikipedia Causal inference#SUVP, Causal machine learning (unknown)

History

2026-11-02: add by m2/dev

Regular parametric representation J958W10ZF9

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

Mentions

wikipedia: Wikipedia List of curves topics#N68G, Regular parametric representation (topic)

History

2026-11-02: add by m2/dev

Superpattern J95BETBTV0

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

Mentions

wikipedia: Wikipedia Superpattern, Superpattern (definition). Also Wikidata Q17103796

History

2026-11-02: add by m2/dev

Quantile regression averaging J95BRNBBNB

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

Mentions

wikipedia: Wikipedia Quantile regression averaging, Quantile regression averaging (definition). Also Wikidata Q25304420

History

2026-11-02: add by m2/dev

Normal distribution quantile function J95KCZJ9RZ

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

Mentions

wikipedia: Wikipedia Normal distribution#IZRN, Normal distribution quantile function (unknown)

History

2026-11-02: add by m2/dev

Martin Isaacs J95VJBRN0Q

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BRMO, Martin Isaacs (topic)

History

2026-11-02: add by m2/dev

Quadratic phase J95W2YM47F

URI	`m2://inv/J95W2YM47F`
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.10583#4JNN, Quadratic phase (statement). In 5BZQS1KY9A/e1, lemma 5.5

History

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

Semiconductor luminescence equations J963EX3NTT

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

Mentions

wikipedia: Wikipedia Semiconductor luminescence equations, Semiconductor luminescence equations (definition). Also Wikidata Q17052178

History

2026-11-02: add by m2/dev

J963H9N73Z J963H9N73Z

URI	`m2://inv/J963H9N73Z`
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 2206.12966#GXL2 (statement). In VH93X5QZDV/e1, lemma 1.1

History

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

J963JNHFYT J963JNHFYT

URI	`m2://inv/J963JNHFYT`
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 2311.01874#06D6 (statement). In A4TR95VGX2/e1, corollary 5

History

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

Symmetry J9661Z1R21

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

Mentions

wikipedia: Wikipedia Triakis icosahedron#6IAY, Symmetry (statement)

History

2026-11-02: add by m2/dev

J96M8KPNXJ J96M8KPNXJ

URI	`m2://inv/J96M8KPNXJ`
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.02017#6EYF (statement). In F6C80AEXC1/e1, lemma 4.10

History

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

Use of aggregate data J96NYSCJ65

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

Mentions

wikipedia: Wikipedia Aggregate data#TZWS, Use of aggregate data (example)

History

2026-11-02: add by m2/dev

J96QX95WRM J96QX95WRM

URI	`m2://inv/J96QX95WRM`
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 2304.02722#QIQO (statement). In AH7D55D3WV/e1, lemma 19.2

History

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

J96T66JTQC J96T66JTQC

URI	`m2://inv/J96T66JTQC`
Kind	statement
Layer	research
MSC	46-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 1204.5958#H0MY (statement). In XYCBKM4WKY/e1, theorem 30

History

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

J96TP9EJBJ J96TP9EJBJ

URI	`m2://inv/J96TP9EJBJ`
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 2209.08186#1PY9 (statement). In X6VGVPQH8V/e1, theorem 4.6

History

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

Quasi-harmonic motion J973YKN5BB

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

Mentions

wikipedia: Wikipedia Unit hyperbola#9R1B, Quasi-harmonic motion (unknown)

History

2026-11-02: add by m2/dev

Graham Brightwell J976P4P0V9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4KOK, Graham Brightwell (topic)

History

2026-11-02: add by m2/dev

J978A7RGX5 J978A7RGX5

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

Mentions

arxiv: arXiv 2610.12479#OB1W (statement). In WE001PR75Z/e1, theorem 22

History

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

Initialization vector J978HKSE7Q

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

Mentions

wikipedia: Wikipedia Initialization vector, Initialization vector (definition). Also Wikidata Q1663550

History

2026-11-02: add by m2/dev

Dmitri Olegovich Orlov J97PRAZQKP

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

Mentions

wikipedia: Wikipedia Dmitri Olegovich Orlov, Dmitri Olegovich Orlov (topic). Also Wikidata Q41573736

History

2026-11-02: add by m2/dev

J97XMDKREP J97XMDKREP

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

Mentions

napkin: napkin tex/diffgeo/forms.tex#def:exterior_derivative (definition). In RZP28ERRZV, definition, section 43.4

History

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

J983J1MFC9 J983J1MFC9

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#definition-2 (definition). In P1C114YBXG, definition, section K

History

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

J98D3NWTK0 J98D3NWTK0

URI	`m2://inv/J98D3NWTK0`
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 0809.4587#LVC4 (statement). In KQ8JPHDKKE/e1, theorem 9.6.1

History

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

Two estimates near the critical pair J98P4M48GZ

URI	`m2://inv/J98P4M48GZ`
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.06490#36US, Two estimates near the critical pair (statement). In NKXTXH59P1/e1, lemma F.5

History

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

J98VFQTCBV J98VFQTCBV

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

Mentions

arxiv: arXiv 2505.05539#RKTN (definition). In 8SVVEVGMNE/e1, definition 2.2

History

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

∞-sheaf J98X5ZAES7

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

Mentions

wikipedia: Wikipedia Glossary of category theory#X4JI, ∞-sheaf (definition)

History

2026-11-02: add by m2/dev

teorema J98Z501582

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

Mentions

wikipedia: Wikipedia List of logic journals#TO8I, teorema (unknown)

History

2026-11-02: add by m2/dev

J990FCZNSF J990FCZNSF

URI	`m2://inv/J990FCZNSF`
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.00660#S1KO (statement). In FF8A8FP4FB/e1, theorem 2

History

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

Fano's Inequality J991F6SN91

URI	`m2://inv/J991F6SN91`
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.10840#NKM7, Fano's Inequality (statement). In JSJQEPY71E/e1, lemma 2.1

History

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

J993KF7DWK J993KF7DWK

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

Mentions

arxiv: arXiv 2610.22317#CRQ0 (statement). In 2W5Z97BBW4/e1, lemma 2.43

History

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

J999VF1TGM J999VF1TGM

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

Mentions

arxiv: arXiv 2411.00562#HL37 (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm

History

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

J99HV3EZPD J99HV3EZPD

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

Mentions

open_logic: open_logic content/model-theory/models-of-arithmetic/standard-models.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 49.4

History

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

Applications J99K6VPJ07

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

Mentions

wikipedia: Wikipedia Hurwitz space#MD1M, Applications (example)

History

2026-11-02: add by m2/dev

Definition J99NMRM8B3

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

Mentions

wikipedia: Wikipedia Monoid#BEBT, Definition (definition)

History

2026-11-02: add by m2/dev

J99TDG8ACA J99TDG8ACA

URI	`m2://inv/J99TDG8ACA`
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 2410.10337#3346 (statement). In RBBF0XNZ5E/e1, lemma 20

History

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

J99XY4BDSC J99XY4BDSC

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

Mentions

arxiv: arXiv 2610.22161#VF78 (definition). In FVM35KPN8C/e1, definition 4.5

History

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

Reinhold Remmert J99Y123K8N

URI	`m2://inv/J99Y123K8N`
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 Q73009, Reinhold Remmert (unknown). Also nLab Reinhold Remmert
wikipedia: Wikipedia Reinhold Remmert, Reinhold Remmert (topic). Also Wikidata Q73009

History

2026-10-26: add by m2/dev

J99YH0J668 J99YH0J668

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

Mentions

arxiv: arXiv 1903.07030#1621 (definition). In 9H45HQE7AZ/e1, definition 3.23

History

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

J99ZN37NWQ J99ZN37NWQ

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

Mentions

arxiv: arXiv 2609.37520#N3JH (statement). In BDN507RN7J/e1, corollary 4.4.13

History

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

J9A0RHAJ4E J9A0RHAJ4E

URI	`m2://inv/J9A0RHAJ4E`
Kind	definition
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.10928#EX5K (definition). In 8M7BFVQYMM/e1, definition 3.1

History

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

J9ACBA0CJ1 J9ACBA0CJ1

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

Mentions

arxiv: arXiv 2610.01596#2Q3I (statement). In 40VTEP7WH8/e1, theorem

History

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

Generalized Fermat J9AE7Q727D

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

Mentions

wikipedia: Wikipedia Fermat number#ODLT, Generalized Fermat (unknown)

History

2026-11-02: add by m2/dev

Properties J9AFRBFJ2Z

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

Mentions

wikipedia: Wikipedia Γ-convergence#AA6M, Properties (statement)

History

2026-11-02: add by m2/dev

Strong trace in expectation J9AFV0SEDX

URI	`m2://inv/J9AFV0SEDX`
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.20735#WNTG, Strong trace in expectation (statement)

History

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

Global pure-pair obstruction rank J9ARNYKHAH

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

Mentions

arxiv: arXiv 2610.20649#SNS9, Global pure-pair obstruction rank (statement). In XDTM624YPE/e1, theorem 11.4

History

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

Churning J9ARNZYK36

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

Mentions

wikipedia: Wikipedia Churning (cipher), Churning (definition). Also Wikidata Q5118312

History

2026-11-02: add by m2/dev

Resolution of the basis set conundrum with the Rayleigh theorem for eigenvalues J9AVQWKPD1

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

Mentions

wikipedia: Wikipedia Rayleigh theorem for eigenvalues#GO09, Resolution of the basis set conundrum with the Rayleigh theorem for eigenvalues (statement)

History

2026-11-02: add by m2/dev

List of meshfree methods J9AVZ5QVP8

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

Mentions

wikipedia: Wikipedia Meshfree methods#43IP, List of meshfree methods (unknown)

History

2026-11-02: add by m2/dev

Peter Gustav Lejeune Dirichlet J9AY7S0378

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#7B7C, Peter Gustav Lejeune Dirichlet (topic)

History

2026-11-02: add by m2/dev

Scleronomous J9AZTQRBQ8

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

Mentions

wikipedia: Wikipedia Scleronomous, Scleronomous (definition). Also Wikidata Q7434180

History

2026-11-02: add by m2/dev

J9B7Q6RW59 J9B7Q6RW59

URI	`m2://inv/J9B7Q6RW59`
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.33775#BYCI (statement). In VVQ1FMTHXB/e1, lemma 5.3

History

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

J. Alan George J9B966RE02

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JU4N, J. Alan George (unknown)

History

2026-11-02: add by m2/dev

J9BJXTZNW8 J9BJXTZNW8

URI	`m2://inv/J9BJXTZNW8`
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.06461#JGMA (statement). In QXY3W2JV2N/e1, proposition 3.12

History

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

J9BK0K606Y J9BK0K606Y

URI	`m2://inv/J9BK0K606Y`
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#JFLR (statement). In SFQBJBTW8K/e1, lemma 5.1

History

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

Mahler measure J9BMXESGE0

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

Mentions

wikipedia: Wikipedia List of number theory topics#AGPA, Mahler measure (definition)

History

2026-11-02: add by m2/dev

Examples J9BTQ84V16

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

Mentions

wikipedia: Wikipedia Unit distance graph#0DBG, Examples (example)

History

2026-11-02: add by m2/dev

Artin--Mazur J9BX5SBT52

URI	`m2://inv/J9BX5SBT52`
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.35467#6S0K, Artin--Mazur (statement). In FK89DQ9J4S/e1, lemma 2.9

History

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

J9C21WR3G5 J9C21WR3G5

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

Mentions

arxiv: arXiv 2609.39218#OOMB (statement). In VPZSCE8HFP/e1, theorem 4.4

History

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

Étale cohomology J9C2QGC63N

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

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#P5Y3, Étale cohomology (definition)

History

2026-11-02: add by m2/dev

J9C48E5P6C J9C48E5P6C

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

Mentions

arxiv: arXiv 2610.08655#ES7Z (statement). In ZT7H1ZDN96/e1, proposition 3.5

History

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

Asymmetric three-node patch J9C5EP5MH2

URI	`m2://inv/J9C5EP5MH2`
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.25027#C19F, Asymmetric three-node patch (statement)

History

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

Definition J9C7Z06FC1

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

Mentions

wikipedia: Wikipedia Signature (logic)#7IG4, Definition (definition)

History

2026-11-02: add by m2/dev

J9CM2ZS0DP J9CM2ZS0DP

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

Mentions

arxiv: arXiv 2310.06695#SYDE (statement). In D6F8XGF5SS/e1, proposition 5.1

History

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

RSA-190 J9CM3BNT64

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

Mentions

wikipedia: Wikipedia RSA numbers#JLDB, RSA-190 (unknown)

History

2026-11-02: add by m2/dev

J9CMTDAJ2T J9CMTDAJ2T

URI	`m2://inv/J9CMTDAJ2T`
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 2407.20385#C0PB (statement). In PZRSZ19KAH/e1, lemma A.3

History

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

Notation J9CTM0GNC9

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

Mentions

wikipedia: Wikipedia Green's function number#WSGH, Notation (definition)

History

2026-11-02: add by m2/dev

J9CVADQJPG J9CVADQJPG

URI	`m2://inv/J9CVADQJPG`
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.31274#LRR8 (statement). In RK0ZMDJ23T/e1, lemma 3.4.9

History

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

Example J9D4X28H5C

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

Mentions

wikipedia: Wikipedia Murnaghan–Nakayama rule#WQ2Y, Example (example)

History

2026-11-02: add by m2/dev

Agreement with the cascade J9D867B28N

URI	`m2://inv/J9D867B28N`
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.18350#AFH2, Agreement with the cascade (statement). In A20E8FZS21/e1, proposition A.8

History

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

J9D9XYB5JP J9D9XYB5JP

URI	`m2://inv/J9D9XYB5JP`
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#X4SO (statement). In YNE0Q2X61Y/e1, lemma 2.4

History

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

pseudo-tensor category J9DJ5Y08MD

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

Mentions

wikipedia: Wikipedia Glossary of category theory#254S, pseudo-tensor category (definition)

History

2026-11-02: add by m2/dev

J9DNV7AGF3 J9DNV7AGF3

URI	`m2://inv/J9DNV7AGF3`
Kind	statement
Layer	research
MSC	51-XX, 52-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.11596#702W (statement). In 76850E2X7T/e1, theorem 3.12

History

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

Nonemptiness of $C_{n,r}(P;S)$ J9DPNGFSQ1

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

Mentions

arxiv: arXiv 2505.10801#TDRF, Nonemptiness of $C_{n,r}(P;S)$ (statement). In BWJS3H55WH/e1, lemma 16

History

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

lower bound, all $n$ J9DRQZ0B7S

URI	`m2://inv/J9DRQZ0B7S`
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 2609.26134#HVOK, lower bound, all $n$ (statement)

History

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

J9E0AEE4DT J9E0AEE4DT

URI	`m2://inv/J9E0AEE4DT`
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 1009.2047#SNFR (definition). In F3MWRNBNED/e1, definition 2.2

History

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

J9E0DCQV14 J9E0DCQV14

URI	`m2://inv/J9E0DCQV14`
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.07508#NUXK (statement). In TPA3E67MKK/e1, lemma 8.1

History

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

Dietrich Braess J9E4HH82M3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BSGW, Dietrich Braess (topic)

History

2026-11-02: add by m2/dev

Jackson network J9EAMZJ0X4

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

Mentions

wikipedia: Wikipedia List of statistics articles#CQM3, Jackson network (definition)

History

2026-11-02: add by m2/dev

J9EE3Q3Y23 J9EE3Q3Y23

URI	`m2://inv/J9EE3Q3Y23`
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.23287#Z4PN (statement)

History

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

J9EE4D12HC J9EE4D12HC

URI	`m2://inv/J9EE4D12HC`
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#7KQH (definition). In F3BKXXPR3K/e1, definition 3.42

History

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

Non-negative least squares J9EJ77XA26

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

Mentions

wikipedia: Wikipedia Non-negative least squares, Non-negative least squares (definition). Also Wikidata Q17086437

History

2026-11-02: add by m2/dev

Uniform local algebraic Riccati solutions J9EM55XPAE

URI	`m2://inv/J9EM55XPAE`
Kind	statement
Layer	research
MSC	37-XX, 49-XX, 62-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.23927#US3N, Uniform local algebraic Riccati solutions (statement)

History

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

J9EQ6SZJWG J9EQ6SZJWG

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

Mentions

arxiv: arXiv 2609.25983#UWLM (example)

History

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

Illinois Journal of Mathematics J9ETSQ89HP

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

Mentions

wikipedia: Wikipedia Illinois Journal of Mathematics, Illinois Journal of Mathematics (definition). Also Wikidata Q15746487

History

2026-11-02: add by m2/dev

Exponential Uncertainty Decay J9EYZS5SV6

URI	`m2://inv/J9EYZS5SV6`
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.25589#DR7S, Exponential Uncertainty Decay (statement)

History

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

Zero stability J9F0A1EVVH

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

Mentions

wikipedia: Wikipedia Zero stability, Zero stability (definition). Also Wikidata Q111913479

History

2026-11-02: add by m2/dev

J9F3C1ASSR J9F3C1ASSR

URI	`m2://inv/J9F3C1ASSR`
Kind	definition
Layer	research
MSC	16-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.27420#4C0V (definition)

History

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

J9F5KZ5P6X J9F5KZ5P6X

URI	`m2://inv/J9F5KZ5P6X`
Kind	statement
Layer	research
MSC	13-XX, 14-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.38068#I69V (statement). In 67GE5M1GGD/e1, proposition 4.4

History

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

779 (number) J9F5N3PRA8

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

Mentions

wikipedia: Wikipedia 700 (number)#X0PZ, 779 (number) (unknown)

History

2026-11-02: add by m2/dev

J9F6S2JJZ3 J9F6S2JJZ3

URI	`m2://inv/J9F6S2JJZ3`
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.05784#6KME (definition). In 6NVP3YRWVA/e1, definition 2.30

History

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

J9FAFYB7FK J9FAFYB7FK

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

Mentions

arxiv: arXiv 2610.19300#SI1D (definition). In S6S4RD5VXJ/e1, definition 4

History

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

J9FB2RD0BX J9FB2RD0BX

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

Mentions

arxiv: arXiv 2610.03612#9Y2X (statement). In REDG6QVHM3/e1, proposition 4.7

History

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

J9FCTZ287T J9FCTZ287T

URI	`m2://inv/J9FCTZ287T`
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.02216#A6GH (statement). In 34JGRZ2M5F/e1, corollary 1.3

History

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

J9FNTR4QGJ J9FNTR4QGJ

URI	`m2://inv/J9FNTR4QGJ`
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#O3IY (statement). In CB35ZBBBPT/e1, proposition 4.20

History

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

J9FQYV6DYF J9FQYV6DYF

URI	`m2://inv/J9FQYV6DYF`
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.03272#YDSG (statement). In H9ZC46G7BX/e1, lemma 2.1

History

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

Monotonic split conformity measure J9FYNRF33C

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

Mentions

arxiv: arXiv 2609.23350#1XMR, Monotonic split conformity measure (definition)

History

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

Symmetry J9FYV82VS5

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

Mentions

wikipedia: Wikipedia Order-4 square tiling honeycomb#7JW7, Symmetry (statement)

History

2026-11-02: add by m2/dev

J9G4CCCYFN J9G4CCCYFN

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

Mentions

arxiv: arXiv 2609.26337#UBJ2 (example)

History

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

Definition J9G5SZ8H6D

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

Mentions

wikipedia: Wikipedia Miller index#5PI9, Definition (definition)

History

2026-11-02: add by m2/dev

Totally disconnected J9G7MZXA7F

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

Mentions

wikipedia: Wikipedia Glossary of general topology#AA8J, Totally disconnected (definition)

History

2026-11-02: add by m2/dev

First-harmonic formula for the derivative J9G93TXKA6

URI	`m2://inv/J9G93TXKA6`
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.28014#SPOF, First-harmonic formula for the derivative (statement)

History

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

Examples J9GD9F38NA

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

Mentions

wikipedia: Wikipedia Band matrix#4NC4, Examples (example)

History

2026-11-02: add by m2/dev

Poisson bracket J9GDTYD3ER

URI	`m2://inv/J9GDTYD3ER`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Poisson bracket 2S0MXDT4YH

Mentions

wikidata: Wikidata Q1052775, Poisson bracket (concept). Also EoM Poisson_brackets, MathWorld PoissonBracket
wikipedia: Wikipedia Poisson bracket, Poisson bracket (definition). Also Wikidata Q1052775

History

2026-10-26: add by m2/dev

J9GFYZ8TZX J9GFYZ8TZX

URI	`m2://inv/J9GFYZ8TZX`
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.18270#ZGFK (statement). In CPDMYJ0NJV/e1, lemma 9.2

History

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

Properties J9GJWAJHY9

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

Mentions

wikipedia: Wikipedia Anticommutative property#05L3, Properties (statement)

History

2026-11-02: add by m2/dev

Generalization J9GKXMJQ83

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

Mentions

wikipedia: Wikipedia Incidence structure#52FB, Generalization (statement)

History

2026-11-02: add by m2/dev

J9GM26DVQF J9GM26DVQF

URI	`m2://inv/J9GM26DVQF`
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.10230#5IDI (statement). In YS75517SF7/e1, lemma 3.2

History

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

J9GPPP5VYP J9GPPP5VYP

URI	`m2://inv/J9GPPP5VYP`
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.34168#G6J8 (statement). In 30YQV8N04M/e1, lemma 3.3

History

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

Cours d'analyse de l'École polytechnique J9H7VNR86Q

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

Mentions

wikipedia: Wikipedia Cours d'analyse de l'École polytechnique, Cours d'analyse de l'École polytechnique (definition). Also Wikidata Q42188284

History

2026-11-02: add by m2/dev

J9HAC6TSFV J9HAC6TSFV

URI	`m2://inv/J9HAC6TSFV`
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.00811#HTUE (definition). In G1SKAMET0T/e1, definition 1

History

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

J9HBNNFV35 J9HBNNFV35

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

Mentions

arxiv: arXiv 2609.39293#7EMT (statement). In S26QVW5613/e1, theorem 5.4.8

History

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

J9HHC7P48Y J9HHC7P48Y

URI	`m2://inv/J9HHC7P48Y`
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.23994#3KVQ (statement)

History

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

graph connectivity measure J9HMRP3CMS

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

Mentions

wikidata: Wikidata Q72897900, graph connectivity measure (unknown). Also EoM Graph,_connectivity_of_a
wikipedia: Wikipedia Connectivity (graph theory), Connectivity (definition). Also Wikidata Q72897900

History

2026-10-26: add by m2/dev

J9HPKRTC0S J9HPKRTC0S

URI	`m2://inv/J9HPKRTC0S`
Kind	example
Layer	research
MSC	17-XX, 19-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 2504.00596#KYP3 (example). In F8RC6AENB0/e1, example 3.15

History

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

Computation of and J9HV8NG4WH

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

Mentions

wikipedia: Wikipedia Cubic equation#JIVP, Computation of and (definition)

History

2026-11-02: add by m2/dev

Convex polyhedra J9J6HBBP9V

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

Mentions

wikipedia: Wikipedia Polyhedron#T3YM, Convex polyhedra (unknown)

History

2026-11-02: add by m2/dev

Ewa Ligocka J9JF1KQV4Q

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

Mentions

wikipedia: Wikipedia Ewa Ligocka, Ewa Ligocka (topic). Also Wikidata Q102400725

History

2026-11-02: add by m2/dev

J9JFRF1AFM J9JFRF1AFM

URI	`m2://inv/J9JFRF1AFM`
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.19513#HDVG (statement). In Q557CNT758/e1, theorem 4.3

History

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

J9JH4RDDJG J9JH4RDDJG

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

Mentions

arxiv: arXiv 2303.00676#YQWS (statement). In 5351H04TJY/e1, theorem 4.14

History

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

J9JN84ZG1K J9JN84ZG1K

URI	`m2://inv/J9JN84ZG1K`
Kind	statement
Layer	research
MSC	16-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.02042#4L15 (statement). In P3HWTYFDBX/e1, lemma 6.4

History

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

J9JNMCK83E J9JNMCK83E

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-305 (exercise). In VNMV985MXX, exercise, section 6.7

History

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

J9K4MARSVK J9K4MARSVK

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-11 (exercise). In P1C114YBXG, problem, section 1

History

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

Martha M. Gardner J9KSHMKBK2

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

Mentions

wikipedia: Wikipedia Martha M. Gardner, Martha M. Gardner (topic). Also Wikidata Q42781140

History

2026-11-02: add by m2/dev

J9KT7TTCFA J9KT7TTCFA

URI	`m2://inv/J9KT7TTCFA`
Kind	problem
Layer	research
MSC	03-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.05986#WV3U (problem). In N5ZM8MXJXH/e1, problem 2.8

History

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

theory of Krull dimension J9KTDF9SMM

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

Mentions

wikidata: Wikidata Q114705590, theory of Krull dimension (topic)

History

2026-10-26: add by m2/dev

Uniform local metric deficit under pullbacks J9KVK5702J

URI	`m2://inv/J9KVK5702J`
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.30103#GXCS, Uniform local metric deficit under pullbacks (statement)

History

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

J9KZ2D0RPP J9KZ2D0RPP

URI	`m2://inv/J9KZ2D0RPP`
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 2601.01000#BSCQ (definition). In RYFV9HGWWZ/e1, definition 17

History

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

J9M6CW1RWW J9M6CW1RWW

URI	`m2://inv/J9M6CW1RWW`
Kind	statement
Layer	research
MSC	11-XX, 19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.28677#30KR (statement)

History

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

Conditional tails J9M9B6WS58

URI	`m2://inv/J9M9B6WS58`
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.19982#HDDZ, Conditional tails (statement)

History

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

Axiom schema of predicative separation J9MAQ0MQXN

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

Mentions

wikipedia: Wikipedia Axiom schema of predicative separation, Axiom schema of predicative separation (statement). Also Wikidata Q4830561

History

2026-11-02: add by m2/dev

Frobenius reciprocity theorem J9ME2A4HGK

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

Mentions

wikipedia: Wikipedia List of theorems#RL5R, Frobenius reciprocity theorem (definition)

History

2026-11-02: add by m2/dev

Gesang der Parzen J9MGK9TK8H

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

Mentions

wikidata: Wikidata Q5553557, Gesang der Parzen (unknown). Also nLab 000036047539

History

2026-10-26: add by m2/dev

Emmy Noether J9MKB9664X

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

Mentions

wikipedia: Wikipedia List of group theory topics#KGZW, Emmy Noether (topic)
wikipedia: Wikipedia List of people by Erdős number#I85P, Emmy Noether (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#65EJ, Emmy Noether (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VYQU, Emmy Noether (topic)
wikipedia: Wikipedia List of German mathematicians#YOR6, Emmy Noether (topic)

History

2026-11-02: add by m2/dev

j J9MPPCESTG

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

Mentions

wikipedia: Wikipedia Glossary of set theory#1SMI, j (definition)

History

2026-11-02: add by m2/dev

Spectral edges and support J9MPZD8AJ8

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

Mentions

arxiv: arXiv 2610.16680#MIQJ, Spectral edges and support (statement). In H29YHXQZV6/e1, proposition 19

History

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

Theorem J9N3CE8ZEK

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

Mentions

wikipedia: Wikipedia Graph flattenability#QXEJ, Theorem (statement)

History

2026-11-02: add by m2/dev

J9NAZZ1VF4 J9NAZZ1VF4

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

Mentions

arxiv: arXiv 2610.14458#4C48 (statement). In WJ76MVYAZQ/e1, lemma 3.16

History

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

Erin Blankenship J9NF9DWJSV

URI	`m2://inv/J9NF9DWJSV`
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#VIVC, Erin Blankenship (topic)

History

2026-11-02: add by m2/dev

Constructions J9NVDS2TGT

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

Mentions

wikipedia: Wikipedia Higher local field#6ER4, Constructions (definition)

History

2026-11-02: add by m2/dev

J9P00HVC1F J9P00HVC1F

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

Mentions

arxiv: arXiv 2609.20607#DWRV (problem)

History

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

Lawler, Gregory Francis J9P2M8RRFB

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

Mentions

wikipedia: Wikipedia List of statisticians#F4VP, Lawler, Gregory Francis (unknown)

History

2026-11-02: add by m2/dev

J9P7183608 J9P7183608

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

Mentions

arxiv: arXiv 2609.36423#9OIL (definition). In Q5Z178SAHP/e1, definition 4.1

History

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

millilitre J9P7VXX2TR

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

Mentions

wikidata: Wikidata Q2332346, millilitre (definition). Also ProofWiki Definition:Metric_System/Volume/Millilitre

History

2026-10-26: add by m2/dev

Bipartite half J9P88MR9W6

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

Mentions

wikipedia: Wikipedia Bipartite half, Bipartite half (definition). Also Wikidata Q17005048

History

2026-11-02: add by m2/dev

Frerejacque number J9P8RCQQA6

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

Mentions

wikipedia: Wikipedia Cyclomatic number#GNR3, Frerejacque number (unknown)

History

2026-11-02: add by m2/dev

J9PJ2FE33V J9PJ2FE33V

URI	`m2://inv/J9PJ2FE33V`
Kind	statement
Layer	research
MSC	05-XX, 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 2608.17785#DZS0 (statement). In H3FDP8S1Z7/e1, lemma 2.2

History

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

Borel–Carathéodory theorem J9PNMMHZ65

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

Mentions

mathlib_1000: mathlib_1000 Q3229335, Borel–Carathéodory theorem (statement). Also Mathlib Complex.borelCaratheodory, Wikidata Q3229335
thousand_plus: thousand_plus Q3229335, Borel–Carathéodory theorem (statement). Also Mathlib Complex.borelCaratheodory, Wikidata Q3229335, Wikipedia Borel–Carathéodory theorem
wikipedia: Wikipedia Borel–Carathéodory theorem, Borel–Carathéodory theorem (statement). Also Wikidata Q3229335

History

2026-10-26: add by m2/dev

J9PNP42297 J9PNP42297

URI	`m2://inv/J9PNP42297`
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.23237#I4XP (statement)

History

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

Event horizon of a black hole J9PX44DH73

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

Mentions

wikipedia: Wikipedia Event horizon#7MG1, Event horizon of a black hole (unknown)

History

2026-11-02: add by m2/dev

Hélène Morlon J9PZ4D0CDB

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

Mentions

wikipedia: Wikipedia Hélène Morlon, Hélène Morlon (topic). Also Wikidata Q27925350

History

2026-11-02: add by m2/dev

J. W. T. Youngs J9Q2169SJ9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#M762, J. W. T. Youngs (topic)

History

2026-11-02: add by m2/dev

J9Q54GC070 J9Q54GC070

URI	`m2://inv/J9Q54GC070`
Kind	definition
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 2609.21914#BF7M (definition)

History

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

Definitions J9QPNRKW07

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

Mentions

wikipedia: Wikipedia Covering space#K7NS, Definitions (definition)

History

2026-11-02: add by m2/dev

Abraham Lempel J9QQXJFM7Z

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#COT1, Abraham Lempel (unknown)

History

2026-11-02: add by m2/dev

Pushed resolvent estimate J9QQY1J1WF

URI	`m2://inv/J9QQY1J1WF`
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.21972#BR21, Pushed resolvent estimate (statement)

History

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

J9QVCVM1AQ J9QVCVM1AQ

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

Mentions

arxiv: arXiv 2610.13883#XQ2M (statement). In F3PQ8P7R2B/e1, lemma 9

History

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

J9R26P94RP J9R26P94RP

URI	`m2://inv/J9R26P94RP`
Kind	statement
Layer	research
MSC	60-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.16267#0QLN (statement). In 65GKPZ15VH/e1, proposition 3.10

History

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

J9R536M79E J9R536M79E

URI	`m2://inv/J9R536M79E`
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.07001#GGB2 (statement). In 5DFTVG7FFF/e1, proposition 3.4

History

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

handwaving J9R6AFDB59

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#FX0B, handwaving (definition)

History

2026-11-02: add by m2/dev

Terminology J9R9AY0K75

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

Mentions

wikipedia: Wikipedia Generator matrix#60KP, Terminology (definition)

History

2026-11-02: add by m2/dev

Positive-mass closure J9RA0KHX6R

URI	`m2://inv/J9RA0KHX6R`
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.19837#5EZ8, Positive-mass closure (statement). In 837NSWQM1P/e1, lemma 6.3

History

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

Longest common subsequence problem J9RB9QF3RV

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#3M9X, Longest common subsequence problem (definition)

History

2026-11-02: add by m2/dev

tetrahedroid J9RBGRHMDC

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#AWRR, tetrahedroid (definition)

History

2026-11-02: add by m2/dev

An example J9RE72B3YD

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

Mentions

wikipedia: Wikipedia Mixed-design analysis of variance#144J, An example (example)

History

2026-11-02: add by m2/dev

Star plot J9RH6QT3MC

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

Mentions

wikipedia: Wikipedia List of statistics articles#RCTO, Star plot (definition)

History

2026-11-02: add by m2/dev

J9RV9DSY4E J9RV9DSY4E

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

Mentions

arxiv: arXiv 2609.39317#OJR0 (statement). In QM1T8JDK4A/e1, lemma 4.2

History

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

Computation of the Weyr canonical form J9RWDK9P56

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

Mentions

wikipedia: Wikipedia Weyr canonical form#1S2X, Computation of the Weyr canonical form (definition)

History

2026-11-02: add by m2/dev

Trace identities J9RZGJNWNX

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

Mentions

arxiv: arXiv 2609.25762#TKU4, Trace identities (statement)

History

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

Atomic compression of continuous observables J9S5DAFX1S

URI	`m2://inv/J9S5DAFX1S`
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.10017#KNVR, Atomic compression of continuous observables (statement). In CJRBKR4JKT/e1, lemma 2.4

History

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

J9S7P7S57Y J9S7P7S57Y

URI	`m2://inv/J9S7P7S57Y`
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.05327#MU20 (statement). In ZD7BWDKT84/e1, lemma A.5

History

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

Pixel density J9SC7C2YQ8

URI	`m2://inv/J9SC7C2YQ8`
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#SCT9, Pixel density (unknown)

History

2026-11-02: add by m2/dev

733 (number) J9SHSEQW3W

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

Mentions

wikipedia: Wikipedia 700 (number)#DRR4, 733 (number) (unknown)

History

2026-11-02: add by m2/dev

transitive set J9SJA651K1

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

Mentions

wikidata: Wikidata Q671944, transitive set (definition). Also nLab transitive set, ProofWiki Definition:Transitive_Class
wikipedia: Wikipedia Transitive set, Transitive set (definition). Also Wikidata Q671944

History

2026-10-26: add by m2/dev

Properties J9SKYBVJEZ

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

Mentions

wikipedia: Wikipedia Windmill graph#770T, Properties (statement)

History

2026-11-02: add by m2/dev

J9SPAX0WC4 J9SPAX0WC4

URI	`m2://inv/J9SPAX0WC4`
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.26769#6SJY (statement)

History

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

four-vector J9SR7QDKMC

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

Mentions

wikidata: Wikidata Q844610, four-vector (unknown). Also MathWorld Four-Vector
wikipedia: Wikipedia Four-vector, Four-vector (definition). Also Wikidata Q844610

History

2026-10-26: add by m2/dev

Theorem J9SVB7X8MV

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

Mentions

wikipedia: Wikipedia Riemannian manifold#BMG7, Theorem (statement)

History

2026-11-02: add by m2/dev

J9T0JKC0VP J9T0JKC0VP

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

Mentions

arxiv: arXiv 2609.28774#WVLI (definition)

History

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

Wilson loop J9T1Q9THPH

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#4LOO, Wilson loop (definition)

History

2026-11-02: add by m2/dev

vertex cover J9T2YR1VBK

URI	`m2://inv/J9T2YR1VBK`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Vertex cover 0AHKWBQSWV

Mentions

wikidata: Wikidata Q11515519, vertex cover (unknown). Also MathWorld VertexCover
wikipedia: Wikipedia Vertex cover, Vertex cover (definition). Also Wikidata Q11515519

History

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

J9T4EBXZ0R J9T4EBXZ0R

URI	`m2://inv/J9T4EBXZ0R`
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.12228#1CPJ (statement). In CTQDSD0HAD/e1, corollary 5.2

History

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

Ability hypothesis J9TKAQ13FW

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

Mentions

wikipedia: Wikipedia Knowledge argument#EESM, Ability hypothesis (statement)

History

2026-11-02: add by m2/dev

Magnetricity J9TMEJYGFG

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

Mentions

wikipedia: Wikipedia Magnetic monopole#560I, Magnetricity (unknown)

History

2026-11-02: add by m2/dev

J9TSGT2B4J J9TSGT2B4J

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

History

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

J9TTY5H80P J9TTY5H80P

URI	`m2://inv/J9TTY5H80P`
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 2608.24424#F2XY (definition). In RQHGZ4AA5T/e1, definition 2.1

History

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

probability J9TXGG46NP

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#F5NR, probability (definition)

History

2026-11-02: add by m2/dev

Combination of rules J9TZM01YR4

URI	`m2://inv/J9TZM01YR4`
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 math/0003117#4EWC, Combination of rules (definition). In WD2NCBV9F0/e1, definition 9.7

History

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

adjugate J9TZWTZHS8

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#T9E2, adjugate (definition)

History

2026-11-02: add by m2/dev

Software rendering J9V2D4PRQ7

URI	`m2://inv/J9V2D4PRQ7`
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#2QHK, Software rendering (unknown)

History

2026-11-02: add by m2/dev

J9VC06B8PY J9VC06B8PY

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#example-10 (example). In E59CDZA4DP, example, section 11.3.1

History

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

Parity of the hierarchy in the phase variable J9VG5M7PTM

URI	`m2://inv/J9VG5M7PTM`
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.06544#D69J, Parity of the hierarchy in the phase variable (statement). In VCRB27RMN6/e1, lemma 7.3

History

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

Bézout's theorem J9VGJ1CT3D

URI	`m2://inv/J9VGJ1CT3D`
Kind	statement
Layer	textbook
MSC	14-XX
Sources	4
Outcome	open
Node	Bézout's theorem KWNVF194D8

Mentions

mathlib_1000: mathlib_1000 Q1542114, Bézout's theorem (statement). Also Wikidata Q1542114
thousand_plus: thousand_plus Q1542114, Bézout's theorem (statement). Also Wikidata Q1542114, Wikipedia Bézout's theorem
wikidata: Wikidata Q1542114, Bézout's theorem (statement). Also MathWorld BezoutsTheorem, nLab Bézout's theorem
wikipedia: Wikipedia Bézout's theorem, Bézout's theorem (statement). Also Wikidata Q1542114

History

2026-10-26: add by m2/dev

Goss polynomials J9VH641Y8A

URI	`m2://inv/J9VH641Y8A`
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.18777#M1KA, Goss polynomials (definition). In TFZDPHDF7V/e1, definition 2.2

History

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

Consensus clustering J9VK7BSVQJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#C6QT, Consensus clustering (definition)

History

2026-11-02: add by m2/dev

Fibonacci coding J9VVGNP3R9

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

Mentions

wikipedia: Wikipedia Fibonacci coding, Fibonacci coding (definition). Also Wikidata Q2633

History

2026-11-02: add by m2/dev

J9VYR045SC J9VYR045SC

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

Mentions

arxiv: arXiv 2610.12736#K7K0 (statement). In 5350Q52F6P/e1, lemma 2.12

History

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

382 (number) J9W4M92TNT

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

Mentions

wikipedia: Wikipedia 300 (number)#6NUL, 382 (number) (unknown)

History

2026-11-02: add by m2/dev

Statement J9W4ZVY7Q8

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

Mentions

wikipedia: Wikipedia Egorov's theorem#PJU5, Statement (statement)

History

2026-11-02: add by m2/dev

Signing-to-ordering reduction J9W6VTB3CH

URI	`m2://inv/J9W6VTB3CH`
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.16715#2ZVM, Signing-to-ordering reduction (statement). In RA1Z6BV25A/e1, theorem 2.1

History

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

David Savitt J9W76HG0YQ

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

Mentions

wikipedia: Wikipedia David Savitt (mathematician), David Savitt (topic). Also Wikidata Q79149771

History

2026-11-02: add by m2/dev

Judea Pearl J9W8BF7X7K

URI	`m2://inv/J9W8BF7X7K`
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#RISC, Judea Pearl (unknown)

History

2026-11-02: add by m2/dev

J9WE2SMXBJ J9WE2SMXBJ

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

Mentions

open_logic: open_logic content/set-theory/story/grundgesetze.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 75.5

History

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

J9WJPQQQB7 J9WJPQQQB7

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

Mentions

arxiv: arXiv 2610.03499#NQ34 (statement). In NAE99N03W3/e1, theorem 1.4

History

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

Mauchly's sphericity test J9WK0ESVJ5

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

Mentions

wikipedia: Wikipedia List of statistics articles#LHXK, Mauchly's sphericity test (definition)

History

2026-11-02: add by m2/dev

Roman abacus J9WM38FHH5

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

Mentions

wikipedia: Wikipedia Roman abacus, Roman abacus (definition). Also Wikidata Q3302817

History

2026-11-02: add by m2/dev

J9WP1BJQV3 J9WP1BJQV3

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

Mentions

arxiv: arXiv 2305.10202#E7O9 (statement). In ER06JKXR8B/e1, corollary 3.8

History

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

J9X82AV4NV J9X82AV4NV

URI	`m2://inv/J9X82AV4NV`
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.24902#X8MG (statement)

History

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

Anania Shirakatsi J9X90BE6BB

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

Mentions

wikipedia: Wikipedia Anania Shirakatsi, Anania Shirakatsi (topic). Also Wikidata Q471769

History

2026-11-02: add by m2/dev

natural exponential function J9X941ZY24

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

Mentions

wikidata: Wikidata Q47306354, natural exponential function (unknown). Also EoM Exponential_function, MathWorld NaturalExponentialFunction

History

2026-10-26: add by m2/dev

Siavash Shahshahani J9XA72PBAH

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

Mentions

wikipedia: Wikipedia Siavash Shahshahani, Siavash Shahshahani (topic). Also Wikidata Q7506899

History

2026-11-02: add by m2/dev

J9XARHM2W7 J9XARHM2W7

URI	`m2://inv/J9XARHM2W7`
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 2412.14956#WXWD (statement). In T8BQ6HHZYT/e1, theorem 3.2

History

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

Separable algebra J9XD8HECTC

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

Mentions

wikipedia: Wikipedia List of algebras#NYOL, Separable algebra (definition)

History

2026-11-02: add by m2/dev

Invariance of the dynamics J9XGY4N6CX

URI	`m2://inv/J9XGY4N6CX`
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.05428#5VLQ, Invariance of the dynamics (statement). In 31MQPCA8SH/e1, proposition C.1

History

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

Maximum theorem J9XVDZG18H

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

Mentions

wikipedia: Wikipedia Maximum theorem, Maximum theorem (statement). Also Wikidata Q6795920

History

2026-11-02: add by m2/dev

Riemann's minimal surface J9Y3EPNAEF

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

Mentions

wikipedia: Wikipedia Riemann's minimal surface, Riemann's minimal surface (definition). Also Wikidata Q5985592

History

2026-11-02: add by m2/dev

cf.\ Proposition 1.8 J9Y5ECSSW3

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

Mentions

arxiv: arXiv 2609.27103#G4SK, cf.\ Proposition 1.8 (statement)

History

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

Portugal J9YEK5HBN2

URI	`m2://inv/J9YEK5HBN2`
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 Q45, Portugal (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Portugal

History

2026-10-26: add by m2/dev

Axiom of union - 5 J9YHVAKAYN

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

Mentions

wikipedia: Wikipedia Zermelo–Fraenkel set theory#AA2M, Axiom of union - 5 (statement)

History

2026-11-02: add by m2/dev

Borel–Cantelli lemma J9YKBY83ZW

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

Mentions

wikipedia: Wikipedia List of statistics articles#JJM4, Borel–Cantelli lemma (statement)
wikipedia: Wikipedia List of probability topics#Q59N, Borel–Cantelli lemma (statement)
wikipedia: Wikipedia List of lemmas#7OHF, Borel–Cantelli lemma (statement)
wikipedia: Wikipedia List of integration and measure theory topics#YRL1, Borel–Cantelli lemma (statement)

History

2026-11-02: add by m2/dev

J9YR2T25P9 J9YR2T25P9

URI	`m2://inv/J9YR2T25P9`
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.18078#CG5Y (statement). In YVK8EFSYNJ/e1, theorem 1.4

History

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

J9YVAKDTW6 J9YVAKDTW6

URI	`m2://inv/J9YVAKDTW6`
Kind	definition
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 2610.20972#6A5D (definition). In 6SZE4MTXGZ/e1, definition 2.1

History

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

Definition J9YWGJG9RB

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

Mentions

wikipedia: Wikipedia Dynkin system#6RCI, Definition (definition)

History

2026-11-02: add by m2/dev

J9YX24ED23 J9YX24ED23

URI	`m2://inv/J9YX24ED23`
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 2212.05398#3YSD (statement). In WQKQ8438M7/e1, corollary 1.11.2

History

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

Bit blit J9YY039RXF

URI	`m2://inv/J9YY039RXF`
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#DPP7, Bit blit (unknown)

History

2026-11-02: add by m2/dev

Denis Blackmore J9YY4WSJTS

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

Mentions

wikipedia: Wikipedia Denis Blackmore, Denis Blackmore (topic). Also Wikidata Q5257111

History

2026-11-02: add by m2/dev

J9YZVVBRXV J9YZVVBRXV

URI	`m2://inv/J9YZVVBRXV`
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.29469#5SZC (definition)

History

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

Quadratic radical and quadratic rank J9Z1XJKZW6

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

Mentions

arxiv: arXiv 2610.15815#9SEJ, Quadratic radical and quadratic rank (definition). In 9C75CTY5C3/e1, definition 5.4

History

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

Laws of thermodynamics J9Z3FGVJKJ

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

Mentions

wikipedia: Wikipedia Laws of thermodynamics, Laws of thermodynamics (statement). Also Wikidata Q849392

History

2026-11-02: add by m2/dev

J9Z5XVAGBY J9Z5XVAGBY

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

History

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

Calibration J9Z6HMYZ7C

URI	`m2://inv/J9Z6HMYZ7C`
Kind	definition
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#A5WM, Calibration (definition). In JY6RYSNXMJ/e1, definition 4

History

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

Francesca Chiaromonte J9Z7EDW8X7

URI	`m2://inv/J9Z7EDW8X7`
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#2Y7I, Francesca Chiaromonte (topic)

History

2026-11-02: add by m2/dev

J9ZAQ9THK4 J9ZAQ9THK4

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

Mentions

arxiv: arXiv 2605.02634#XK3L (statement). In EZ6PAF0MXH/e1, lemma 2.3

History

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

Uses J9ZBTF6ZPC

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

Mentions

wikipedia: Wikipedia Vector projection#8B34, Uses (example)

History

2026-11-02: add by m2/dev

J9ZJ9F47Q2 J9ZJ9F47Q2

URI	`m2://inv/J9ZJ9F47Q2`
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.16707#LF65 (statement). In HH7FRWBRMB/e1, theorem 1

History

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

Normal-bundle geometry J9ZPGV58P2

URI	`m2://inv/J9ZPGV58P2`
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.24716#P27G, Normal-bundle geometry (statement)

History

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

Invariant circle with period mismatch J9ZYNJTF0M

URI	`m2://inv/J9ZYNJTF0M`
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.15686#WBP3, Invariant circle with period mismatch (statement). In 4HCK722M2G/e1, theorem 6.4

History

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