Inventory rows 3A

3A01CP3QMV 3A01CP3QMV

URI	`m2://inv/3A01CP3QMV`
Kind	example
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.31910#QGPD (example). In E4EK1XXPY4/e1, example 4.9

History

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

3A033H4EJV 3A033H4EJV

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

Mentions

arxiv: arXiv 2609.28282#MEWR (statement)

History

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

3A03V1J139 3A03V1J139

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

Mentions

arxiv: arXiv 2610.10077#WX6X (statement). In YA7H9PY3R1/e1, corollary 4.3

History

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

Batched table lookup 3A059S3KDD

URI	`m2://inv/3A059S3KDD`
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.14615#PBFQ, Batched table lookup (statement). In 7D5MMP8XB5/e1, corollary 2.15

History

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

Witsenhausen's counterexample 3A07X8V2VP

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

Mentions

wikipedia: Wikipedia Witsenhausen's counterexample, Witsenhausen's counterexample (definition). Also Wikidata Q8028527

History

2026-11-02: add by m2/dev

Projected-error energy identity 3A0BHV6GSR

URI	`m2://inv/3A0BHV6GSR`
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.21991#JVGR, Projected-error energy identity (statement). In KRBDK9J44X/e1, lemma 4.3

History

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

Compound of five cubes 3A0CNEE3M3

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#4SBV, Compound of five cubes (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ZAZ8, Compound of five cubes (definition)

History

2026-11-02: add by m2/dev

Mihăilescu's theorem 3A0MCF4AVC

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

Mentions

wikipedia: Wikipedia List of theorems#AAIL, Mihăilescu's theorem (statement)

History

2026-11-02: add by m2/dev

Sample ratio mismatch 3A0N7KMMW4

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

Mentions

wikipedia: Wikipedia Sample ratio mismatch, Sample ratio mismatch (definition). Also Wikidata Q118900121

History

2026-11-02: add by m2/dev

$\Op L=(-\Delta)^{\gamma/2}$ on $\Spc S(\R^d)$ 3A0PC07AJ5

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

Mentions

arxiv: arXiv 2610.14906#O2XY, $\Op L=(-\Delta)^{\gamma/2}$ on $\Spc S(\R^d)$ (example). In 1F8ENX770M/e1, example 6.1

History

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

M. K. Fort Jr. 3A0SQC8D5N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#Q32B, M. K. Fort Jr. (topic)

History

2026-11-02: add by m2/dev

3A0SSMR2PG 3A0SSMR2PG

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-101 (exercise). In E9HS8K3A52, exercise, section 4.7.1

History

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

Examples 3A0SYMCJ2R

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

Mentions

wikipedia: Wikipedia Frobenius manifold#ZBZ6, Examples (example)

History

2026-11-02: add by m2/dev

3A0X9YM5HJ 3A0X9YM5HJ

URI	`m2://inv/3A0X9YM5HJ`
Kind	example
Layer	research
MSC	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 2405.14678#COVN (example). In 9ZSNSJRJ5N/e1, example 16

History

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

Examples 3A18NWPK2V

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

Mentions

wikipedia: Wikipedia Diagonalizable matrix#PICR, Examples (example)

History

2026-11-02: add by m2/dev

Kleene fixed-point theorem 3A1NE5BETZ

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

Mentions

wikipedia: Wikipedia List of theorems#0WNQ, Kleene fixed-point theorem (statement)

History

2026-11-02: add by m2/dev

3A1TE2TKVQ 3A1TE2TKVQ

URI	`m2://inv/3A1TE2TKVQ`
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 2609.21034#9GGL (statement)

History

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

Fuchs 3A211B8BX8

URI	`m2://inv/3A211B8BX8`
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.17547#DMGS, Fuchs (definition). In XJ59TDP4HA/e1, definition 2.15

History

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

D-optimal 3A213Y4986

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

Mentions

wikipedia: Wikipedia Optimal experimental design#KRXM, D-optimal (unknown)

History

2026-11-02: add by m2/dev

Truncated great dodecahedron 3A265D1C8H

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3CA7, Truncated great dodecahedron (object)

History

2026-11-02: add by m2/dev

3A2BP8TDXF 3A2BP8TDXF

URI	`m2://inv/3A2BP8TDXF`
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.30892#8DUV (statement). In F7C1RM5VA4/e1, lemma 3.1

History

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

Definitions 3A2C6MF4T9

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

Mentions

wikipedia: Wikipedia Singly and doubly even#TPYD, Definitions (definition)

History

2026-11-02: add by m2/dev

Pharmaceutical Statistics 3A2C93WA6W

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

Mentions

wikipedia: Wikipedia Pharmaceutical Statistics (journal), Pharmaceutical Statistics (definition). Also Wikidata Q7180744

History

2026-11-02: add by m2/dev

3A2H72EHSB 3A2H72EHSB

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

Mentions

open_logic: open_logic content/normal-modal-logic/tableaux/soundness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 55.12

History

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

Exact exponential crossing advantage 3A2J5BNVNM

URI	`m2://inv/3A2J5BNVNM`
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.09522#MMEV, Exact exponential crossing advantage (statement). In KKR9167FPT/e1, corollary 33

History

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

Ant colony algorithm 3A2PR7TJ79

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

Mentions

wikipedia: Wikipedia List of graph theory topics#1NNW, Ant colony algorithm (unknown)
wikipedia: Wikipedia List of algorithm general topics#4NKY, Ant colony algorithm (unknown)

History

2026-11-02: add by m2/dev

Unisolvent point set 3A30MNFR3G

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#DMN8, Unisolvent point set (definition)

History

2026-11-02: add by m2/dev

3A32Z2ESHF 3A32Z2ESHF

URI	`m2://inv/3A32Z2ESHF`
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.03835#BVYH (statement). In KAYGQMQPGS/e1, lemma 4.2

History

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

3A35V57B64 3A35V57B64

URI	`m2://inv/3A35V57B64`
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.09019#TU9O (statement). In 8V6YECFCC1/e1, lemma 3.12

History

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

3A3A90K5F4 3A3A90K5F4

URI	`m2://inv/3A3A90K5F4`
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.17602#U5ZE (statement). In BH62508WHJ/e1, lemma 7

History

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

3A3AE4BXBQ 3A3AE4BXBQ

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

Mentions

arxiv: arXiv 2610.11869#XFVT (statement). In B5GGGWNJA6/e1, corollary 1

History

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

Variations 3A3AHJ562Q

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

Mentions

wikipedia: Wikipedia Slothouber–Graatsma puzzle#KDUN, Variations (statement)

History

2026-11-02: add by m2/dev

3A3B8JT0TK 3A3B8JT0TK

URI	`m2://inv/3A3B8JT0TK`
Kind	statement
Layer	research
MSC	11-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.33590#64XJ (statement). In WRE0P7V6Z3/e1, lemma C.3

History

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

second-countable space 3A3JWDGHX5

URI	`m2://inv/3A3JWDGHX5`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Second-countable space 00RE1R4W7N

Mentions

wikidata: Wikidata Q1363919, second-countable space (definition). Also EoM Second_axiom_of_countability, MathWorld SecondCountableSpace, MathWorld SecondCountableTopology, nLab second-countable space, ProofWiki Definition:Second-Countable_Space
wikipedia: Wikipedia Second-countable space, Second-countable space (definition). Also Wikidata Q1363919

History

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

Mojave Ranch Estates 3A3PBBGAPV

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#7X62, Mojave Ranch Estates (unknown)

History

2026-11-02: add by m2/dev

Dora Metcalf 3A3SG7JTAP

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#7YAC, Dora Metcalf (topic)

History

2026-11-02: add by m2/dev

3A41D9YE89 3A41D9YE89

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

Mentions

arxiv: arXiv 2610.07240#BBB2 (statement). In D0F1GK5AHW/e1, proposition E.1

History

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

3A44CS8ZNS 3A44CS8ZNS

URI	`m2://inv/3A44CS8ZNS`
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 2310.13621#7WGY (statement). In DG0EZ1BPV5/e1, lemma 4.4

History

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

Generalizations 3A4644DP7R

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

Mentions

wikipedia: Wikipedia Hausdorff measure#PRGE, Generalizations (statement)

History

2026-11-02: add by m2/dev

3A4652Z23F 3A4652Z23F

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

Mentions

arxiv: arXiv 2609.38220#9LY8 (definition). In 1AC4S19925/e1, definition 6.8

History

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

3A46A9YHT2 3A46A9YHT2

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

Mentions

arxiv: arXiv 2610.22326#UK28 (statement). In EAABRG99V8/e1, lemma 6.8

History

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

Minimum spanning tree 3A47X871VR

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

Mentions

wikipedia: Wikipedia List of algorithms#1XU8, Minimum spanning tree (definition)

History

2026-11-02: add by m2/dev

3A4DM2NT35 3A4DM2NT35

URI	`m2://inv/3A4DM2NT35`
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.21494#NM1Y (statement). In ZWT4C1DYPE/e1, proposition 8.1

History

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

David Nelson 3A4J5B02PJ

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

Mentions

wikipedia: Wikipedia David Nelson (mathematician), David Nelson (topic). Also Wikidata Q108165526

History

2026-11-02: add by m2/dev

3A4N01TGWM 3A4N01TGWM

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

Mentions

arxiv: arXiv 2609.38267#6WJQ (statement). In 518V871EKW/e1, theorem 3.1

History

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

3A4Q4SXG9K 3A4Q4SXG9K

URI	`m2://inv/3A4Q4SXG9K`
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 2605.00407#M2Q2 (statement). In TVFD0G3F2W/e1, lemma 3.1

History

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

Definition 3A4Q55C2YB

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

Mentions

wikipedia: Wikipedia Nuclear space#AYAJ, Definition (definition)

History

2026-11-02: add by m2/dev

Ax–Grothendieck theorem 3A4VNDQVZC

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

Mentions

wikipedia: Wikipedia List of theorems#2P7W, Ax–Grothendieck theorem (statement)

History

2026-11-02: add by m2/dev

3A4XRX8DZ1 3A4XRX8DZ1

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

Mentions

arxiv: arXiv 2609.20881#GBHU (statement)

History

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

General frame 3A52SGB6Z6

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

Mentions

wikipedia: Wikipedia General frame, General frame (definition). Also Wikidata Q5532348

History

2026-11-02: add by m2/dev

Use 3A5F21T36E

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

Mentions

wikipedia: Wikipedia Zimmermann telegram#RRNS, Use (example)

History

2026-11-02: add by m2/dev

Definition 3A5FVMQ83F

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

Mentions

wikipedia: Wikipedia Matroid polytope#XWUT, Definition (definition)

History

2026-11-02: add by m2/dev

3A5KZ28FJE 3A5KZ28FJE

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

Mentions

arxiv: arXiv 2610.10086#UGYJ (statement). In NP9X9CAK19/e1, lemma 4.3

History

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

Using Pick's theorem 3A5QMFAMDN

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

Mentions

wikipedia: Wikipedia Area of a triangle#SRR7, Using Pick's theorem (statement)

History

2026-11-02: add by m2/dev

Edoardo Vesentini 3A5WJW4Q34

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#V5YE, Edoardo Vesentini (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9CU2, Edoardo Vesentini (topic)

History

2026-11-02: add by m2/dev

Definition 3A5XB47WY8

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

Mentions

wikipedia: Wikipedia Plastic ratio#DIT2, Definition (definition)

History

2026-11-02: add by m2/dev

Example 3A60ZSCDXC

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

Mentions

wikipedia: Wikipedia Johnson's parabolic formula#V6KY, Example (example)

History

2026-11-02: add by m2/dev

3A61XQCCYG 3A61XQCCYG

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

Mentions

arxiv: arXiv 2610.08074#8H25 (statement). In ZRPYF750AV/e1, theorem C

History

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

Berezinian 3A624WNVJK

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

Mentions

wikidata: Wikidata Q3638518, Berezinian (unknown). Also nLab superdeterminant
wikipedia: Wikipedia Berezinian, Berezinian (definition). Also Wikidata Q3638518

History

2026-10-26: add by m2/dev

Expected marked count 3A66DVERVY

URI	`m2://inv/3A66DVERVY`
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#84PO, Expected marked count (statement). In NKXTXH59P1/e1, lemma E.15

History

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

Applications 3A6GE10DBM

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

Mentions

wikipedia: Wikipedia Electrical resistivity tomography#WTX9, Applications (example)

History

2026-11-02: add by m2/dev

Examples 3A6MW2QYK1

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

Mentions

wikipedia: Wikipedia Calculus of functors#H3SZ, Examples (example)

History

2026-11-02: add by m2/dev

3A6NB1QDGV 3A6NB1QDGV

URI	`m2://inv/3A6NB1QDGV`
Kind	definition
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 2610.11905#7MJ7 (definition). In QQFXT31CA5/e1, definition 2.4

History

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

common difference 3A6RQAKGZX

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

Mentions

wikidata: Wikidata Q136823838, common difference (unknown). Also MathWorld CommonDifference

History

2026-10-26: add by m2/dev

3A6WXQG7M5 3A6WXQG7M5

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

Mentions

arxiv: arXiv 2610.16821#KCUK (statement). In EFSGMHG5BW/e1, theorem B

History

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

Examples 3A6X3GF4WP

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

Mentions

wikipedia: Wikipedia Completely distributive lattice#8PJ7, Examples (example)

History

2026-11-02: add by m2/dev

Bessel function of the first kind 3A6ZXAM9HB

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

Mentions

lebl_diffyqs: lebl_diffyqs index/9.3.3/bessel-function-of-the-first-kind, Bessel function of the first kind (concept). In E9HS8K3A52, index, section 9.3.3

History

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

3A75Q55DBW 3A75Q55DBW

URI	`m2://inv/3A75Q55DBW`
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.02944#8SDY (statement). In 1F99Z64AB7/e1, theorem 3.1

History

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

3A7FE98AJF 3A7FE98AJF

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-86 (exercise). In VNMV985MXX, exercise, section 2.3

History

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

Pareto index 3A7FYMBNQ8

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

Mentions

wikipedia: Wikipedia List of statistics articles#0S4A, Pareto index (definition)

History

2026-11-02: add by m2/dev

Symbol class 3A7GF9SD43

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

Mentions

arxiv: arXiv 2508.08809#KCTB, Symbol class (definition). In X5NX1YEABW/e1, definition 5.1

History

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

Hilbert–Huang transform 3A7HBBXBRS

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

Mentions

wikipedia: Wikipedia Hilbert–Huang transform, Hilbert–Huang transform (definition). Also Wikidata Q1006462

History

2026-11-02: add by m2/dev

Wilfried Imrich 3A7HTKRQQJ

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

Mentions

wikipedia: Wikipedia Wilfried Imrich, Wilfried Imrich (topic). Also Wikidata Q28033841

History

2026-11-02: add by m2/dev

3A7JNCYXW6 3A7JNCYXW6

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

Mentions

arxiv: arXiv 2610.08912#VHZ9 (statement). In DK5QY64NGH/e1, lemma 4.4

History

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

Limiting covariance 3A7XJZZRG9

URI	`m2://inv/3A7XJZZRG9`
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.21258#0BR6, Limiting covariance (statement). In PN98BKSKZP/e1, theorem 1.2

History

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

3A7Y05DSPZ 3A7Y05DSPZ

URI	`m2://inv/3A7Y05DSPZ`
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.12371#VVTO (statement). In 8TTFQH19QR/e1, lemma 7

History

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

3A7Y3PTKD6 3A7Y3PTKD6

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 19.9

History

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

Explicit AKKT success condition 3A7YVR4ETA

URI	`m2://inv/3A7YVR4ETA`
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.07379#2DKH, Explicit AKKT success condition (statement). In N0EVQ46HBR/e1, theorem 4.6

History

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

Pivotal quantity 3A7ZJJ7VG2

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

Mentions

wikipedia: Wikipedia List of statistics articles#STCL, Pivotal quantity (definition)

History

2026-11-02: add by m2/dev

Applications 3A80A7PEH7

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

Mentions

wikipedia: Wikipedia Maximum modulus principle#IP9N, Applications (example)

History

2026-11-02: add by m2/dev

Local Hilbert specialization 3A81RHY4QD

URI	`m2://inv/3A81RHY4QD`
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.03988#Z78Q, Local Hilbert specialization (statement). In PQ2X97H1T9/e1, lemma 2.2

History

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

3A88W3HCAS 3A88W3HCAS

URI	`m2://inv/3A88W3HCAS`
Kind	statement
Layer	research
MSC	26-XX, 35-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.01958#SCXN (statement). In NQFYT2M6YZ/e1, corollary 3.14

History

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

The chain store paradox 3A89R7KKRM

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

Mentions

wikipedia: Wikipedia Chainstore paradox#B4WH, The chain store paradox (statement)

History

2026-11-02: add by m2/dev

Conway sequence 3A8AG2G4CP

URI	`m2://inv/3A8AG2G4CP`
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#MP7O, Conway sequence (object)

History

2026-11-02: add by m2/dev

3A8B27D3BQ 3A8B27D3BQ

URI	`m2://inv/3A8B27D3BQ`
Kind	statement
Layer	research
MSC	05-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 2610.15344#SZTF (statement). In B9EX6K51RD/e1, corollary 4.15

History

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

Weil–Petersson metric 3A8GWMQD6V

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

Mentions

wikipedia: Wikipedia List of things named after André Weil#8TTD, Weil–Petersson metric (definition)

History

2026-11-02: add by m2/dev

3A8M755B04 3A8M755B04

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise:closedcomplete (exercise). In E59CDZA4DP, exercise, section 4.4.3

History

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

3A8PW1D3YP 3A8PW1D3YP

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

Mentions

arxiv: arXiv 2609.38126#80YC (statement). In QNVKW32G02/e1, theorem 4.1

History

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

3A8VRDZ92V 3A8VRDZ92V

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

Mentions

arxiv: arXiv 2609.32174#VSPO (definition). In GHKR740SG3/e1, definition 15.4

History

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

3A8YXN7YG5 3A8YXN7YG5

URI	`m2://inv/3A8YXN7YG5`
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 2610.08382#NBG7 (statement). In GYMGDQS25R/e1, corollary 4.13

History

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

3A919CS77Q 3A919CS77Q

URI	`m2://inv/3A919CS77Q`
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.17897#VIKZ (statement). In G116A4SMS4/e1, lemma 4

History

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

Theorem 3A91QDRZ81

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

Mentions

wikipedia: Wikipedia Matrix sign function#88VC, Theorem (statement)

History

2026-11-02: add by m2/dev

Théophile Lepage 3A91R8JNNZ

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VA57, Théophile Lepage (topic)

History

2026-11-02: add by m2/dev

Free motion equation 3A942SXJ1E

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

Mentions

wikipedia: Wikipedia Free motion equation, Free motion equation (definition). Also Wikidata Q17014709

History

2026-11-02: add by m2/dev

3A9NXPMHJS 3A9NXPMHJS

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

Mentions

arxiv: arXiv 2609.32140#DXID (statement). In 96Z8GEEFH4/e1, proposition 7.1

History

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

Alexander E. Postnikov 3AA347N5FW

URI	`m2://inv/3AA347N5FW`
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 Q102169204, Alexander E. Postnikov (unknown). Also nLab Alexander Postnikov

History

2026-10-26: add by m2/dev

quasiconvex function 3AAD3V9K25

URI	`m2://inv/3AAD3V9K25`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Quasiconvex function S4RMH7JQB8

Mentions

wikidata: Wikidata Q1126412, quasiconvex function (unknown). Also MathWorld Quasi-ConvexFunction
wikipedia: Wikipedia Quasiconvex function, Quasiconvex function (definition). Also Wikidata Q1126412

History

2026-10-26: add by m2/dev

Biham–Middleton–Levine traffic model 3AAE5XMC90

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

Mentions

wikipedia: Wikipedia Biham–Middleton–Levine traffic model, Biham–Middleton–Levine traffic model (definition). Also Wikidata Q1391759

History

2026-11-02: add by m2/dev

3AAK2AN345 3AAK2AN345

URI	`m2://inv/3AAK2AN345`
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.19093#M2V9 (statement). In S2K79KESZ4/e1, lemma 3.3

History

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

Variants 3AAKJTBJX7

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

Mentions

wikipedia: Wikipedia Equioscillation theorem#PI7I, Variants (statement)

History

2026-11-02: add by m2/dev

3AAMVWWA58 3AAMVWWA58

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

Mentions

arxiv: arXiv 2609.37893#D50I (statement). In 8H0KHK7AMN/e1, proposition 4.21

History

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

deltoidal hexecontahedral graph 3AARZD869G

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

Mentions

wikidata: Wikidata Q3115566, deltoidal hexecontahedral graph (unknown). Also House of Graphs 1030, MathWorld DeltoidalHexecontahedralGraph

History

2026-10-26: add by m2/dev

3AAWAPH99R 3AAWAPH99R

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

Mentions

arxiv: arXiv 2609.33841#KD7O (example). In 3CVQHT206K/e1, example 5.4

History

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

3AAWQK57GC 3AAWQK57GC

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

Mentions

active_calculus: active_calculus source/activities/act-1-6-2.xml#act-1-6-2 (exercise). In 907G4C4EJ1, activity, section 1.6.4

History

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

Forests and Paths 3AB4Z8N4D6

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

Mentions

arxiv: arXiv 2609.31352#AVIG, Forests and Paths (definition). In SQZGKRDVBX/e1, definition 2.1

History

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

Definition 3AB65C5VW0

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

Mentions

wikipedia: Wikipedia Modular group#G5I5, Definition (definition)

History

2026-11-02: add by m2/dev

3ABEHWNGBW 3ABEHWNGBW

URI	`m2://inv/3ABEHWNGBW`
Kind	statement
Layer	research
MSC	26-XX, 37-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.21931#VH47 (statement)

History

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

3ABZGMZ4NR 3ABZGMZ4NR

URI	`m2://inv/3ABZGMZ4NR`
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.30957#AQJC (definition). In P5YB6R0RK3/e1, definition

History

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

3AC3RV6FQZ 3AC3RV6FQZ

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

Mentions

arxiv: arXiv 2409.03461#S56H (statement). In XJVZSGCX5V/e1, corollary 1

History

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

3AC4PK2KNJ 3AC4PK2KNJ

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

Mentions

napkin: napkin tex/calculus/taylor.tex#definition-6 (definition). In RZP28ERRZV, definition, section 34.5

History

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

3AC51614BF 3AC51614BF

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

Mentions

arxiv: arXiv 2610.15517#0E4O (statement). In C87H6KZSBM/e1, proposition A.8

History

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

3AC5R3336A 3AC5R3336A

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

Mentions

arxiv: arXiv 2609.25431#PCWY (statement)

History

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

3AC65N8T5Z 3AC65N8T5Z

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

Mentions

arxiv: arXiv 2609.36321#AQJN (statement). In 3KTZ6Z615H/e1, lemma 4.12

History

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

3ACCWYQCFW 3ACCWYQCFW

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

Mentions

arxiv: arXiv 2610.17045#34EF (statement). In PA6JQDSKQT/e1, proposition 3.4

History

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

root test 3ACDDFGETY

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

Mentions

wikipedia: Wikipedia Glossary of calculus#2VSD, root test (definition)

History

2026-11-02: add by m2/dev

Carnot's principle 3ACFV1TCBT

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

Mentions

wikipedia: Wikipedia Second law of thermodynamics#XJNO, Carnot's principle (statement)

History

2026-11-02: add by m2/dev

Kronecker's method 3ACHBGTEGX

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

Mentions

wikipedia: Wikipedia Factorization of polynomials#U85L, Kronecker's method (unknown)

History

2026-11-02: add by m2/dev

Riesz, Marcel 3ACHKMNNQX

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#R5HV, Riesz, Marcel (unknown)

History

2026-11-02: add by m2/dev

simplicial object 3ACJA2J5DC

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

Mentions

wikipedia: Wikipedia Glossary of category theory#YUBT, simplicial object (definition)

History

2026-11-02: add by m2/dev

3ACNF8ZNBK 3ACNF8ZNBK

URI	`m2://inv/3ACNF8ZNBK`
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.13229#GWF5 (statement). In 4WN20N5Z57/e1, theorem 4.2

History

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

Modified Fejér's Theorem 3ACPKJXKT6

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

Mentions

wikipedia: Wikipedia Fejér's theorem#S6MX, Modified Fejér's Theorem (statement)

History

2026-11-02: add by m2/dev

Transformation law under change of variable 3ACRRD4SPM

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

Mentions

wikipedia: Wikipedia Christoffel symbols#PSTV, Transformation law under change of variable (statement)

History

2026-11-02: add by m2/dev

Peter Borwein 3ACWQF7R1P

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#T908, Peter Borwein (topic)

History

2026-11-02: add by m2/dev

Standing estimates 3ACWST7KDM

URI	`m2://inv/3ACWST7KDM`
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#ICRJ, Standing estimates (statement). In NKXTXH59P1/e1, corollary F.9

History

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

3AD0JSJ4AV 3AD0JSJ4AV

URI	`m2://inv/3AD0JSJ4AV`
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.08370#1F0M (statement). In EQN3EZRZYQ/e1, proposition 3.4

History

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

Definition 3AD1JJYQWH

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

Mentions

wikipedia: Wikipedia Laplace operator#MYIB, Definition (definition)

History

2026-11-02: add by m2/dev

enumerative geometry 3ADERKTSKF

URI	`m2://inv/3ADERKTSKF`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Enumerative geometry ZPZA1FKZZC

Mentions

wikidata: Wikidata Q2429676, enumerative geometry (topic). Also nLab enumerative geometry
wikipedia: Wikipedia Enumerative geometry, Enumerative geometry (topic). Also Wikidata Q2429676

History

2026-10-26: add by m2/dev

3ADKRH1NEE 3ADKRH1NEE

URI	`m2://inv/3ADKRH1NEE`
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 2502.08738#KG8O (statement). In 9GMTVSTAVN/e1, lemma 5.4

History

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

3ADWJBKTVJ 3ADWJBKTVJ

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

Mentions

arxiv: arXiv 2609.26572#0ZAQ (statement)

History

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

$\kappa$-models 3ADZB907CS

URI	`m2://inv/3ADZB907CS`
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.09086#CF3D, $\kappa$-models (definition). In JPC86V77CH/e1, definition A.1

History

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

Variants 3AEW09H8PQ

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

Mentions

wikipedia: Wikipedia Church–Rosser theorem#U7QD, Variants (statement)

History

2026-11-02: add by m2/dev

3AEYN4M8JH 3AEYN4M8JH

URI	`m2://inv/3AEYN4M8JH`
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#ANVR (statement). In BDN507RN7J/e1, proposition 3.6.6

History

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

Anders C. Hansen 3AF86ZCZFA

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

Mentions

wikipedia: Wikipedia Anders C. Hansen, Anders C. Hansen (topic). Also Wikidata Q102443013

History

2026-11-02: add by m2/dev

Fernique's theorem 3AFAHAYE0G

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

Mentions

mathlib_1000: mathlib_1000 Q5445112, Fernique's theorem (statement). Also Mathlib ProbabilityTheory.IsGaussian.exists_integrable_exp_sq, Wikidata Q5445112
thousand_plus: thousand_plus Q5445112, Fernique's theorem (statement). Also Mathlib ProbabilityTheory.IsGaussian.exists_integrable_exp_sq, Wikidata Q5445112, Wikipedia Fernique's theorem
wikipedia: Wikipedia Fernique's theorem, Fernique's theorem (statement). Also Wikidata Q5445112

History

2026-10-26: add by m2/dev

Examples 3AFBSE0FME

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

Mentions

wikipedia: Wikipedia Nonlinear expectation#PG4B, Examples (example)

History

2026-11-02: add by m2/dev

Definition 3AFBWHYAFR

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

Mentions

wikipedia: Wikipedia Probability of direction#BE8H, Definition (definition)

History

2026-11-02: add by m2/dev

Properties 3AFNERGENF

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

Mentions

wikipedia: Wikipedia Morava K-theory#USDH, Properties (statement)

History

2026-11-02: add by m2/dev

3AFR3HAR2K 3AFR3HAR2K

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

Mentions

arxiv: arXiv 2610.16362#KJ8T (statement). In 4NJ4T3DEQB/e1, lemma 2.8

History

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

3AFV359YPF 3AFV359YPF

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

Mentions

arxiv: arXiv 2411.16655#2A7Z (definition). In EJHAXRV685/e1, definition 2.1

History

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

3AFVP7T2H9 3AFVP7T2H9

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

Mentions

arxiv: arXiv 2102.12931#FG17 (statement). In PQHTR84RAJ/e1, proposition 3.21

History

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

3AFX1JRA4Y 3AFX1JRA4Y

URI	`m2://inv/3AFX1JRA4Y`
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.23341#XD5Y (statement)

History

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

3AG2GB9F9E 3AG2GB9F9E

URI	`m2://inv/3AG2GB9F9E`
Kind	statement
Layer	research
MSC	05-XX, 11-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.20522#94MY (statement)

History

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

diagonalization of self-adjoint endomorphisms 3AG5VXTFZK

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

Mentions

mathlib_overview: mathlib_overview Linear algebra > Finite-dimensional inner product spaces (see also Hilbert spaces, below) > diagonalization of self-adjoint endomorphisms, diagonalization of self-adjoint endomorphisms (unknown). Also Mathlib LinearMap.IsSymmetric.eigenvectorBasis_apply_self_apply
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > diagonalization of a self-adjoint endomorphism, diagonalization of a self-adjoint endomorphism (unknown). Also Mathlib LinearMap.IsSymmetric.eigenvectorBasis_apply_self_apply

History

2026-10-26: add by m2/dev

Gongsun Long 3AGCXR4GQ9

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

Mentions

wikipedia: Wikipedia Gongsun Long, Gongsun Long (topic). Also Wikidata Q1362266

History

2026-11-02: add by m2/dev

Message authentication code 3AGEPG2BVY

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

Mentions

wikipedia: Wikipedia Message authentication code, Message authentication code (definition). Also Wikidata Q1052621

History

2026-11-02: add by m2/dev

3AGJJBC71C 3AGJJBC71C

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

Mentions

arxiv: arXiv 2609.37706#FSDD (statement). In 6YY27KRJFN/e1, lemma 2.5

History

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

3AGWVDCSMN 3AGWVDCSMN

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

Mentions

open_logic: open_logic content/many-valued-logic/infinite-valued-logics/lukasiewicz.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 40.2

History

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

3AGYERCN0G 3AGYERCN0G

URI	`m2://inv/3AGYERCN0G`
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.16225#HY41 (statement). In H3DJV9YQW1/e1, theorem 4.4

History

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

3AGZXJDM77 3AGZXJDM77

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

Mentions

napkin: napkin tex/measure/caratheodory.tex#prop:lebesgue_geo (statement). In RZP28ERRZV, proposition, section 63.4

History

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

3AHCFXCF9D 3AHCFXCF9D

URI	`m2://inv/3AHCFXCF9D`
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.36045#UX9M (statement). In F0E8YBV0Z0/e1, proposition 6.2

History

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

3AHR1V0RE4 3AHR1V0RE4

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

Mentions

arxiv: arXiv 2610.11800#AMLY (statement). In 8TSZ2E32K3/e1, theorem 1.1

History

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

3AJ9T9GD94 3AJ9T9GD94

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

Mentions

arxiv: arXiv 2610.05396#VEQZ (statement). In WMVRX5GV9P/e1, lemma 2.8

History

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

Ehud Hrushovski 3AJB4Y637X

URI	`m2://inv/3AJB4Y637X`
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 Q949349, Ehud Hrushovski (unknown). Also nLab Ehud Hrushovski
wikipedia: Wikipedia Ehud Hrushovski, Ehud Hrushovski (topic). Also Wikidata Q949349

History

2026-10-26: add by m2/dev

3AJDNS5DRJ 3AJDNS5DRJ

URI	`m2://inv/3AJDNS5DRJ`
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#W4OU (definition). In WD2NCBV9F0/e1, definition 2.10

History

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

3AJJHFQZC1 3AJJHFQZC1

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

Mentions

arxiv: arXiv 2610.18929#TKTZ (statement). In ZRJ2DZT6P1/e1, corollary 5.9

History

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

3AJVNM2YTT 3AJVNM2YTT

URI	`m2://inv/3AJVNM2YTT`
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.09084#LSLA (statement). In F5VT2K2QYX/e1, fact 10

History

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

Maximum a posteriori estimation 3AJVXQWNK9

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

Mentions

wikipedia: Wikipedia Maximum a posteriori estimation, Maximum a posteriori estimation (definition). Also Wikidata Q635384

History

2026-11-02: add by m2/dev

fibrant object 3AK2Q5BC81

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

Mentions

wikidata: Wikidata Q5446408, fibrant object (unknown). Also nLab fibrant object
wikipedia: Wikipedia Fibrant object, Fibrant object (definition). Also Wikidata Q5446408

History

2026-10-26: add by m2/dev

3AK4FP3GYY 3AK4FP3GYY

URI	`m2://inv/3AK4FP3GYY`
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.11481#ZVWR (statement). In 8XHK5ZCX7H/e1, theorem 1.2

History

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

Weiqing Gu 3AK6RKC9MN

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

Mentions

wikipedia: Wikipedia Weiqing Gu, Weiqing Gu (topic). Also Wikidata Q20984138

History

2026-11-02: add by m2/dev

3AK7ZWSSYY 3AK7ZWSSYY

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

Mentions

arxiv: arXiv 2609.32883#B3QL (statement). In 6MVBVC1VNK/e1, proposition 3.1

History

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

3AK9XZSDAJ 3AK9XZSDAJ

URI	`m2://inv/3AK9XZSDAJ`
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 0810.0962#V3X3 (statement). In 80YMRN5KS9/e1, corollary 5

History

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

Janice B. Walker 3AM29EW6Z7

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

Mentions

wikipedia: Wikipedia Janice B. Walker, Janice B. Walker (topic). Also Wikidata Q16946544

History

2026-11-02: add by m2/dev

3AMCJ3P0J1 3AMCJ3P0J1

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

Mentions

arxiv: arXiv 2303.09207#MFRF (statement). In 9DQKY7KGE8/e1, lemma 6.33

History

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

Unsolved problems 3AMKD2NZM5

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

Mentions

wikipedia: Wikipedia Cosmic space#395G, Unsolved problems (statement)

History

2026-11-02: add by m2/dev

Ground state 3AMNHFPN3R

URI	`m2://inv/3AMNHFPN3R`
Kind	statement
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#LL8R, Ground state (statement). In JY6RYSNXMJ/e1, theorem 3.1

History

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

3ANGPE1R3T 3ANGPE1R3T

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

Mentions

arxiv: arXiv 2610.20956#J8TO (statement). In X9WFC1D9ZS/e1, lemma 2

History

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

3ANPXH0GDS 3ANPXH0GDS

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-8 (exercise). In E59CDZA4DP, exercise, section 2.1.5

History

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

Franciszek Pokorny 3ANZDEQRJJ

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

Mentions

wikipedia: Wikipedia Franciszek Pokorny, Franciszek Pokorny (topic). Also Wikidata Q5484311

History

2026-11-02: add by m2/dev

The Banach–Tarski Paradox 3APD9P4W8T

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

Mentions

wikipedia: Wikipedia The Banach–Tarski Paradox (book), The Banach–Tarski Paradox (statement). Also Wikidata Q96408420

History

2026-11-02: add by m2/dev

Non-explosion 3APRSMJQEC

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

History

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

Multivariate random variable 3APW77TQRN

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

Mentions

wikipedia: Wikipedia List of statistics articles#HRID, Multivariate random variable (definition)
wikipedia: Wikipedia List of probability topics#7OGI, Multivariate random variable (definition)

History

2026-11-02: add by m2/dev

Parallel axis theorem 3AQ0DYN5JM

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

Mentions

mathlib_1000: mathlib_1000 Q828284, Parallel axis theorem (statement). Also Wikidata Q828284
thousand_plus: thousand_plus Q828284, Parallel axis theorem (statement). Also Wikidata Q828284, Wikipedia Parallel axis theorem
wikipedia: Wikipedia Parallel axis theorem, Parallel axis theorem (statement). Also Wikidata Q828284

History

2026-10-26: add by m2/dev

3AQ0KQGKM6 3AQ0KQGKM6

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

Mentions

arxiv: arXiv 2609.29747#W6WQ (statement)

History

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

Implementation 3AQ2N05K0Q

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

Mentions

wikipedia: Wikipedia Johnson's rule#FFKM, Implementation (definition)

History

2026-11-02: add by m2/dev

Ferran Hurtado 3AQ4FT0X16

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

Mentions

wikipedia: Wikipedia Ferran Hurtado, Ferran Hurtado (topic). Also Wikidata Q55079125

History

2026-11-02: add by m2/dev

3AQAXG8KSP 3AQAXG8KSP

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

Mentions

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

History

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

natural, transformation 3AQGHAYPHE

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

Mentions

hott_book: hott_book index/3.1/natural-transformation, natural, transformation (concept). In N54F33XE07, index, section 3.1

History

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

3AQWGKV4R5 3AQWGKV4R5

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

Mentions

arxiv: arXiv 2609.26650#ND4G (definition)

History

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

Gy's sampling theory 3AQXC493BX

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

Mentions

wikipedia: Wikipedia List of statistics articles#IY69, Gy's sampling theory (definition)

History

2026-11-02: add by m2/dev

Harnack's inequality 3AR1HCH8DA

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

Mentions

wikipedia: Wikipedia Harmonic function#BRK0, Harnack's inequality (statement)

History

2026-11-02: add by m2/dev

The American Statistician 3ARB6S3S80

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

Mentions

wikipedia: Wikipedia List of statistics journals#58LA, The American Statistician (definition)

History

2026-11-02: add by m2/dev

Virtual displacement 3ARCX52MT6

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

Mentions

wikipedia: Wikipedia Virtual displacement, Virtual displacement (definition). Also Wikidata Q1376463

History

2026-11-02: add by m2/dev

3ARKEQJV1Q 3ARKEQJV1Q

URI	`m2://inv/3ARKEQJV1Q`
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.15720#5WRZ (statement). In VNN52G3BRE/e1, theorem

History

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

Representations 3ARYNQTZPY

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

Mentions

wikipedia: Wikipedia Janko group J4#9SCD, Representations (definition)

History

2026-11-02: add by m2/dev

Stefano De Marchi 3AS05JDKHH

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

Mentions

wikipedia: Wikipedia Stefano De Marchi, Stefano De Marchi (topic). Also Wikidata Q95995305

History

2026-11-02: add by m2/dev

3AS48K88F0 3AS48K88F0

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

Mentions

arxiv: arXiv 2610.06152#D5W4 (definition). In HH35K7S17H/e1, definition A.14

History

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

3AS6WRVHKQ 3AS6WRVHKQ

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

Mentions

arxiv: arXiv 2610.11189#FDCN (statement). In Q27FWV48RX/e1, theorem 3.4

History

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

Charles Hermite 3AS86AYZ3X

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#HDNI, Charles Hermite (topic)

History

2026-11-02: add by m2/dev

Sarawakian Malay people 3ASEG4HRQ0

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

Mentions

wikipedia: Wikipedia Demographics of Sarawak#WAKU, Sarawakian Malay people (unknown)

History

2026-11-02: add by m2/dev

Applications 3ASG931X97

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

Mentions

wikipedia: Wikipedia Integer programming#9QPL, Applications (example)

History

2026-11-02: add by m2/dev

Mityagin's theorem 3ASGZCMB46

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

Mentions

wikipedia: Wikipedia Riesz–Thorin theorem#8LP1, Mityagin's theorem (statement)

History

2026-11-02: add by m2/dev

3ASH7T49YP 3ASH7T49YP

URI	`m2://inv/3ASH7T49YP`
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 2605.30679#66U8 (statement). In Z31GMHMG7B/e1, corollary 2

History

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

3ASN7TXH4C 3ASN7TXH4C

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

Mentions

arxiv: arXiv 2503.16884#J5FK (definition). In B984KNW591/e1, definition 4.1

History

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

Clasper (mathematics) 3ASVCNRV7V

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

Mentions

wikipedia: Wikipedia List of knot theory topics#E5N2, Clasper (mathematics) (definition)

History

2026-11-02: add by m2/dev

Hofmann, Heike 3ASXQP06CX

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

Mentions

wikipedia: Wikipedia List of statisticians#RYLW, Hofmann, Heike (topic)

History

2026-11-02: add by m2/dev

3ASY73AE52 3ASY73AE52

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

Mentions

arxiv: arXiv 2609.25805#HZI6 (statement)

History

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

3ATG63FRZ7 3ATG63FRZ7

URI	`m2://inv/3ATG63FRZ7`
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.15805#4LSQ (statement). In 2XVWG0Z18V/e1, lemma 2.4

History

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

Definition 3ATH90DY4R

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

Mentions

wikipedia: Wikipedia Inertial manifold#YJV4, Definition (definition)

History

2026-11-02: add by m2/dev

3ATJP5RDPC 3ATJP5RDPC

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

Mentions

arxiv: arXiv 0803.0074#9M2J (statement). In NWJEN5GWFV/e1, theorem 1

History

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

3ATK3MTRD7 3ATK3MTRD7

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

Mentions

arxiv: arXiv 2610.01208#OGSY (statement). In 317GZJ38HS/e1, lemma 5.14

History

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

Wladimir Seidel 3ATPSS7043

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#F7SD, Wladimir Seidel (topic)

History

2026-11-02: add by m2/dev

3ATSM9CJ6T 3ATSM9CJ6T

URI	`m2://inv/3ATSM9CJ6T`
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.40138#EDBH (statement). In R60HR493TS/e1, lemma 5.3

History

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

Examples 3AV5GJH45G

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

Mentions

wikipedia: Wikipedia Self-similarity#D1DL, Examples (example)

History

2026-11-02: add by m2/dev

Riesz–Fischer theorem 3AV6ZJ3FZE

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

Mentions

wikipedia: Wikipedia List of theorems#FRPT, Riesz–Fischer theorem (statement)

History

2026-11-02: add by m2/dev

3AVD6KCRRC 3AVD6KCRRC

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-8 (exercise). In E9HS8K3A52, exercise, section 7.1.4

History

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

Folded spectrum method 3AVGYYB1KG

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#9210, Folded spectrum method (definition)

History

2026-11-02: add by m2/dev

62 knot 3AVHF2Q0B3

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

Mentions

wikipedia: Wikipedia List of mathematical knots and links#PXN7, 62 knot (definition)

History

2026-11-02: add by m2/dev

3AVP2ZKMY8 3AVP2ZKMY8

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

Mentions

arxiv: arXiv 2609.24917#VS1V (statement)

History

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

3AW2D18232 3AW2D18232

URI	`m2://inv/3AW2D18232`
Kind	statement
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#6584 (statement). In F8RC6AENB0/e1, theorem 5.1

History

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

Fluctuations of $\nabla W_1$ 3AW3DF3TCK

URI	`m2://inv/3AW3DF3TCK`
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 2512.08487#6JEC, Fluctuations of $\nabla W_1$ (statement). In 77TVQVYN0Z/e1, proposition 25

History

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

3AW4RTBYZN 3AW4RTBYZN

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

Mentions

arxiv: arXiv 2609.21703#XIS1 (example)

History

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

3AW8A19KMC 3AW8A19KMC

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

Mentions

napkin: napkin tex/diffgeo/stokes.tex#thm:reparam_integral (statement). In RZP28ERRZV, theorem, section 46.3

History

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

3AWDSN55S0 3AWDSN55S0

URI	`m2://inv/3AWDSN55S0`
Kind	statement
Layer	research
MSC	11-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.33590#NC03 (statement). In WRE0P7V6Z3/e1, lemma 12.8

History

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

3AWN9P204E 3AWN9P204E

URI	`m2://inv/3AWN9P204E`
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 2609.25353#ISCS (statement)

History

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

Examples 3AWSZWZS27

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

Mentions

wikipedia: Wikipedia Anomaly (physics)#JJGA, Examples (example)

History

2026-11-02: add by m2/dev

Biconic 3AWTK06FFX

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

Mentions

wikipedia: Wikipedia Glossary of shapes with metaphorical names#FE3H, Biconic (unknown)

History

2026-11-02: add by m2/dev

3AWVDNATV8 3AWVDNATV8

URI	`m2://inv/3AWVDNATV8`
Kind	problem
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 2112.05010#ZD0F (problem). In 4SZNPS3Z00/e1, problem 1.1

History

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

Vector fields in cylindrical and spherical coordinates 3AWWZAZHKV

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

Mentions

wikipedia: Wikipedia Vector fields in cylindrical and spherical coordinates, Vector fields in cylindrical and spherical coordinates (definition). Also Wikidata Q7917825

History

2026-11-02: add by m2/dev

Hugh L. Turrittin 3AX3YS04Q9

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

Mentions

wikipedia: Wikipedia Hugh L. Turrittin, Hugh L. Turrittin (topic). Also Wikidata Q102077818

History

2026-11-02: add by m2/dev

Exactness 3AXCPXMPY3

URI	`m2://inv/3AXCPXMPY3`
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.05558#MIC6, Exactness (statement). In VBS62KXK7J/e1, proposition 2

History

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

Theorem 3AXDFH9ZCG

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

Mentions

wikipedia: Wikipedia Chapman–Robbins bound#WUX6, Theorem (statement)

History

2026-11-02: add by m2/dev

piecewise $C^k$ functions 3AXFDPK2ST

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > piecewise $C^k$ functions, piecewise $C^k$ functions (unknown)

History

2026-10-26: add by m2/dev

3AXGHG7NYJ 3AXGHG7NYJ

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

Mentions

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

History

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

Albert Burroni 3AXP01SMZR

URI	`m2://inv/3AXP01SMZR`
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 Q102293456, Albert Burroni (unknown). Also nLab Albert Burroni

History

2026-10-26: add by m2/dev

Availability cascade 3AXX87N0NB

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

Mentions

wikipedia: Wikipedia List of cognitive biases#53ZJ, Availability cascade (unknown)

History

2026-11-02: add by m2/dev

Polynomial vector space 3AXZAPE080

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

Mentions

wikipedia: Wikipedia Examples of vector spaces#E96Q, Polynomial vector space (unknown)

History

2026-11-02: add by m2/dev

3AY06E3ND4 3AY06E3ND4

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

Mentions

arxiv: arXiv 2609.24509#CP7G (statement)

History

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

Hom functor 3AY1DT3GK1

URI	`m2://inv/3AY1DT3GK1`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Hom functor VJXS8AK67E

Mentions

wikidata: Wikidata Q5887297, Hom functor (definition). Also MathWorld Hom, nLab hom-functor, ProofWiki Definition:Hom_Functor
wikipedia: Wikipedia Hom functor, Hom functor (definition). Also Wikidata Q5887297

History

2026-10-26: add by m2/dev

Conditional maximal coupling 3AY699NQWQ

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

Mentions

arxiv: arXiv 2609.38228#H100, Conditional maximal coupling (statement). In 9YAE8FNQST/e1, lemma 28.1

History

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

3AY8NT29DZ 3AY8NT29DZ

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

Mentions

arxiv: arXiv 2609.33068#U76C (statement). In V9Z9Z0V5Y0/e1, lemma 2

History

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

Versor 3AYJBEME8P

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

Mentions

wikipedia: Wikipedia Versor, Versor (definition). Also Wikidata Q2518235

History

2026-11-02: add by m2/dev

3AYMSKT1G2 3AYMSKT1G2

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

Mentions

arxiv: arXiv 2610.10570#J9VV (statement). In V0MA250K2P/e1, corollary 3.10

History

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

3AYSJ490KR 3AYSJ490KR

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_gt-coloring.ptx#theorem-2 (statement). In Y91XFCEVHQ, theorem, section 5.4.1

History

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

Exact order of full-degree Type II arcs 3AYZMSJ38T

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

Mentions

arxiv: arXiv 2609.26055#ZRJ5, Exact order of full-degree Type II arcs (statement)

History

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

3AZ4GCRV0M 3AZ4GCRV0M

URI	`m2://inv/3AZ4GCRV0M`
Kind	definition
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 2609.30086#5M26 (definition)

History

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

Karl Schwarzschild 3AZ4QXEJMA

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#53RZ, Karl Schwarzschild (unknown)

History

2026-11-02: add by m2/dev

3AZ73JR09F 3AZ73JR09F

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

Mentions

arxiv: arXiv 2610.01346#AXF2 (statement). In 44DQ7W1NW9/e1, lemma 5.5

History

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

Norm truncation 3AZP5WTYSF

URI	`m2://inv/3AZP5WTYSF`
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#EZOP, Norm truncation (statement). In 5BZQS1KY9A/e1, corollary 3.5

History

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

DIMACS 3AZSF8M8RG

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

Mentions

wikipedia: Wikipedia DIMACS, DIMACS (definition). Also Wikidata Q5205117

History

2026-11-02: add by m2/dev

3AZYRS3ZZ5 3AZYRS3ZZ5

URI	`m2://inv/3AZYRS3ZZ5`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 53-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.22288#FM1W (statement). In X38P26DK6S/e1, proposition 5.17

History

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