Inventory rows 2M

2M0F83TCSJ 2M0F83TCSJ

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

Mentions

arxiv: arXiv 2610.14803#8ZMY (example). In VAEVDTBD3B/e1, example 4.9

History

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

Applications 2M0H42N4C6

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

Mentions

wikipedia: Wikipedia Heterodyne#7GCI, Applications (example)

History

2026-11-02: add by m2/dev

2M0HCMZFD3 2M0HCMZFD3

URI	`m2://inv/2M0HCMZFD3`
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 2605.29624#2TYM (statement). In TAD5A4R089/e1, lemma 3.8

History

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

2M0PMAVQJC 2M0PMAVQJC

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

Mentions

arxiv: arXiv 2610.21355#CMT6 (definition). In XKJ7VKN4P0/e1, definition 4

History

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

2M153B26AJ 2M153B26AJ

URI	`m2://inv/2M153B26AJ`
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 2503.12486#2SAX (statement). In 3343AEAXB3/e1, theorem 3.1

History

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

2M1DAK27DD 2M1DAK27DD

URI	`m2://inv/2M1DAK27DD`
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.31478#AYLO (statement). In 56P0XQZZ3D/e1, theorem 4.1

History

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

Transition Probabilities to Full Configuration 2M1E0FWDAF

URI	`m2://inv/2M1E0FWDAF`
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 2603.16304#0YTZ, Transition Probabilities to Full Configuration (statement). In NEGP0YBA3C/e1, lemma 3.2

History

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

I want to go when I want. It is tasteless to prolong life artificially. I have done my share, it is time to go. I will do it elegantly. 2M1JN3RBM1

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

Mentions

wikipedia: Wikipedia Albert Einstein#GFKQ, I want to go when I want. It is tasteless to prolong life artificially. I have done my share, it is time to go. I will do it elegantly. (unknown)

History

2026-11-02: add by m2/dev

Italian Statistical Society 2M1PK80KZF

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

Mentions

wikipedia: Wikipedia Italian Statistical Society, Italian Statistical Society (definition). Also Wikidata Q3963390

History

2026-11-02: add by m2/dev

Pentakis snub dodecahedron 2M1WAR2PRK

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

Mentions

wikipedia: Wikipedia Pentakis snub dodecahedron, Pentakis snub dodecahedron (definition). Also Wikidata Q6577708

History

2026-11-02: add by m2/dev

Joint matrix and scalar balancing 2M21FVCP6G

URI	`m2://inv/2M21FVCP6G`
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#8AQ3, Joint matrix and scalar balancing (statement). In 9YAE8FNQST/e1, theorem 7.5

History

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

2M23EBR4WC 2M23EBR4WC

URI	`m2://inv/2M23EBR4WC`
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.03288#FN7S (statement). In ZHP1MFSACN/e1, lemma 6.10

History

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

Second-moment identifiability 2M24BTVMG4

URI	`m2://inv/2M24BTVMG4`
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.04671#VVJC, Second-moment identifiability (statement). In BYP65TRGDT/e1, theorem 5.1

History

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

Generalizations 2M2NBY7CVA

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

Mentions

wikipedia: Wikipedia Poisson summation formula#Z11P, Generalizations (statement)

History

2026-11-02: add by m2/dev

2M2RWF4A74 2M2RWF4A74

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_mult.ptx#proof-5 (proof). In QKM9DD2H56, proof, section B.8

History

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

Bohr–Mollerup theorem 2M2WEN9FWX

URI	`m2://inv/2M2WEN9FWX`
Kind	statement
Layer	textbook
MSC	33-XX
Sources	4
Outcome	open
Node	Bohr–Mollerup theorem QFF87AXWN2

Mentions

mathlib_1000: mathlib_1000 Q2734084, Bohr–Mollerup theorem (statement). Also Wikidata Q2734084
thousand_plus: thousand_plus Q2734084, Bohr–Mollerup theorem (statement). Also Wikidata Q2734084, Wikipedia Bohr–Mollerup theorem
wikidata: Wikidata Q2734084, Bohr–Mollerup theorem (statement). Also MathWorld Bohr-MollerupTheorem
wikipedia: Wikipedia Bohr–Mollerup theorem, Bohr–Mollerup theorem (statement). Also Wikidata Q2734084

History

2026-10-26: add by m2/dev

Stars 2M2ZXGQXGD

URI	`m2://inv/2M2ZXGQXGD`
Kind	statement
Layer	research
MSC	05-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.31535#EYDE, Stars (statement). In BAWCMJQGVA/e1, corollary 6.7

History

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

List of integrals of irrational algebraic functions 2M31QE1AZS

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

Mentions

wikipedia: Wikipedia Lists of integrals#HMJ7, List of integrals of irrational algebraic functions (topic)

History

2026-11-02: add by m2/dev

2M350A2KC4 2M350A2KC4

URI	`m2://inv/2M350A2KC4`
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.32338#Y8IX (statement). In HVY45JQRNK/e1, theorem 6.5

History

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

curtate hypocycloid 2M3ER6PQMG

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

Mentions

wikidata: Wikidata Q78154044, curtate hypocycloid (unknown). Also MathWorld CurtateHypocycloid

History

2026-10-26: add by m2/dev

Athanase Dupré 2M3NCBSP3V

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

Mentions

wikipedia: Wikipedia Athanase Dupré, Athanase Dupré (topic). Also Wikidata Q754748

History

2026-11-02: add by m2/dev

2M3RKSV3TV 2M3RKSV3TV

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

Mentions

arxiv: arXiv 2108.10246#IOOK (definition). In XD0YT3XCW2/e1, definition 3.14

History

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

2M40D9G00W 2M40D9G00W

URI	`m2://inv/2M40D9G00W`
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.08480#ORXG (statement). In R4EEE89C3S/e1, theorem 3.3

History

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

Dimension lift 2M417P57YD

URI	`m2://inv/2M417P57YD`
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.38993#T9OC, Dimension lift (statement). In AFKQK866Y1/e1, proposition 3.7

History

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

isomorphism 2M47GN66SY

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

Mentions

wikipedia: Wikipedia Glossary of module theory#QEL8, isomorphism (definition)

History

2026-11-02: add by m2/dev

2M48M78XKM 2M48M78XKM

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-19 (statement). In VNMV985MXX, thm, section 4.5

History

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

2M4AD2RD6G 2M4AD2RD6G

URI	`m2://inv/2M4AD2RD6G`
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 2207.11097#V4KP (definition). In 13H5BTAXHF/e1, definition 7

History

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

Rossmo's formula 2M4CCHWR0T

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

Mentions

wikipedia: Wikipedia Rossmo's formula, Rossmo's formula (statement). Also Wikidata Q7369895

History

2026-11-02: add by m2/dev

hereditary 2M4D85R07Z

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#5SCG, hereditary (definition)

History

2026-11-02: add by m2/dev

Codimension of the Satake--Jacobian boundary 2M4FCV3RKS

URI	`m2://inv/2M4FCV3RKS`
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#66PH, Codimension of the Satake--Jacobian boundary (statement). In PZJDV6SJ9E/e1, lemma 8.2

History

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

2M4VVP6N95 2M4VVP6N95

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-13 (proof). In E59CDZA4DP, proof, section 1.5

History

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

Strengthened Hanna Neumann conjecture 2M5CMVV33E

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

Mentions

wikipedia: Wikipedia Hanna Neumann conjecture#44SZ, Strengthened Hanna Neumann conjecture (statement)

History

2026-11-02: add by m2/dev

Applications 2M5FHP607W

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

Mentions

wikipedia: Wikipedia Social rationality#V27L, Applications (example)

History

2026-11-02: add by m2/dev

Melvin Fitting 2M5M9P8K6K

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4U9V, Melvin Fitting (topic)

History

2026-11-02: add by m2/dev

Victor Aladjev 2M5SMJPK18

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

Mentions

wikipedia: Wikipedia Victor Aladjev, Victor Aladjev (topic). Also Wikidata Q124001287

History

2026-11-02: add by m2/dev

2M5VJFMTAR 2M5VJFMTAR

URI	`m2://inv/2M5VJFMTAR`
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 1907.01440#J95D (statement). In QDRYC6WJJ7/e1, lemma 9

History

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

Truncated tesseract 2M60QC80WR

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

Mentions

wikipedia: Wikipedia Truncated tesseract, Truncated tesseract (definition). Also Wikidata Q7847914

History

2026-11-02: add by m2/dev

2M623JCK5D 2M623JCK5D

URI	`m2://inv/2M623JCK5D`
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.13833#H8V7 (definition). In VD4JP4HVBX/e1, definition 5.1

History

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

complete 2M666KXBP4

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

Mentions

wikipedia: Wikipedia Glossary of category theory#C3IC, complete (definition)

History

2026-11-02: add by m2/dev

Phragmén–Lindelöf principle 2M66YVNDTH

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

Mentions

mathlib_1000: mathlib_1000 Q4378868, Phragmén–Lindelöf theorem (statement). Also Mathlib PhragmenLindelof.horizontal_strip, Wikidata Q4378868
mathlib_overview: mathlib_overview Analysis > Complex analysis > Phragmen-Lindelöf principle, Phragmen-Lindelöf principle (unknown). Also Mathlib PhragmenLindelof.horizontal_strip
thousand_plus: thousand_plus Q4378868, Phragmén–Lindelöf theorem (statement). Also Mathlib PhragmenLindelof.horizontal_strip, Wikidata Q4378868, Wikipedia Phragmén–Lindelöf theorem
wikipedia: Wikipedia Phragmén–Lindelöf principle, Phragmén–Lindelöf principle (statement). Also Wikidata Q4378868

History

2026-10-26: add by m2/dev

2M69KTACFM 2M69KTACFM

URI	`m2://inv/2M69KTACFM`
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 2310.14879#CER5 (statement). In 3VZ55B2N0D/e1, corollary 6.22

History

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

2M6BEK59XM 2M6BEK59XM

URI	`m2://inv/2M6BEK59XM`
Kind	definition
Layer	research
MSC	35-XX, 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.38061#XP7Z (definition). In XFBW60M3AR/e1, definition 3.2

History

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

2M6HC6ZGC6 2M6HC6ZGC6

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

Mentions

arxiv: arXiv 2211.01586#HJUQ (proof). In P39MF3ZJC0/e1, proof

History

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

2M6K33CT70 2M6K33CT70

URI	`m2://inv/2M6K33CT70`
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 1804.06366#UIM2 (definition). In 89XYDVXG38/e1, definition 3.2

History

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

Quantum oracle 2M6M0BQ0QZ

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

Mentions

wikipedia: Wikipedia Grover's algorithm#86WC, Quantum oracle (unknown)

History

2026-11-02: add by m2/dev

Isotopy class 2M6Q6WJVZY

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

Mentions

wikipedia: Wikipedia Small Latin squares and quasigroups#ZTZI, Isotopy class (unknown)

History

2026-11-02: add by m2/dev

Dressed preparations and measurements from Gaussian control 2M70HAF4K4

URI	`m2://inv/2M70HAF4K4`
Kind	statement
Layer	research
MSC	62-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.00448#FRAG, Dressed preparations and measurements from Gaussian control (statement). In N06J7GC05Q/e1, proposition F.1

History

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

globular operad 2M71KT5TBY

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

Mentions

hott_book: hott_book index/1.1/globular-operad, globular operad (concept). In N54F33XE07, index, section 1.1

History

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

Contrast (statistics) 2M725JDKK8

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

Mentions

wikipedia: Wikipedia List of statistics articles#NQKA, Contrast (statistics) (definition)

History

2026-11-02: add by m2/dev

2M73B1CKS2 2M73B1CKS2

URI	`m2://inv/2M73B1CKS2`
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.04135#3ZP2 (statement). In 587PWJ6W5D/e1, lemma 3

History

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

2M73V7VSG8 2M73V7VSG8

URI	`m2://inv/2M73V7VSG8`
Kind	statement
Layer	research
MSC	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.27295#GYXN (statement)

History

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

Definition 2M79QVPGBM

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

Mentions

wikipedia: Wikipedia Representative elementary volume#VV2F, Definition (definition)

History

2026-11-02: add by m2/dev

2M7FDFJ4A5 2M7FDFJ4A5

URI	`m2://inv/2M7FDFJ4A5`
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 2112.05010#N9G1 (statement). In 4SZNPS3Z00/e1, lemma 5.8

History

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

complete normal forms 2M7G6W22PF

URI	`m2://inv/2M7G6W22PF`
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.22667#KTLB, complete normal forms (statement)

History

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

Uniform front localization 2M7TSDCGXX

URI	`m2://inv/2M7TSDCGXX`
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.21328#GIWF, Uniform front localization (statement). In BJXVV4ZF7B/e1, lemma 5.3

History

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

Tadeusz Ważewski 2M7W1551M3

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

Mentions

wikipedia: Wikipedia Tadeusz Ważewski, Tadeusz Ważewski (topic). Also Wikidata Q323507

History

2026-11-02: add by m2/dev

2M7ZSQPAW1 2M7ZSQPAW1

URI	`m2://inv/2M7ZSQPAW1`
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#G47I (statement). In H3DJV9YQW1/e1, proposition 4.13

History

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

isomorphism, of posets 2M820M3JAP

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

Mentions

applied_combinatorics: applied_combinatorics index/6.2/isomorphism-of-posets, isomorphism, of posets (concept). In QKM9DD2H56, index, section 6.2

History

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

2M823451Z2 2M823451Z2

URI	`m2://inv/2M823451Z2`
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 2506.07061#KYC3 (statement). In G2PA4KAGRP/e1, theorem 5.7

History

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

Gerald Enoch Sacks 2M84SD0E7R

URI	`m2://inv/2M84SD0E7R`
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#43NS, Gerald Enoch Sacks (topic)

History

2026-11-02: add by m2/dev

2M8AMY2A1Q 2M8AMY2A1Q

URI	`m2://inv/2M8AMY2A1Q`
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 2610.08885#5BO7 (statement). In B4RHB3CF12/e1, theorem 1.5

History

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

2M8C2MPAHT 2M8C2MPAHT

URI	`m2://inv/2M8C2MPAHT`
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.37739#VX12 (statement). In F5XF5VXTXY/e1, corollary 2.4

History

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

core 2M8ETGSBSM

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

Mentions

wikipedia: Wikipedia Glossary of set theory#LPPC, core (definition)

History

2026-11-02: add by m2/dev

Brun's theorem 2M8H47Z9K9

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

Mentions

wikipedia: Wikipedia List of theorems#07ZM, Brun's theorem (statement)

History

2026-11-02: add by m2/dev

Relation to Hilbert's program and Gödel's theorem 2M8HPTB5WC

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

Mentions

wikipedia: Wikipedia Gentzen's consistency proof#Z58I, Relation to Hilbert's program and Gödel's theorem (statement)

History

2026-11-02: add by m2/dev

2M8JB73KXN 2M8JB73KXN

URI	`m2://inv/2M8JB73KXN`
Kind	statement
Layer	research
MSC	14-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 2610.15434#4FES (statement). In PWF23QSGDX/e1, lemma 2.7

History

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

2M8KPFJ48G 2M8KPFJ48G

URI	`m2://inv/2M8KPFJ48G`
Kind	statement
Layer	research
MSC	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.04046#DA11 (statement). In 3THDT8WNF7/e1, lemma 3

History

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

2M8NHSC1CP 2M8NHSC1CP

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

Mentions

open_logic: open_logic content/computability/recursive-functions/examples.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 3.20

History

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

2M8P8QEBYQ 2M8P8QEBYQ

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

Mentions

hott_book: hott_book homotopy.tex#defn-3 (definition). In N54F33XE07, defn, section 7.4

History

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

Kummer's theorem 2M8PHS0FJJ

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

Mentions

wikipedia: Wikipedia List of theorems#NG4Y, Kummer's theorem (statement)

History

2026-11-02: add by m2/dev

2M8QGQQY4M 2M8QGQQY4M

URI	`m2://inv/2M8QGQQY4M`
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 2106.11898#86KX (statement). In KXXV5X8AG4/e1, proposition 1.2

History

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

Alpha recursion theory 2M8QHP0FNE

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

Mentions

wikipedia: Wikipedia Alpha recursion theory, Alpha recursion theory (definition). Also Wikidata Q4735170

History

2026-11-02: add by m2/dev

Whitney sum 2M8SF1H8FQ

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

Mentions

wikidata: Wikidata Q124247536, Whitney sum (unknown). Also MathWorld WhitneySum, nLab direct sum of vector bundles

History

2026-10-26: add by m2/dev

2M8WVPXBH6 2M8WVPXBH6

URI	`m2://inv/2M8WVPXBH6`
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 2602.19452#9WI3 (statement). In 3GF75S0XJ0/e1, lemma 3.6

History

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

Nivio Ziviani 2M8ZQQZBDF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HO80, Nivio Ziviani (unknown)

History

2026-11-02: add by m2/dev

2M90KDFFZP 2M90KDFFZP

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

Mentions

arxiv: arXiv 2609.25275#CJ93 (statement)

History

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

Constraint (information theory) 2M91V70A37

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

Mentions

wikipedia: Wikipedia List of statistics articles#6XHR, Constraint (information theory) (definition)

History

2026-11-02: add by m2/dev

2M9527MVBC 2M9527MVBC

URI	`m2://inv/2M9527MVBC`
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#F995 (statement)

History

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

Fresnel number 2M97EFBV67

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

Mentions

wikipedia: Wikipedia Fresnel number, Fresnel number (definition). Also Wikidata Q1455717

History

2026-11-02: add by m2/dev

2M9H2QGJ79 2M9H2QGJ79

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 9.2

History

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

Uses 2M9THMVQ1N

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

Mentions

wikipedia: Wikipedia Qualitative marketing research#WAA1, Uses (example)

History

2026-11-02: add by m2/dev

2M9VVXHSDH 2M9VVXHSDH

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

Mentions

arxiv: arXiv 2609.36022#5RLJ (statement). In ENH5XNBQWH/e1, lemma 3.21

History

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

1 E -17 m 2MA0V5EDQ0

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

Mentions

wikipedia: Wikipedia Orders of magnitude (length)#2OHD, 1 E -17 m (unknown)

History

2026-11-02: add by m2/dev

2MA3M8A8SH 2MA3M8A8SH

URI	`m2://inv/2MA3M8A8SH`
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#IPRX (statement). In 99CQPHSSYF/e1, fact \zarabicsection.\zarabicthrm

History

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

divisor function 2MA9DG1DHF

URI	`m2://inv/2MA9DG1DHF`
Kind	definition
Layer	textbook
MSC	11-XX
Sources	4
Outcome	node (a node has the same name as the row)
Node	Divisor function 04J4Z73J5B

Mentions

mathlib_1000: mathlib_1000 Q915474, Robin's theorem (statement). Also Wikidata Q915474
thousand_plus: thousand_plus Q915474, Robin's theorem (statement). Also Wikidata Q915474, Wikipedia Robin's theorem
wikidata: Wikidata Q915474, divisor function (definition). Also MathWorld DivisorFunction, ProofWiki Definition:Divisor_Function
wikipedia: Wikipedia Divisor function, Divisor function (definition). Also Wikidata Q915474

History

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

Algorithm 2MAFT7K9A5

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

Mentions

wikipedia: Wikipedia Havel–Hakimi algorithm#W6OY, Algorithm (definition)

History

2026-11-02: add by m2/dev

2MB70GTCR9 2MB70GTCR9

URI	`m2://inv/2MB70GTCR9`
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 2610.08193#N2BE (statement). In 8XAKGH8S2D/e1, theorem 2.2

History

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

2MB9B5647G 2MB9B5647G

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

Mentions

arxiv: arXiv 2609.28141#JD9L (statement)

History

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

2MBGDYDGSD 2MBGDYDGSD

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#definition-3 (definition). In P1C114YBXG, definition, section u1

History

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

Normalization 2MBNY2NXXV

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

Mentions

arxiv: arXiv 2610.17677#5EFG, Normalization (statement). In 5E9G06XJKC/e1, lemma E.1

History

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

Tasneem Zehra Husain 2MBPSNV9JF

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

Mentions

wikipedia: Wikipedia List of string theory topics#JBJF, Tasneem Zehra Husain (unknown)

History

2026-11-02: add by m2/dev

Credential Lag 2MBQBSW1AY

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

Mentions

wikipedia: Wikipedia Active Directory#O4H2, Credential Lag (unknown)

History

2026-11-02: add by m2/dev

Special cases of the formula 2MBVS93X88

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

Mentions

wikipedia: Wikipedia Quartic function#OAGA, Special cases of the formula (statement)

History

2026-11-02: add by m2/dev

2MBWNN466W 2MBWNN466W

URI	`m2://inv/2MBWNN466W`
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#ZC3O (statement). In KAYGQMQPGS/e1, corollary 5.13

History

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

2MC3DB49NC 2MC3DB49NC

URI	`m2://inv/2MC3DB49NC`
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 2207.07461#P681 (definition). In GAG532VMPF/e1, definition 1.1.1

History

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

2MC712C3M1 2MC712C3M1

URI	`m2://inv/2MC712C3M1`
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.16358#CIWC (statement). In RJA3YJ9NYK/e1, theorem 1.3

History

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

Applications 2MCAYDN3HB

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

Mentions

wikipedia: Wikipedia Triangular array#AEFK, Applications (example)

History

2026-11-02: add by m2/dev

2MCG4XV66J 2MCG4XV66J

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-11 (exercise). In E9HS8K3A52, exercise, section 10.1.6

History

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

Surgery structure set 2MCGHH9F7X

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

Mentions

wikipedia: Wikipedia Surgery structure set, Surgery structure set (definition). Also Wikidata Q7646197

History

2026-11-02: add by m2/dev

Geodemographic segmentation 2MCHS1VK5Q

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

Mentions

wikipedia: Wikipedia Geodemographic segmentation, Geodemographic segmentation (definition). Also Wikidata Q5533974

History

2026-11-02: add by m2/dev

2MDDA8GK3B 2MDDA8GK3B

URI	`m2://inv/2MDDA8GK3B`
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.15460#1V33 (statement). In T2Z3D2VQ9B/e1, corollary 8.3

History

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

2MDDYSDF3W 2MDDYSDF3W

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

Mentions

arxiv: arXiv 2609.36884#I270 (definition). In Z7E16PFFCP/e1, definition 1.1

History

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

leading coefficient 2MDJYMSYR9

URI	`m2://inv/2MDJYMSYR9`
Kind	definition
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Leading coefficient 0P05RJC5XA

Mentions

wikidata: Wikidata Q130416821, leading coefficient (definition). Also ProofWiki Definition:Leading_Coefficient_of_Polynomial

History

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

Basic properties 2MDNQQ2360

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

Mentions

wikipedia: Wikipedia Clausen function#3BZR, Basic properties (statement)

History

2026-11-02: add by m2/dev

Radially unbounded function 2MDQQCST8Z

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

Mentions

wikipedia: Wikipedia Radially unbounded function, Radially unbounded function (definition). Also Wikidata Q16979303

History

2026-11-02: add by m2/dev

2MDZTTBFT6 2MDZTTBFT6

URI	`m2://inv/2MDZTTBFT6`
Kind	example
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 2506.07061#LEF2 (example). In G2PA4KAGRP/e1, example 2.3

History

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

2ME1434AJ9 2ME1434AJ9

URI	`m2://inv/2ME1434AJ9`
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 2610.13295#2UXD (example). In 8Q7QXTWD0S/e1, example 4.12

History

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

Judith Gersting 2MEM2CDHD3

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

Mentions

wikipedia: Wikipedia Judith Gersting, Judith Gersting (topic). Also Wikidata Q98669627

History

2026-11-02: add by m2/dev

Application 2MEM48DDTC

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

Mentions

wikipedia: Wikipedia Sturm's theorem#8TLG, Application (example)

History

2026-11-02: add by m2/dev

Bernold Fiedler 2MEWQY4KH5

URI	`m2://inv/2MEWQY4KH5`
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#VQTT, Bernold Fiedler (topic)

History

2026-11-02: add by m2/dev

2MEZRQBDG1 2MEZRQBDG1

URI	`m2://inv/2MEZRQBDG1`
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 2606.11100#ZX61 (statement). In K6TFPPVEF9/e1, lemma 3.1

History

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

2MF8PSZZY1 2MF8PSZZY1

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

Mentions

arxiv: arXiv 2609.35543#J4CT (statement). In WSG1ZW956E/e1, lemma 3.2

History

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

Carl Neumann 2MF8PX23N6

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

Mentions

wikipedia: Wikipedia Carl Neumann, Carl Neumann (topic). Also Wikidata Q77313

History

2026-11-02: add by m2/dev

2MFB7BA8FC 2MFB7BA8FC

URI	`m2://inv/2MFB7BA8FC`
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 2012.11507#3I8S (statement). In DZA5P853H9/e1, proposition 3

History

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

Singular function 2MFG1CATW5

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

Mentions

wikipedia: Wikipedia List of real analysis topics#F2AA, Singular function (definition)

History

2026-11-02: add by m2/dev

singleton graph 2MFHQ15AKE

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

Mentions

wikidata: Wikidata Q3115606, singleton graph (unknown). Also House of Graphs 1310, MathWorld SingletonGraph

History

2026-10-26: add by m2/dev

2MFWVNZYTG 2MFWVNZYTG

URI	`m2://inv/2MFWVNZYTG`
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#P89I (statement). In 40VTEP7WH8/e1, theorem

History

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

2MG14BTZ2V 2MG14BTZ2V

URI	`m2://inv/2MG14BTZ2V`
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 2112.05010#Q39W (statement). In 4SZNPS3Z00/e1, lemma B.1

History

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

2MG93656JX 2MG93656JX

URI	`m2://inv/2MG93656JX`
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.33932#TP01 (statement). In YPVF3ET43M/e1, theorem 3.6

History

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

2MGAPQK1KA 2MGAPQK1KA

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

Mentions

arxiv: arXiv 2609.40207#2AY1 (statement). In JXTG8KP95P/e1, theorem 1.3

History

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

2MGBNV9S19 2MGBNV9S19

URI	`m2://inv/2MGBNV9S19`
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#HEKO (statement). In B5GGGWNJA6/e1, lemma 4

History

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

2MGC9TX7GC 2MGC9TX7GC

URI	`m2://inv/2MGC9TX7GC`
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 2411.02694#LGHR (statement). In A8EK2ARN5Q/e1, lemma 3.3

History

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

Equivalent fraction 2MGE0FP588

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

Mentions

wikipedia: Wikipedia Fraction#X1XR, Equivalent fraction (unknown)

History

2026-11-02: add by m2/dev

2MGFNHPG8F 2MGFNHPG8F

URI	`m2://inv/2MGFNHPG8F`
Kind	definition
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 2309.01359#AD4W (definition). In BFV19FC2G7/e1, definition 1.1

History

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

Cellular homology 2MGG51XH8G

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#PG6M, Cellular homology (topic)

History

2026-11-02: add by m2/dev

2MGM6PJMYV 2MGM6PJMYV

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

Mentions

open_logic: open_logic content/set-theory/ordinals/basic.tex#ordissetofsmallerord (statement). In PKGMM3P5QY, cor, section 72.2

History

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

2MGZPM58VY 2MGZPM58VY

URI	`m2://inv/2MGZPM58VY`
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 1612.08394#3TSJ (statement). In 1P8D88DKG5/e1, lemma 7.3

History

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

Relativistic Euler equations 2MH1C9YET3

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

Mentions

wikipedia: Wikipedia Relativistic Euler equations, Relativistic Euler equations (definition). Also Wikidata Q7310823

History

2026-11-02: add by m2/dev

Definition 2MH655721Y

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

Mentions

wikipedia: Wikipedia Procesi bundle#8MNE, Definition (definition)

History

2026-11-02: add by m2/dev

Right strophoid 2MH6R7VJRD

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#LHJ6, Right strophoid (definition)
wikipedia: Wikipedia List of curves#MIB2, Right strophoid (definition)

History

2026-11-02: add by m2/dev

Khinchin's constant 2MHF1SB1AG

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#IWR7, Khinchin's constant (object)

History

2026-11-02: add by m2/dev

2MHK4GWKTS 2MHK4GWKTS

URI	`m2://inv/2MHK4GWKTS`
Kind	statement
Layer	research
MSC	14-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.06746#KKT7 (statement). In B8A6BPP922/e1, lemma 3.1

History

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

Sheila Oates Williams 2MHKJ73TBG

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

Mentions

wikipedia: Wikipedia Sheila Oates Williams, Sheila Oates Williams (topic). Also Wikidata Q102183222

History

2026-11-02: add by m2/dev

Dissipative system 2MHKPKRVBG

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#OYC6, Dissipative system (definition)

History

2026-11-02: add by m2/dev

Line drawing 2MHWV4C33D

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

Mentions

wikipedia: Wikipedia List of algorithms#X1D0, Line drawing (unknown)

History

2026-11-02: add by m2/dev

Archie Blake 2MHXDRNZGB

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

Mentions

wikipedia: Wikipedia Archie Blake (mathematician), Archie Blake (topic). Also Wikidata Q110158155

History

2026-11-02: add by m2/dev

Corollary 2MJ08K8444

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

Mentions

wikipedia: Wikipedia Schur's lemma#LEYL, Corollary (statement)

History

2026-11-02: add by m2/dev

Broken space diagonal 2MJ50R9084

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

Mentions

wikipedia: Wikipedia Broken space diagonal, Broken space diagonal (definition). Also Wikidata Q4973521

History

2026-11-02: add by m2/dev

2MJ8J59QZ9 2MJ8J59QZ9

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

Mentions

arxiv: arXiv 2610.16554#EUP5 (statement). In GWNT8HEZG1/e1, proposition 2.12

History

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

2MJD6G21BZ 2MJD6G21BZ

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

Mentions

arxiv: arXiv 2609.25111#TIXI (definition)

History

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

Theorem (Matoušek 2008, Theorem 4.1) 2MJXH49DAC

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

Mentions

wikipedia: Wikipedia Johnson–Lindenstrauss lemma#8NEG, Theorem (Matoušek 2008, Theorem 4.1) (statement)

History

2026-11-02: add by m2/dev

Four-spiral semigroup 2MJYPVXDA1

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

Mentions

wikipedia: Wikipedia Four-spiral semigroup, Four-spiral semigroup (definition). Also Wikidata Q17097908

History

2026-11-02: add by m2/dev

Jing-Rebecca Li 2MJYV8PA9X

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

Mentions

wikipedia: Wikipedia Jing-Rebecca Li, Jing-Rebecca Li (topic). Also Wikidata Q87043868

History

2026-11-02: add by m2/dev

Ellis drainhole 2MK4JHMNJ4

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

Mentions

wikipedia: Wikipedia Ellis drainhole, Ellis drainhole (definition). Also Wikidata Q25313174

History

2026-11-02: add by m2/dev

List of things named after Alfred Tarski 2MK9QC98X8

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

Mentions

wikipedia: Wikipedia List of things named after Alfred Tarski, List of things named after Alfred Tarski (topic). Also Wikidata Q6643272

History

2026-11-02: add by m2/dev

2MKBG0H264 2MKBG0H264

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

Mentions

hott_book: hott_book reals.tex#ex:reals-apart-zero-divisors (exercise). In N54F33XE07, ex, section B.6

History

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

Highest averages method 2MKDPX9FK2

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#E1SE, Highest averages method (unknown)

History

2026-11-02: add by m2/dev

Gödel's β-function lemma 2MKMSGKP7Z

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

Mentions

wikipedia: Wikipedia Gödel numbering for sequences#TT9T, Gödel's β-function lemma (statement)

History

2026-11-02: add by m2/dev

Remark 2MKRBPYX6Q

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

Mentions

wikipedia: Wikipedia Cone (algebraic geometry)#N19B, Remark (unknown)

History

2026-11-02: add by m2/dev

Exact criterion for cosine optimality 2MM3FZATJC

URI	`m2://inv/2MM3FZATJC`
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#Q6TY, Exact criterion for cosine optimality (statement). In 9YAE8FNQST/e1, theorem 20.3

History

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

Jean Paul de Gua de Malves 2MM6P51G0N

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

Mentions

wikipedia: Wikipedia Jean Paul de Gua de Malves, Jean Paul de Gua de Malves (topic). Also Wikidata Q1384614

History

2026-11-02: add by m2/dev

Alexander Grothendieck 2MMAA5X2RE

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#DFIG, Alexander Grothendieck (topic)

History

2026-11-02: add by m2/dev

2MMCEQV5H1 2MMCEQV5H1

URI	`m2://inv/2MMCEQV5H1`
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.27641#D2WO (statement)

History

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

2MMGV5KQFQ 2MMGV5KQFQ

URI	`m2://inv/2MMGV5KQFQ`
Kind	problem
Layer	research
MSC	03-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 2609.33856#ZJ78 (problem). In 47WN78VDDF/e1, problem 5.1

History

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

Canonical lexical signature 2MMMR880MS

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

Mentions

arxiv: arXiv 2609.20207#ID44, Canonical lexical signature (definition)

History

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

Inclusion 2MMPRX0X7G

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

Mentions

wikipedia: Wikipedia Inclusion (logic), Inclusion (definition). Also Wikidata Q28803400

History

2026-11-02: add by m2/dev

Whitehead theorem 2MMSC38EST

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

Mentions

wikipedia: Wikipedia List of theorems#9H1H, Whitehead theorem (statement)

History

2026-11-02: add by m2/dev

2MMTYDXAP9 2MMTYDXAP9

URI	`m2://inv/2MMTYDXAP9`
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.29422#QDXM (statement)

History

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

2MMWY8PWWW 2MMWY8PWWW

URI	`m2://inv/2MMWY8PWWW`
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.34876#2P6N (statement). In XXQAW3ZBDF/e1, lemma 4.5

History

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

2MN215CZGW 2MN215CZGW

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

History

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

Definition 2MN287WJA5

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

Mentions

wikipedia: Wikipedia Ran space#DUKA, Definition (definition)

History

2026-11-02: add by m2/dev

Example 2MNC80G07J

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

Mentions

wikipedia: Wikipedia Controlling for a variable#JMD3, Example (example)

History

2026-11-02: add by m2/dev

LQG regularity 2MNFSFGGB5

URI	`m2://inv/2MNFSFGGB5`
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.36090#3G9T, LQG regularity (statement). In N025M6VQRY/e1, proposition 5.5

History

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

2MNVHYA607 2MNVHYA607

URI	`m2://inv/2MNVHYA607`
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.20599#2M81 (statement)

History

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

2MNXAPB8KH 2MNXAPB8KH

URI	`m2://inv/2MNXAPB8KH`
Kind	statement
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 2602.15812#WJ0B (statement). In GAAZD3SGPN/e1, lemma

History

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

Achilles--Manaresi 2MP6QHQAKN

URI	`m2://inv/2MP6QHQAKN`
Kind	statement
Layer	research
MSC	13-XX, 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 2610.07528#MXT9, Achilles--Manaresi (statement). In WVX0T502A1/e1, theorem 2.1

History

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

Negligible set 2MP8WHFJC1

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

Mentions

wikipedia: Wikipedia List of exceptional set concepts#P8LT, Negligible set (definition)
wikipedia: Wikipedia List of types of sets#COD2, Negligible set (definition)

History

2026-11-02: add by m2/dev

Bacterial growth 2MPA80S054

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

Mentions

wikipedia: Wikipedia List of exponential topics#CNGR, Bacterial growth (unknown)

History

2026-11-02: add by m2/dev

2MPG07SN3P 2MPG07SN3P

URI	`m2://inv/2MPG07SN3P`
Kind	unknown
Layer	research
MSC	35-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06441#TADJ (unknown). In YFJ62HWHVK/e1, unknown 3.1

History

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

2MPMKJK0RP 2MPMKJK0RP

URI	`m2://inv/2MPMKJK0RP`
Kind	statement
Layer	research
MSC	05-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.08500#Q7TM (statement). In ZPCYW4N0EH/e1, corollary 1.2

History

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

Implementable flux half-turn 2MPTBAZP0C

URI	`m2://inv/2MPTBAZP0C`
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.16248#TI06, Implementable flux half-turn (statement). In TP61DYMBMK/e1, theorem 2

History

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

Special cases 2MPVNP6CXC

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

Mentions

wikipedia: Wikipedia Frame (linear algebra)#MAAE, Special cases (statement)

History

2026-11-02: add by m2/dev

2MPX11C9GS 2MPX11C9GS

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-3.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 2.3

History

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

M. Cristina Pedicchio 2MQ7SJ9W5N

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

Mentions

wikipedia: Wikipedia M. Cristina Pedicchio, M. Cristina Pedicchio (topic). Also Wikidata Q112563060

History

2026-11-02: add by m2/dev

Integrated query and weight bounds 2MQC0JR3RP

URI	`m2://inv/2MQC0JR3RP`
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.05388#IUJP, Integrated query and weight bounds (statement). In 4HJK1986EJ/e1, lemma C.16

History

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

Strong equivalence principle 2MQHHHS0Z2

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

Mentions

wikipedia: Wikipedia Tests of general relativity#EOHX, Strong equivalence principle (statement)

History

2026-11-02: add by m2/dev

Example 2MQPWEQ3H7

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

Mentions

wikipedia: Wikipedia Factor theorem#B2HX, Example (example)

History

2026-11-02: add by m2/dev

2MQXM2NC6E 2MQXM2NC6E

URI	`m2://inv/2MQXM2NC6E`
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.17957#2O5N (statement). In T5ZBX4YPZB/e1, theorem 1.3

History

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

Gyrotrigonometry 2MR0BF1SB1

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#CAL6, Gyrotrigonometry (definition)

History

2026-11-02: add by m2/dev

2MR8GXSJJ7 2MR8GXSJJ7

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

Mentions

arxiv: arXiv 2609.39254#Z8LY (definition). In A59MZ9H284/e1, definition 2.5

History

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

2MR9FX4R83 2MR9FX4R83

URI	`m2://inv/2MR9FX4R83`
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.28350#TA2S (statement)

History

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

2MRBX5ZJYY 2MRBX5ZJYY

URI	`m2://inv/2MRBX5ZJYY`
Kind	statement
Layer	research
MSC	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.01653#Y7SJ (statement). In WZMHJCQPB2/e1, lemma 6.2

History

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

Probabilistic genotyping 2MRMEAMY0P

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

Mentions

wikipedia: Wikipedia Probabilistic genotyping, Probabilistic genotyping (definition). Also Wikidata Q65080885

History

2026-11-02: add by m2/dev

Edge figure 2MRMPEQTJT

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

Mentions

wikipedia: Wikipedia Vertex figure#75H5, Edge figure (unknown)

History

2026-11-02: add by m2/dev

Examples 2MRQ753MKC

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

Mentions

wikipedia: Wikipedia Spectrum of a C*-algebra#L287, Examples (example)

History

2026-11-02: add by m2/dev

Borel sigma-algebra 2MRQDP1G9C

URI	`m2://inv/2MRQDP1G9C`
Kind	unknown
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Borel sigma-algebra 0BVHZXWKCD

Mentions

mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Borel sigma-algebra, Borel sigma-algebra (unknown). Also Mathlib BorelSpace
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > Borel sigma-algebras, Borel sigma-algebras (unknown). Also Mathlib BorelSpace

History

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

2MS5EYQXM1 2MS5EYQXM1

URI	`m2://inv/2MS5EYQXM1`
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.26386#SL6D (statement)

History

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

Definitions 2MSANZADV9

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

Mentions

wikipedia: Wikipedia Algebraic signal processing#TG04, Definitions (definition)

History

2026-11-02: add by m2/dev

Reliability theory 2MSDSRKDM0

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

Mentions

wikipedia: Wikipedia Reliability engineering#4RA4, Reliability theory (unknown)

History

2026-11-02: add by m2/dev

James A. Donaldson 2MSGQCVSD0

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

Mentions

wikipedia: Wikipedia James A. Donaldson, James A. Donaldson (topic). Also Wikidata Q95286887

History

2026-11-02: add by m2/dev

Math rock 2MSGVN2CYC

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

Mentions

wikipedia: Wikipedia Math rock, Math rock (definition). Also Wikidata Q1132152

History

2026-11-02: add by m2/dev

Definition 2MSGWT762T

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

Mentions

wikipedia: Wikipedia Kronecker symbol#RWWP, Definition (definition)

History

2026-11-02: add by m2/dev

2MSM2VWBW5 2MSM2VWBW5

URI	`m2://inv/2MSM2VWBW5`
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 2610.02585#WX99 (statement). In V0KBBY82SY/e1, proposition 3.3

History

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

2MSPDXQ50M 2MSPDXQ50M

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

Mentions

napkin: napkin tex/set-theory/models.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 91.3

History

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

2MSSPR4E8H 2MSSPR4E8H

URI	`m2://inv/2MSSPR4E8H`
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.34856#P2D5 (statement). In MRR92GQNZE/e1, corollary 3.18

History

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

Exploitability 2MSYG6C1WY

URI	`m2://inv/2MSYG6C1WY`
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.26265#CB1V, Exploitability (definition)

History

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

Thomae's function 2MT8NT2CVZ

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

Mentions

wikipedia: Wikipedia Thomae's function, Thomae's function (definition). Also Wikidata Q776401

History

2026-11-02: add by m2/dev

Definition 2MT9K67DSF

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

Mentions

wikipedia: Wikipedia Bridge number#R0GK, Definition (definition)

History

2026-11-02: add by m2/dev

Symmetry 2MTQC3CYAQ

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

Mentions

wikipedia: Wikipedia Mutual information#BPTU, Symmetry (statement)

History

2026-11-02: add by m2/dev

Color blindness 2MTZYTWX7S

URI	`m2://inv/2MTZYTWX7S`
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#FQXP, Color blindness (unknown)

History

2026-11-02: add by m2/dev

Feistel cipher 2MV4M36RX2

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

Mentions

wikipedia: Wikipedia Feistel cipher, Feistel cipher (definition). Also Wikidata Q1044361

History

2026-11-02: add by m2/dev

Martha Takane 2MVGA08JPY

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

Mentions

wikipedia: Wikipedia Martha Takane, Martha Takane (topic). Also Wikidata Q102500522

History

2026-11-02: add by m2/dev

2MVJXSNBA1 2MVJXSNBA1

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-313 (exercise). In VNMV985MXX, exercise, section 6.8

History

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

2MVQ57YG2R 2MVQ57YG2R

URI	`m2://inv/2MVQ57YG2R`
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#O8VO (statement). In 9DQKY7KGE8/e1, proposition 4.17

History

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

Micaiah John Muller Hill 2MW1BZAH0M

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

Mentions

wikipedia: Wikipedia Micaiah John Muller Hill, Micaiah John Muller Hill (topic). Also Wikidata Q6827915

History

2026-11-02: add by m2/dev

deviation 2MW23ZHW33

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#UR47, deviation (definition)

History

2026-11-02: add by m2/dev

2MW42R29G1 2MW42R29G1

URI	`m2://inv/2MW42R29G1`
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.14582#KU0T (statement). In 6XP6PD2XZA/e1, proposition 2.3

History

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

2MW5SEHC4J 2MW5SEHC4J

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

Mentions

arxiv: arXiv 2610.19535#SDBL (definition). In MJXSE9QR4X/e1, definition 2.2

History

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

2MW76CS0B7 2MW76CS0B7

URI	`m2://inv/2MW76CS0B7`
Kind	statement
Layer	research
MSC	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.23559#CMLW (statement)

History

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

2MWN129VWG 2MWN129VWG

URI	`m2://inv/2MWN129VWG`
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.13295#0WHX (statement). In 8Q7QXTWD0S/e1, proposition 3.4

History

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

2MWN63BSB6 2MWN63BSB6

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

Mentions

arxiv: arXiv 2609.31523#156H (definition). In 2BET1RE1F6/e1, definition 2.1

History

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

2MWRGGH8RA 2MWRGGH8RA

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

Mentions

arxiv: arXiv 2302.05529#UWUP (statement). In 9VPMHV0M4R/e1, theorem 3.6

History

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

Resolution property 2MWXPN3KQ8

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

Mentions

wikipedia: Wikipedia Coherent sheaf#YH9D, Resolution property (unknown)

History

2026-11-02: add by m2/dev

2MWY178P5R 2MWY178P5R

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

Mentions

arxiv: arXiv 2302.05529#KWLZ (statement). In 9VPMHV0M4R/e1, lemma 3.5

History

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

Normal degree 2MX5600BP4

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

Mentions

wikipedia: Wikipedia Normal degree, Normal degree (definition). Also Wikidata Q7051801

History

2026-11-02: add by m2/dev

2MXEHNR4WS 2MXEHNR4WS

URI	`m2://inv/2MXEHNR4WS`
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.25880#Y9ZL (statement)

History

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

Pareto efficiency 2MXM42FM6H

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

Mentions

wikipedia: Wikipedia Glossary of game theory#2N9B, Pareto efficiency (definition)

History

2026-11-02: add by m2/dev

2MXMXKV2R1 2MXMXKV2R1

URI	`m2://inv/2MXMXKV2R1`
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.30113#H387 (statement)

History

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

Muddy children puzzle 2MXP6T1BX9

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

Mentions

wikipedia: Wikipedia Induction puzzles#JQNS, Muddy children puzzle (unknown)

History

2026-11-02: add by m2/dev

Notation 2MXSBSPVT8

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

Mentions

wikipedia: Wikipedia Vickrey–Clarke–Groves mechanism#QIYA, Notation (definition)

History

2026-11-02: add by m2/dev

Black hole information paradox 2MXTJMF1NG

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

Mentions

wikipedia: Wikipedia Holographic principle#S0JF, Black hole information paradox (statement)

History

2026-11-02: add by m2/dev

Weyl curvature 2MXVSTDGKM

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#U1PF, Weyl curvature (definition)

History

2026-11-02: add by m2/dev

2MXXK2KJRX 2MXXK2KJRX

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

Mentions

napkin: napkin tex/alg-geom/zariski.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 29.3

History

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

2MXY7942N3 2MXY7942N3

URI	`m2://inv/2MXY7942N3`
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#J4PM (statement). In WRE0P7V6Z3/e1, lemma 8.5

History

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

Smoothed analysis 2MY0CA0KDW

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

Mentions

wikipedia: Wikipedia Smoothed analysis, Smoothed analysis (definition). Also Wikidata Q7546449

History

2026-11-02: add by m2/dev

2MY8DH08P3 2MY8DH08P3

URI	`m2://inv/2MY8DH08P3`
Kind	problem
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#M61L (problem)

History

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

Formulation 2MYGHEHPKA

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

Mentions

wikipedia: Wikipedia Radar cross section#UA5J, Formulation (definition)

History

2026-11-02: add by m2/dev

2MYH5HY0SF 2MYH5HY0SF

URI	`m2://inv/2MYH5HY0SF`
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.11047#6MYH (statement). In MNQAZ70XTH/e1, proposition 12.4

History

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

Pappus's area theorem 2MYJ9EQMQ7

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

Mentions

mathlib_1000: mathlib_1000 Q3527044, Pappus's area theorem (statement). Also Wikidata Q3527044
thousand_plus: thousand_plus Q3527044, Pappus's area theorem (statement). Also Wikidata Q3527044, Wikipedia Pappus's area theorem
wikipedia: Wikipedia Pappus's area theorem, Pappus's area theorem (statement). Also Wikidata Q3527044

History

2026-10-26: add by m2/dev

2MYJB8T4E6 2MYJB8T4E6

URI	`m2://inv/2MYJB8T4E6`
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.09482#NCUE (statement). In VYMEQQVMBD/e1, proposition 2.2

History

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

Definition (Reversibility) 2MYZVRVY08

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

Mentions

wikipedia: Wikipedia Markov chain Monte Carlo#MBZ2, Definition (Reversibility) (definition)

History

2026-11-02: add by m2/dev

Automatic quadratic curvature 2MZ4A4R37B

URI	`m2://inv/2MZ4A4R37B`
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.05388#TMVJ, Automatic quadratic curvature (statement). In 4HJK1986EJ/e1, proposition B.2

History

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

Biorthogonal system 2MZ8AV706R

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

Mentions

wikipedia: Wikipedia Biorthogonal system, Biorthogonal system (definition). Also Wikidata Q864692

History

2026-11-02: add by m2/dev

2MZA2J7C39 2MZA2J7C39

URI	`m2://inv/2MZA2J7C39`
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 1512.06981#OZ9F (statement). In X923ZEY423/e1, lemma 1.8.5

History

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

Pi in the Sky 2MZCDFQP9X

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

Mentions

wikipedia: Wikipedia List of topics related to π#75Y1, Pi in the Sky (unknown)

History

2026-11-02: add by m2/dev

Urban Ecology Institute 2MZHNGA1H5

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

Mentions

wikipedia: Wikipedia List of research centers at Boston College#N6E2, Urban Ecology Institute (unknown)

History

2026-11-02: add by m2/dev

Variants 2MZMKXG4WK

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

Mentions

wikipedia: Wikipedia 3SUM#Y8ER, Variants (statement)

History

2026-11-02: add by m2/dev

Definition 2MZWER2KW9

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

Mentions

wikipedia: Wikipedia Fidelity of quantum states#Q08X, Definition (definition)

History

2026-11-02: add by m2/dev