Inventory rows NS

Andrews–Curtis conjecture NS0E47GJ7Y

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

Mentions

wikipedia: Wikipedia Andrews–Curtis conjecture, Andrews–Curtis conjecture (conjecture). Also Wikidata Q2409999

History

2026-11-02: add by m2/dev

NS0FP0K0S6 NS0FP0K0S6

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

Mentions

arxiv: arXiv 2610.15974#MOY9 (statement). In 61ZHQ7BTKP/e1, corollary 3.3

History

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

polynomial ring NS0J69ZM7M

URI	`m2://inv/NS0J69ZM7M`
Kind	definition
Layer	textbook
MSC	13F20
Sources	2
Outcome	node (a node has the same name as the row)
Node	Polynomial ring 0Q9EZS90GY

Mentions

wikidata: Wikidata Q1455652, polynomial ring (topic). Also EoM Ring_of_polynomials, MathWorld PolynomialRing
wikipedia: Wikipedia Polynomial ring, Polynomial ring (definition). Also Wikidata Q1455652

History

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

NS1E8EHYN2 NS1E8EHYN2

URI	`m2://inv/NS1E8EHYN2`
Kind	statement
Layer	research
MSC	30-XX, 32-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.10505#IVQQ (statement). In JW8HH6EPG2/e1, lemma 4.13

History

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

improper integrals NS1E91WJN3

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Integration > improper integrals, improper integrals (unknown)

History

2026-10-26: add by m2/dev

V-ring NS1JGVNC3F

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

Mentions

wikipedia: Wikipedia V-ring (ring theory), V-ring (definition). Also Wikidata Q25203479

History

2026-11-02: add by m2/dev

constructive proof NS1S2F408P

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

Mentions

wikipedia: Wikipedia Glossary of logic#2ICW, constructive proof (definition)

History

2026-11-02: add by m2/dev

Discrete-stable distribution NS22B13CVP

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

Mentions

wikipedia: Wikipedia Discrete-stable distribution, Discrete-stable distribution (definition). Also Wikidata Q25303662

History

2026-11-02: add by m2/dev

shortening knot NS2BYVGXEV

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

Mentions

wikidata: Wikidata Q119220531, shortening knot (unknown). Also MathWorld Shortening

History

2026-10-26: add by m2/dev

Generalized logistic distribution NS2FBW40YJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#9A59, Generalized logistic distribution (definition)

History

2026-11-02: add by m2/dev

Dual NS2NSH99PQ

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

Mentions

wikipedia: Wikipedia Dual (category theory), Dual (definition). Also Wikidata Q2361385

History

2026-11-02: add by m2/dev

Nu-transform NS2PQRYK8V

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

Mentions

wikipedia: Wikipedia Nu-transform, Nu-transform (definition). Also Wikidata Q56292212

History

2026-11-02: add by m2/dev

NS2Q25TBYV NS2Q25TBYV

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

Mentions

arxiv: arXiv 2609.33557#F0Q0 (statement). In 95YZVAPGJA/e1, lemma 1.5

History

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

Quantum mechanics NS2VWW6DXM

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

Mentions

wikipedia: Wikipedia List of paradoxes#30JW, Quantum mechanics (definition)

History

2026-11-02: add by m2/dev

Definition NS2XM52N4C

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

Mentions

wikipedia: Wikipedia Decision problem#YUE9, Definition (definition)

History

2026-11-02: add by m2/dev

Ulrich Pinkall NS3HB80CD1

URI	`m2://inv/NS3HB80CD1`
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#W2GW, Ulrich Pinkall (topic)

History

2026-11-02: add by m2/dev

Second symmetric derivative NS3Q2YYT5W

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

Mentions

wikipedia: Wikipedia Symmetric derivative#EW14, Second symmetric derivative (unknown)

History

2026-11-02: add by m2/dev

Mary Silber NS3XZ5JGBA

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

Mentions

wikipedia: Wikipedia Mary Silber, Mary Silber (topic). Also Wikidata Q20963721

History

2026-11-02: add by m2/dev

member NS3ZR9T0MZ

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

Mentions

lebl_ra: lebl_ra index/11.9.1/member, member (concept). In E59CDZA4DP, index, section 11.9.1

History

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

Lamp cord trick NS435WCWR6

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

Mentions

wikipedia: Wikipedia Lamp cord trick, Lamp cord trick (definition). Also Wikidata Q116973501

History

2026-11-02: add by m2/dev

Gaussian amplification optimum NS481Z3V9R

URI	`m2://inv/NS481Z3V9R`
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.35986#B25L, Gaussian amplification optimum (statement). In PBX6AMPVT2/e1, theorem 3.1

History

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

NS4B74BMEH NS4B74BMEH

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

History

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

girth NS4D1YJQGA

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

Mentions

levin_dmoi: levin_dmoi index/5.3.1/girth, girth (concept). In Y91XFCEVHQ, index, section 5.3.1

History

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

Mirjam Cvetic NS4F453165

URI	`m2://inv/NS4F453165`
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 Q48089267, Mirjam Cvetic (unknown). Also nLab Mirjam Cvetič

History

2026-10-26: add by m2/dev

category of being NS4VX74D6P

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

Mentions

wikidata: Wikidata Q714737, category of being (unknown). Also nLab category of being

History

2026-10-26: add by m2/dev

Randomness NS4YNVF21E

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

Mentions

wikipedia: Wikipedia List of statistics articles#Y40Q, Randomness (definition)

History

2026-11-02: add by m2/dev

Cousin problems NS50DSKB29

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#C2FG, Cousin problems (problem)

History

2026-11-02: add by m2/dev

NS55H7W9TC NS55H7W9TC

URI	`m2://inv/NS55H7W9TC`
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.25973#ZOCZ (statement)

History

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

NS55QW3M9P NS55QW3M9P

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

Mentions

arxiv: arXiv 2610.12683#H2WY (statement). In N5ZFFWV3RX/e1, lemma 4.5

History

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

Formal definition NS5B391Z0Q

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

Mentions

wikipedia: Wikipedia Buffered probability of exceedance#KV91, Formal definition (definition)

History

2026-11-02: add by m2/dev

Implementations NS5EC84AHF

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

Mentions

wikipedia: Wikipedia Cylindrical algebraic decomposition#G6BX, Implementations (definition)

History

2026-11-02: add by m2/dev

Overcompleteness NS5G4WHWV8

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

Mentions

wikipedia: Wikipedia Overcompleteness, Overcompleteness (definition). Also Wikidata Q7113610

History

2026-11-02: add by m2/dev

Fenchel's duality theorem NS5H7QXK54

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

Mentions

mathlib_1000: mathlib_1000 Q5443003, Fenchel's duality theorem (statement). Also Wikidata Q5443003
thousand_plus: thousand_plus Q5443003, Fenchel's duality theorem (statement). Also Wikidata Q5443003, Wikipedia Fenchel's duality theorem
wikipedia: Wikipedia Fenchel's duality theorem, Fenchel's duality theorem (statement). Also Wikidata Q5443003

History

2026-10-26: add by m2/dev

NS5K59P96A NS5K59P96A

URI	`m2://inv/NS5K59P96A`
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.20690#0386 (statement)

History

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

Applications NS5M5TSZ8R

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

Mentions

wikipedia: Wikipedia Paillier cryptosystem#VPV0, Applications (example)

History

2026-11-02: add by m2/dev

NS5NA96FE9 NS5NA96FE9

URI	`m2://inv/NS5NA96FE9`
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 2210.02997#2IJZ (statement). In KEXVYV0SNS/e1, theorem 21

History

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

NS5TNKE696 NS5TNKE696

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

Mentions

arxiv: arXiv 2609.35396#QEWU (statement). In 51N4SF53EV/e1, lemma 2.6

History

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

NS5TRV7EM7 NS5TRV7EM7

URI	`m2://inv/NS5TRV7EM7`
Kind	statement
Layer	research
MSC	03-XX, 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.08027#64ZY (statement). In YF3CEQDXGQ/e1, theorem 1.3

History

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

Genetic assignment methods NS5TV77B5Q

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

Mentions

wikipedia: Wikipedia Genetic assignment methods, Genetic assignment methods (definition). Also Wikidata Q48999491

History

2026-11-02: add by m2/dev

Modular product of graphs NS5X247AJG

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

Mentions

wikipedia: Wikipedia Modular product of graphs, Modular product of graphs (definition). Also Wikidata Q6889729

History

2026-11-02: add by m2/dev

NS5ZM6J1B8 NS5ZM6J1B8

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

Mentions

arxiv: arXiv 2302.13533#E0P8 (statement). In DK9GQ8G0T4/e1, theorem 1.9

History

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

Non-Hausdorff NS605V28JT

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

Mentions

wikipedia: Wikipedia Hausdorff space#WSHS, Non-Hausdorff (unknown)

History

2026-11-02: add by m2/dev

NS686NEPMC NS686NEPMC

URI	`m2://inv/NS686NEPMC`
Kind	statement
Layer	research
MSC	11-XX, 14-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.24701#LR8X (statement)

History

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

IML++ NS68R3NV62

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#L084, IML++ (unknown)

History

2026-11-02: add by m2/dev

NS6AVCAH8E NS6AVCAH8E

URI	`m2://inv/NS6AVCAH8E`
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.13556#44X9 (statement). In 5ZB8N3YY72/e1, theorem 3.2

History

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

NS6CTG0DDR NS6CTG0DDR

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

Mentions

arxiv: arXiv 2609.21892#8ELK (statement)

History

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

Support NS6DN1E0PE

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

Mentions

wikipedia: Wikipedia Support (measure theory), Support (definition). Also Wikidata Q2709287

History

2026-11-02: add by m2/dev

NS6FZR2YRQ NS6FZR2YRQ

URI	`m2://inv/NS6FZR2YRQ`
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 2511.07697#REZ3 (statement). In 57P5P33HS3/e1, corollary 3

History

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

Semiring of sets NS6K7WYS1V

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

Mentions

wikipedia: Wikipedia Ring of sets#SRDN, Semiring of sets (unknown)

History

2026-11-02: add by m2/dev

Midpoint comparison NS6WV419SV

URI	`m2://inv/NS6WV419SV`
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.20643#CGPE, Midpoint comparison (statement)

History

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

NS6Z9VHBB0 NS6Z9VHBB0

URI	`m2://inv/NS6Z9VHBB0`
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 2605.30285#JGK4 (statement). In YMY0NNSM27/e1, lemma 4.1

History

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

Riemann curvature tensor NS7B64WHJ4

URI	`m2://inv/NS7B64WHJ4`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Riemann curvature tensor JA29ETCM02

Mentions

wikidata: Wikidata Q855112, Riemann curvature tensor (unknown). Also MathWorld RiemannTensor, nLab Riemann curvature
wikipedia: Wikipedia Riemann curvature tensor, Riemann curvature tensor (definition). Also Wikidata Q855112

History

2026-10-26: add by m2/dev

NS7DHYFPEG NS7DHYFPEG

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

Mentions

wikipedia: Wikipedia Gyárfás–Sumner conjecture#2VNQ (problem)

History

2026-11-02: add by m2/dev

R. M. Hardt NS7G2Z4P3Q

URI	`m2://inv/NS7G2Z4P3Q`
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#9U88, R. M. Hardt (topic)

History

2026-11-02: add by m2/dev

Regular compound tiling NS7NBVPFSS

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

Mentions

wikipedia: Wikipedia List of regular polytope compounds#8RWX, Regular compound tiling (unknown)

History

2026-11-02: add by m2/dev

Expression problem NS7Q69BSMA

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

Mentions

wikipedia: Wikipedia Expression problem, Expression problem (conjecture). Also Wikidata Q5421707

History

2026-11-02: add by m2/dev

NS8839F81D NS8839F81D

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

History

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

Global growth NS889GDSEK

URI	`m2://inv/NS889GDSEK`
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.03811#BBSX, Global growth (statement). In DHQWFJW02X/e1, theorem 1.1

History

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

NS8BDQ732V NS8BDQ732V

URI	`m2://inv/NS8BDQ732V`
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 2011.07352#6MX0 (statement). In 3VPC1GGZ3E/e1, theorem B

History

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

NS8E7M1WPH NS8E7M1WPH

URI	`m2://inv/NS8E7M1WPH`
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.21781#PAVF (statement). In FEQ72D1AX6/e1, proposition 5.20

History

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

Minimum degree spanning tree NS8EVN2FKR

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

Mentions

wikipedia: Wikipedia Minimum degree spanning tree, Minimum degree spanning tree (definition). Also Wikidata Q6865444

History

2026-11-02: add by m2/dev

Emmy Noether NS8JCZWR0J

URI	`m2://inv/NS8JCZWR0J`
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#AN1P, Emmy Noether (topic)

History

2026-11-02: add by m2/dev

NS8NC9KW3D NS8NC9KW3D

URI	`m2://inv/NS8NC9KW3D`
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.17408#UNOJ (statement). In QR8H4M1X4N/e1, theorem 3.2

History

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

compactness theorem NS8TN6KRKV

URI	`m2://inv/NS8TN6KRKV`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	5
Outcome	open
Node	Compactness theorem 1NR3HAWG9D

Mentions

mathlib_1000: mathlib_1000 Q1149458, Compactness theorem (statement). Also Mathlib FirstOrder.Language.Theory.isSatisfiable_iff_isFinitelySatisfiable, Wikidata Q1149458
mathlib_overview: mathlib_overview Logic and computation > Model theory > Compactness theorem, Compactness theorem (unknown). Also Mathlib FirstOrder.Language.Theory.isSatisfiable_iff_isFinitelySatisfiable
thousand_plus: thousand_plus Q1149458, Compactness theorem (statement). Also Mathlib FirstOrder.Language.Theory.isSatisfiable_iff_isFinitelySatisfiable, Wikidata Q1149458, Wikipedia Compactness theorem
wikidata: Wikidata Q1149458, compactness theorem (statement). Also nLab compactness theorem
wikipedia: Wikipedia Compactness theorem, Compactness theorem (statement). Also Wikidata Q1149458

History

2026-10-26: add by m2/dev

Diminished rhombicosidodecahedron NS8YR4NC02

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#RD3H, Diminished rhombicosidodecahedron (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Z7X9, Diminished rhombicosidodecahedron (definition)

History

2026-11-02: add by m2/dev

Henry S. Richardson NS93G29JGZ

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

Mentions

wikipedia: Wikipedia Henry S. Richardson, Henry S. Richardson (topic). Also Wikidata Q16499826

History

2026-11-02: add by m2/dev

Hadamard's inequality NS940N4DNH

URI	`m2://inv/NS940N4DNH`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Hadamard's inequality CGDN1X32NQ

Mentions

wikidata: Wikidata Q1365087, Hadamard's inequality (statement). Also MathWorld HadamardsInequality
wikipedia: Wikipedia Hadamard's inequality, Hadamard's inequality (statement). Also Wikidata Q1365087

History

2026-10-26: add by m2/dev

NS94AG48SZ NS94AG48SZ

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

Mentions

arxiv: arXiv 2610.21752#XNU2 (statement). In E4DJTPKHAX/e1, lemma 2.7

History

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

NS95DJ14MA NS95DJ14MA

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

Mentions

arxiv: arXiv 2610.07164#SBMS (statement). In Q1XJ5VWE1N/e1, proposition 5.4

History

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

Capped AdamProxy trajectories and boundary separation NS989BVMA6

URI	`m2://inv/NS989BVMA6`
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.11309#AOJF, Capped AdamProxy trajectories and boundary separation (statement). In TTEAQA1XXR/e1, proposition E.8

History

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

NS99QT5F3S NS99QT5F3S

URI	`m2://inv/NS99QT5F3S`
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 2504.14383#FFGG (statement). In QD0X3XJS6T/e1, proposition 7.25

History

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

NS9EM5XH4T NS9EM5XH4T

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

Mentions

arxiv: arXiv 2609.21914#N5KC (definition)

History

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

NS9EQ2KAC2 NS9EQ2KAC2

URI	`m2://inv/NS9EQ2KAC2`
Kind	statement
Layer	research
MSC	03-XX, 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.04870#AECX (statement). In X765ZXXVC3/e1, theorem 4.9

History

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

Black Holes and Baby Universes and Other Essays NS9GSWMR50

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

Mentions

wikidata: Wikidata Q1815797, Black Holes and Baby Universes and Other Essays (unknown). Also ProofWiki Book:Stephen_Hawking/Black_Holes_and_Baby_Universes_and_Other_Essays

History

2026-10-26: add by m2/dev

NS9H3JZ60W NS9H3JZ60W

URI	`m2://inv/NS9H3JZ60W`
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.08226#T7UC (statement). In V6EPE8XHAD/e1, lemma 5.3

History

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

Quasi-polynomial growth NS9HZMYGQA

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

Mentions

wikipedia: Wikipedia Quasi-polynomial growth, Quasi-polynomial growth (definition). Also Wikidata Q123879013

History

2026-11-02: add by m2/dev

NS9JAAPHD2 NS9JAAPHD2

URI	`m2://inv/NS9JAAPHD2`
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.36181#G9GM (statement). In 1KSE33PVS6/e1, proposition 72

History

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

Graphocentrism NS9NAXPWFX

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

Mentions

wikipedia: Wikipedia Graphocentrism, Graphocentrism (definition). Also Wikidata Q63372420

History

2026-11-02: add by m2/dev

NS9W0SDNTH NS9W0SDNTH

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

Mentions

arxiv: arXiv 2610.06152#4ASF (statement). In HH35K7S17H/e1, lemma 2.6

History

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

NSA55K9QHT NSA55K9QHT

URI	`m2://inv/NSA55K9QHT`
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#RKRF (definition). In GHKR740SG3/e1, definition 2.12

History

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

NSA9JN4596 NSA9JN4596

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

History

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

NSABXQFM3K NSABXQFM3K

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

Mentions

arxiv: arXiv 2609.35691#UMBB (statement). In G7R61RPWE2/e1, lemma 4.7

History

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

NSAG7B8XAY NSAG7B8XAY

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

Mentions

arxiv: arXiv 2610.07114#OVKG (problem). In HP3TM356J6/e1, problem 2

History

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

On the Space-Theory of Matter NSAH0J8ZCY

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

Mentions

wikidata: Wikidata Q19087159, On the Space-Theory of Matter (unknown). Also nLab On the Space-Theory of Matter

History

2026-10-26: add by m2/dev

Period prevalence NSAJQRV567

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

Mentions

wikipedia: Wikipedia Prevalence#5XXP, Period prevalence (unknown)

History

2026-11-02: add by m2/dev

TeX Live NSATM2H6KK

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#RY6M, TeX Live (unknown)

History

2026-11-02: add by m2/dev

NSAX593MMN NSAX593MMN

URI	`m2://inv/NSAX593MMN`
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 2207.05628#KV07 (statement). In 9JPKTEWW4W/e1, theorem 3.19

History

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

Fourier shell correlation NSB257W6BY

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

Mentions

wikipedia: Wikipedia List of Fourier analysis topics#DZFK, Fourier shell correlation (definition)

History

2026-11-02: add by m2/dev

Van Kampen lemma NSB389H3KX

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

Mentions

wikipedia: Wikipedia Van Kampen diagram#X9AW, Van Kampen lemma (statement)

History

2026-11-02: add by m2/dev

Applications NSB8DDWB59

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

Mentions

wikipedia: Wikipedia Gromov–Hausdorff convergence#OO7T, Applications (example)

History

2026-11-02: add by m2/dev

Eva Silverstein NSBCTC9A3Q

URI	`m2://inv/NSBCTC9A3Q`
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 Q1379490, Eva Silverstein (unknown). Also nLab Eva Silverstein

History

2026-10-26: add by m2/dev

NSBDPNVQBK NSBDPNVQBK

URI	`m2://inv/NSBDPNVQBK`
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 2204.01073#XOSW (definition). In W4TYN4PGE8/e1, definition 2.33

History

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

NSBDZSF17M NSBDZSF17M

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

Mentions

arxiv: arXiv 2508.07340#4FUE (example). In 2HSB99DW4M/e1, example 5.13

History

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

NSBEG0956M NSBEG0956M

URI	`m2://inv/NSBEG0956M`
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.10860#1GRU (statement). In PBYNV2WF2H/e1, lemma 5.5

History

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

Extreme poverty NSBFQ1RYND

URI	`m2://inv/NSBFQ1RYND`
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#K3L8, Extreme poverty (unknown)

History

2026-11-02: add by m2/dev

NSBNMEKANY NSBNMEKANY

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/beta-function.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 29.4

History

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

theorem, odd-order NSBPGP4KRD

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

Mentions

hott_book: hott_book index/u1.u5/theorem-odd-order, theorem, odd-order (concept). In N54F33XE07, index, section u1.u5

History

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

NSBQ0B1H65 NSBQ0B1H65

URI	`m2://inv/NSBQ0B1H65`
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 2204.13401#F5KY (definition). In B8MJT0GGW8/e1, definition 2.10

History

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

GAUSS NSBRWANJEJ

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

Mentions

wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#U0GG, GAUSS (definition)

History

2026-11-02: add by m2/dev

Michael P. Drazin NSC577MGHE

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

Mentions

wikipedia: Wikipedia Michael P. Drazin, Michael P. Drazin (topic). Also Wikidata Q6833293

History

2026-11-02: add by m2/dev

NSC6E05CJ7 NSC6E05CJ7

URI	`m2://inv/NSC6E05CJ7`
Kind	example
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.16875#4PMF (example). In KS30K5JXGB/e1, example 2.8

History

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

Excisive triad NSC6Z2SWTS

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

Mentions

wikipedia: Wikipedia Excisive triad, Excisive triad (definition). Also Wikidata Q16736361

History

2026-11-02: add by m2/dev

NSCC4R7FNG NSCC4R7FNG

URI	`m2://inv/NSCC4R7FNG`
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.26450#D2L7 (statement)

History

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

NSCMRXD206 NSCMRXD206

URI	`m2://inv/NSCMRXD206`
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 2511.08099#CGNL (statement). In 5NK801XBGA/e1, lemma 2.5

History

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

Examples NSCTXKZNSN

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

Mentions

wikipedia: Wikipedia Ricci flow#673O, Examples (example)

History

2026-11-02: add by m2/dev

NSCV1G919J NSCV1G919J

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 2.2.4

History

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

Weighted union-set conjecture NSCVVMXKYK

URI	`m2://inv/NSCVVMXKYK`
Kind	problem
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.25101#TWVE, Weighted union-set conjecture (problem)

History

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

Alternating permutation NSCZ37D74F

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

Mentions

wikipedia: Wikipedia List of permutation topics#12WE, Alternating permutation (definition)

History

2026-11-02: add by m2/dev

NSD1MZEC73 NSD1MZEC73

URI	`m2://inv/NSD1MZEC73`
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 2606.00589#TF2X (statement). In C8JAGP8VCQ/e1, lemma 2.4

History

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

Open function NSD3VW71B7

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

Mentions

wikipedia: Wikipedia Glossary of general topology#1DRU, Open function (definition)

History

2026-11-02: add by m2/dev

NSD6ZHKJFN NSD6ZHKJFN

URI	`m2://inv/NSD6ZHKJFN`
Kind	statement
Layer	research
MSC	05-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.40200#LCUL (statement). In VWNB6QJWFN/e1, lemma 5.6

History

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

Yang and Chen NSD7CDJ3VQ

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

Mentions

arxiv: arXiv 2609.20385#J4R7, Yang and Chen (problem)

History

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

Ghosh, Jayanta Kumar NSD9E53FVC

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

Mentions

wikipedia: Wikipedia List of statisticians#30L0, Ghosh, Jayanta Kumar (topic)

History

2026-11-02: add by m2/dev

Franc Hočevar NSDCJXB8JH

URI	`m2://inv/NSDCJXB8JH`
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#PU7Z, Franc Hočevar (topic)

History

2026-11-02: add by m2/dev

Invariant subspaces NSDFB9RH2E

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

Mentions

arxiv: arXiv 2609.26382#4B48, Invariant subspaces (statement)

History

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

10 types of people NSE1J0SQYK

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

Mentions

wikipedia: Wikipedia Mathematical joke#9B73, 10 types of people (unknown)

History

2026-11-02: add by m2/dev

Kenneth Binmore NSE1ZVP2Q7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#E1EY, Kenneth Binmore (unknown)

History

2026-11-02: add by m2/dev

inverse function theorem NSE455E95Y

URI	`m2://inv/NSE455E95Y`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Inverse function theorem 0K9HSJFCMJ

Mentions

mathlib_1000: mathlib_1000 Q931001, Inverse function theorem (statement). Also Mathlib HasStrictFDerivAt.to_localInverse, Wikidata Q931001
mathlib_1000: mathlib_1000 Q931001X, Constant rank theorem (statement). Also Wikidata Q931001
mathlib_overview: mathlib_overview Analysis > Differentiability > inverse function theorem, inverse function theorem (unknown). Also Mathlib HasStrictFDerivAt.to_localInverse
thousand_plus: thousand_plus Q931001, Inverse function theorem (statement). Also Mathlib HasStrictFDerivAt.to_localInverse, Wikidata Q931001, Wikipedia Inverse function theorem
thousand_plus: thousand_plus Q931001X, Constant rank theorem (statement). Also Wikidata Q931001, Wikipedia Constant rank theorem
wikidata: Wikidata Q931001, inverse function theorem (statement). Also MathWorld InverseFunctionTheorem, nLab inverse function theorem
wikipedia: Wikipedia Inverse function theorem, Inverse function theorem (statement). Also Wikidata Q931001

History

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

Inductance NSE8KWTGCR

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

Mentions

wikipedia: Wikipedia Inductance, Inductance (definition). Also Wikidata Q177897

History

2026-11-02: add by m2/dev

NSEA890YZ0 NSEA890YZ0

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

Mentions

hott_book: hott_book equivalences.tex#thm:isprop-biinv (statement). In N54F33XE07, thm, section 3.3

History

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

gibibyte NSEAFQZ0RH

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

Mentions

wikidata: Wikidata Q79765, gibibyte (unknown). Also MathWorld Gibibyte

History

2026-10-26: add by m2/dev

NSEHCCVWND NSEHCCVWND

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#definition-4 (definition). In RZP28ERRZV, definition, section 30.5

History

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

minimal normal subgroup NSEHS4ZY7D

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

Mentions

wikidata: Wikidata Q3492013, minimal normal subgroup (unknown). Also EoM Minimal_normal_subgroup

History

2026-10-26: add by m2/dev

Challenging NSEHV2ZRHW

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-73, Challenging (exercise). In E59CDZA4DP, exercise, section 10.5.7

History

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

Ribbon theory NSEK7YMKQP

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#NVZW, Ribbon theory (definition)

History

2026-11-02: add by m2/dev

NSEQ3K91FZ NSEQ3K91FZ

URI	`m2://inv/NSEQ3K91FZ`
Kind	definition
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.32916#IBRM (definition). In G1RP4JY5PE/e1, definition 3.3.1

History

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

NSF1Z769BC NSF1Z769BC

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

Mentions

arxiv: arXiv 2609.28552#T885 (definition)

History

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

NSF33CA7J9 NSF33CA7J9

URI	`m2://inv/NSF33CA7J9`
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.09390#4OZI (statement). In 7SSKW778T8/e1, lemma 1.6

History

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

NSF6ASM4RD NSF6ASM4RD

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

Mentions

arxiv: arXiv 2610.19360#IMA2 (statement). In MFCW5CY96C/e1, lemma 37

History

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

NSFM4WH6Y0 NSFM4WH6Y0

URI	`m2://inv/NSFM4WH6Y0`
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#2NAS (statement). In GYMGDQS25R/e1, theorem 5.1

History

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

D21 – Janeček method NSFPR7Q1TB

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#AVU6, D21 – Janeček method (unknown)

History

2026-11-02: add by m2/dev

Dominique Perrin NSFW7E2R34

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

Mentions

wikipedia: Wikipedia Dominique Perrin, Dominique Perrin (topic). Also Wikidata Q29042768

History

2026-11-02: add by m2/dev

Knot invariant NSFZ9J9CD3

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

Mentions

wikipedia: Wikipedia List of knot theory topics#KS73, Knot invariant (definition)

History

2026-11-02: add by m2/dev

spin chain NSG5WQ3987

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

Mentions

wikidata: Wikidata Q116233307, spin chain (unknown). Also nLab spin chain

History

2026-10-26: add by m2/dev

Antoine Arnauld NSG805TNX9

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

Mentions

wikipedia: Wikipedia Antoine Arnauld, Antoine Arnauld (topic). Also Wikidata Q353887

History

2026-11-02: add by m2/dev

Bounds in the degenerate lower-dimensional fibres NSG8XZ24AX

URI	`m2://inv/NSG8XZ24AX`
Kind	statement
Layer	research
MSC	11-XX, 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.04099#SCVB, Bounds in the degenerate lower-dimensional fibres (statement). In QPJ6FWG5HD/e1, corollary 1.15

History

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

NSG9ZNFB93 NSG9ZNFB93

URI	`m2://inv/NSG9ZNFB93`
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.13513#4I8X (statement). In BAGX2TDXM4/e1, lemma 4.9

History

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

factorization of polynomials NSGAZNFH8Y

URI	`m2://inv/NSGAZNFH8Y`
Kind	definition
Layer	textbook
MSC	12D05
Sources	2
Outcome	open
Node	Factorization of polynomials JWB6B13Q8Z

Mentions

wikidata: Wikidata Q392477, factorization of polynomials (topic). Also MathWorld PolynomialFactorization
wikipedia: Wikipedia Factorization of polynomials, Factorization of polynomials (definition). Also Wikidata Q392477

History

2026-10-26: add by m2/dev

Sheldon Glashow NSGHN9AR42

URI	`m2://inv/NSGHN9AR42`
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 Q107420, Sheldon Glashow (unknown). Also nLab Sheldon Glashow

History

2026-10-26: add by m2/dev

Sheffer stroke NSGJDE2W7K

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#1AE9, Sheffer stroke (definition)

History

2026-11-02: add by m2/dev

Properties NSGQDA3J40

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

Mentions

wikipedia: Wikipedia Resolvent set#IGWK, Properties (statement)

History

2026-11-02: add by m2/dev

Hardware-based encryption NSGSQHTHGV

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

Mentions

wikipedia: Wikipedia Hardware-based encryption, Hardware-based encryption (definition). Also Wikidata Q4068149

History

2026-11-02: add by m2/dev

Sol Garfunkel NSH2NTNSHB

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

Mentions

wikipedia: Wikipedia List of logicians#ZTPN, Sol Garfunkel (topic)

History

2026-11-02: add by m2/dev

NSH49938BP NSH49938BP

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

Mentions

arxiv: arXiv 2610.01208#JRFS (definition). In 317GZJ38HS/e1, definition 2.3

History

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

NSHBEBRY2M NSHBEBRY2M

URI	`m2://inv/NSHBEBRY2M`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 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 2609.20567#IDHU (statement)

History

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

NSHCS1KPHS NSHCS1KPHS

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

Mentions

arxiv: arXiv 2610.15720#PXMK (definition). In VNN52G3BRE/e1, definition 4.5

History

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

NSHFCV9HXS NSHFCV9HXS

URI	`m2://inv/NSHFCV9HXS`
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#72E3 (statement). In 3KTZ6Z615H/e1, theorem 7.1

History

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

Examples NSHNYYTP5M

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

Mentions

wikipedia: Wikipedia Hyperconnected space#V1ZM, Examples (example)

History

2026-11-02: add by m2/dev

Faxén's laws NSHPEAN2AW

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

Mentions

wikipedia: Wikipedia Stokes flow#HSXJ, Faxén's laws (statement)

History

2026-11-02: add by m2/dev

Exact restricted-chain minimum NSHS7WKP0S

URI	`m2://inv/NSHS7WKP0S`
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.05038#5I35, Exact restricted-chain minimum (statement). In CR237YRBJW/e1, lemma 8

History

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

completely distributive lattice NSHWDS087M

URI	`m2://inv/NSHWDS087M`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Completely distributive lattice 5TBC06NNS1

Mentions

wikidata: Wikidata Q5156529, completely distributive lattice (unknown). Also nLab completely distributive lattice
wikipedia: Wikipedia Completely distributive lattice, Completely distributive lattice (definition). Also Wikidata Q5156529

History

2026-10-26: add by m2/dev

NSHWWQEPQC NSHWWQEPQC

URI	`m2://inv/NSHWWQEPQC`
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.12105#G0GH (statement). In 289HM2RXT3/e1, theorem 1.2

History

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

NSJ7Z7ZE1V NSJ7Z7ZE1V

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#proof-4 (proof). In E59CDZA4DP, proof, section 7.2.1

History

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

NSJ86MMHT0 NSJ86MMHT0

URI	`m2://inv/NSJ86MMHT0`
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.27908#IVNA (statement)

History

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

NSJ8CPPG3Y NSJ8CPPG3Y

URI	`m2://inv/NSJ8CPPG3Y`
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.37265#1XAM (statement). In BKYAWEC5XH/e1, theorem 4.7

History

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

Endowment effect NSJEM2RFE2

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

Mentions

wikipedia: Wikipedia List of cognitive biases#JS1H, Endowment effect (definition)

History

2026-11-02: add by m2/dev

NSJG8V8PCY NSJG8V8PCY

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

Mentions

arxiv: arXiv 2610.10221#UTTX (definition). In 9Z5M655EPV/e1, definition 5.2

History

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

Implementations NSJHWHVX16

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

Mentions

wikipedia: Wikipedia Hermite normal form#2EM1, Implementations (definition)

History

2026-11-02: add by m2/dev

Generalizations NSJKC21QXP

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

Mentions

wikipedia: Wikipedia Finsler's lemma#AU6W, Generalizations (statement)

History

2026-11-02: add by m2/dev

NSJM4RA2YG NSJM4RA2YG

URI	`m2://inv/NSJM4RA2YG`
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 2211.14214#EILO (statement). In SY85Y9E45A/e1, theorem 28

History

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

Examples NSJMABSNQD

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

Mentions

wikipedia: Wikipedia Contrast (statistics)#N5UQ, Examples (example)

History

2026-11-02: add by m2/dev

The conjecture NSJSPYKW80

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

Mentions

wikipedia: Wikipedia Gilbreath's conjecture#ZTMM, The conjecture (statement)

History

2026-11-02: add by m2/dev

Andres and Marzo's delta NSJW1RWBT8

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#G0WN, Andres and Marzo's delta (definition)

History

2026-11-02: add by m2/dev

Norman Shapiro NSK6Z49VTA

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#R6BU, Norman Shapiro (unknown)

History

2026-11-02: add by m2/dev

NSK7YCQVQC NSK7YCQVQC

URI	`m2://inv/NSK7YCQVQC`
Kind	statement
Layer	research
MSC	17-XX, 18-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 2610.17769#4XX5 (statement). In 8GHQYNQW9Q/e1, proposition 1.1

History

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

Prime number theorem NSKBFAPWS6

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

Mentions

wikipedia: Wikipedia List of theorems#7GCS, Prime number theorem (statement)

History

2026-11-02: add by m2/dev

strong NSKKKVHCAX

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

Mentions

wikipedia: Wikipedia Glossary of set theory#E3PI, strong (definition)

History

2026-11-02: add by m2/dev

DataOps NSKRWMA7Q6

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

Mentions

wikipedia: Wikipedia DevOps#2YWG, DataOps (unknown)

History

2026-11-02: add by m2/dev

NSM2KY3EDY NSM2KY3EDY

URI	`m2://inv/NSM2KY3EDY`
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.16989#Z96G (statement). In 4769XNDWYS/e1, proposition 3.5

History

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

NSM3FEJK44 NSM3FEJK44

URI	`m2://inv/NSM3FEJK44`
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 2609.23526#3C7I (definition)

History

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

NSM6PGND96 NSM6PGND96

URI	`m2://inv/NSM6PGND96`
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#STCH (statement). In 4SZNPS3Z00/e1, lemma 4.6

History

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

Unique subgradients NSMQDA9H4D

URI	`m2://inv/NSMQDA9H4D`
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.17519#HGOC, Unique subgradients (statement). In H2DNTQ5MKV/e1, lemma 2.10

History

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

NSMRW3Z12V NSMRW3Z12V

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

Mentions

napkin: napkin tex/homology/long-exact.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 54.2

History

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

Gauss congruence NSMRXJCSSA

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

Mentions

wikipedia: Wikipedia Gauss congruence, Gauss congruence (definition). Also Wikidata Q131850346

History

2026-11-02: add by m2/dev

NSMVC28SVY NSMVC28SVY

URI	`m2://inv/NSMVC28SVY`
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.06724#NH13 (statement). In W5XG3PGVF1/e1, corollary C.12

History

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

Diffuse prior NSMVYMPQRJ

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

Mentions

wikipedia: Wikipedia Prior probability#Z304, Diffuse prior (unknown)

History

2026-11-02: add by m2/dev

Existence and uniqueness NSMXJH7WHK

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

Mentions

wikipedia: Wikipedia Mean curvature flow#KPH0, Existence and uniqueness (statement)

History

2026-11-02: add by m2/dev

Von Staudt conic NSN4021Q82

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

Mentions

wikipedia: Wikipedia Von Staudt conic, Von Staudt conic (definition). Also Wikidata Q15841075

History

2026-11-02: add by m2/dev

Kontorovich–Lebedev transform NSN6XR4Y1G

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

Mentions

wikipedia: Wikipedia Kontorovich–Lebedev transform, Kontorovich–Lebedev transform (definition). Also Wikidata Q6430373

History

2026-11-02: add by m2/dev

NSN8Y3XHE1 NSN8Y3XHE1

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

Mentions

open_logic: open_logic content/methods/induction/inductive-definitions.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 44.1

History

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

NSNE84DQ1W NSNE84DQ1W

URI	`m2://inv/NSNE84DQ1W`
Kind	statement
Layer	research
MSC	20-XX, 22-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.09319#RJJS (statement). In GMRT5GHBZS/e1, lemma C.1

History

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

Tamara Awerbuch-Friedlander NSNJ49KB6G

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

Mentions

wikipedia: Wikipedia Tamara Awerbuch-Friedlander, Tamara Awerbuch-Friedlander (topic). Also Wikidata Q16150717

History

2026-11-02: add by m2/dev

NSNPH33ZBT NSNPH33ZBT

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

Mentions

arxiv: arXiv 2609.25307#A8D7 (statement)

History

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

Special Borel measures NSNTDR99ZB

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

Mentions

arxiv: arXiv 2606.21391#636G, Special Borel measures (definition). In J9C7YMKJ33/e1, definition 4.12

History

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

NSNW33KVJ5 NSNW33KVJ5

URI	`m2://inv/NSNW33KVJ5`
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.31910#XV97 (statement). In E4EK1XXPY4/e1, lemma 4.1

History

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

Addition Formula NSP3GY86KG

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

Mentions

wikipedia: Wikipedia Q-exponential#V434, Addition Formula (statement)

History

2026-11-02: add by m2/dev

NSP6J31V8M NSP6J31V8M

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#prob:Z to Z mod 4 (exercise). In P1C114YBXG, problem, section D

History

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

closed ball NSPBTFS7SK

URI	`m2://inv/NSPBTFS7SK`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Closed ball 05DSV40EB9

Mentions

wikidata: Wikidata Q2921733, closed ball (unknown). Also MathWorld ClosedBall

History

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

Oblique projection NSPEB5FE0T

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#S5YA, Oblique projection (unknown)

History

2026-11-02: add by m2/dev

NSPM9J19DJ NSPM9J19DJ

URI	`m2://inv/NSPM9J19DJ`
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#LVOT (statement). In MRR92GQNZE/e1, theorem F

History

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

Inguinal triangle NSPMYJC4HD

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

Mentions

wikipedia: Wikipedia List of triangle topics#6UQ8, Inguinal triangle (unknown)

History

2026-11-02: add by m2/dev

Example NSPWHMDJ2C

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

Mentions

wikipedia: Wikipedia Skew-Hermitian matrix#NVEF, Example (example)

History

2026-11-02: add by m2/dev

Examples NSQKS79H4N

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

Mentions

wikipedia: Wikipedia Thomson scattering#4D1X, Examples (example)

History

2026-11-02: add by m2/dev

Examples NSQRMVDF32

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

Mentions

wikipedia: Wikipedia Groupoid object#S40Z, Examples (example)

History

2026-11-02: add by m2/dev

Hyperbolic coordinates NSQWYTDZMR

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

Mentions

wikipedia: Wikipedia Hyperbolic coordinates, Hyperbolic coordinates (definition). Also Wikidata Q1017238

History

2026-11-02: add by m2/dev

Incompressible solitary waves NSRCAYTH6V

URI	`m2://inv/NSRCAYTH6V`
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.01883#2Q2E, Incompressible solitary waves (statement). In CYV4P9TDV0/e1, lemma 3.6

History

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

Albert--Brauer--Hasse--Noether NSRD086PA0

URI	`m2://inv/NSRD086PA0`
Kind	statement
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#GV0C, Albert--Brauer--Hasse--Noether (statement). In 2BET1RE1F6/e1, theorem 2.15

History

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

Lemma NSRJEH3D0S

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

Mentions

wikipedia: Wikipedia Approximate tangent space#YI4Y, Lemma (statement)

History

2026-11-02: add by m2/dev

John Pagus NSRPV6DA3E

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

Mentions

wikipedia: Wikipedia John Pagus, John Pagus (topic). Also Wikidata Q6251778

History

2026-11-02: add by m2/dev

Definition NSRSXQZQ26

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

Mentions

wikipedia: Wikipedia Grothendieck topology#TNHM, Definition (definition)

History

2026-11-02: add by m2/dev

NSS65T1PQR NSS65T1PQR

URI	`m2://inv/NSS65T1PQR`
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.04434#QK2F (statement). In EY0QS456EC/e1, corollary 6.7

History

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

NSSA1Y7KE2 NSSA1Y7KE2

URI	`m2://inv/NSSA1Y7KE2`
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.34339#4SN1 (statement). In 9WFSTGMQ4E/e1, theorem 1.7

History

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

Euler Mathematical Toolbox NSSATZM7W2

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#QL5Y, Euler Mathematical Toolbox (unknown)

History

2026-11-02: add by m2/dev

NSSNJ22EV4 NSSNJ22EV4

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

Mentions

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

History

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

Duality of the Exponent NSSQ4C3Y0T

URI	`m2://inv/NSSQ4C3Y0T`
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.13222#SR81, Duality of the Exponent (statement). In Z6WA2R0J50/e1, proposition 2.14

History

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

Deformation NSSSBBSBKA

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

Mentions

wikipedia: Wikipedia Deformation (physics), Deformation (definition). Also Wikidata Q193514

History

2026-11-02: add by m2/dev

NSSWMR1NXT NSSWMR1NXT

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

Mentions

arxiv: arXiv 2610.17135#GID1 (definition). In XX1J2REXY2/e1, definition 5.1

History

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

Properties NSSYA3TQH5

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

Mentions

wikipedia: Wikipedia Categorical theory#70CI, Properties (statement)

History

2026-11-02: add by m2/dev

NST8K9EKD6 NST8K9EKD6

URI	`m2://inv/NST8K9EKD6`
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.21552#VLBW (statement)

History

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

Fermat's little theorem NSTSGE72FH

URI	`m2://inv/NSTSGE72FH`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Fermat's little theorem 0M25PRN3WQ

Mentions

mathlib_1000: mathlib_1000 Q188295, Fermat's little theorem (statement). Also Mathlib ZMod.pow_card_sub_one_eq_one, Wikidata Q188295
thousand_plus: thousand_plus Q188295, Fermat's little theorem (statement). Also Mathlib ZMod.pow_card_sub_one_eq_one, Wikidata Q188295, Wikipedia Fermat's little theorem
wikidata: Wikidata Q188295, Fermat's little theorem (statement). Also MathWorld FermatsLittleTheorem, nLab Fermat's little theorem, ProofWiki Fermat's_Little_Theorem
wikipedia: Wikipedia Fermat's little theorem, Fermat's little theorem (statement). Also Wikidata Q188295

History

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

NSV0JJS1YX NSV0JJS1YX

URI	`m2://inv/NSV0JJS1YX`
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.39675#AVS9 (statement). In VM16G3PPH3/e1, lemma 4.9

History

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

Dilip Madan NSV24ZE81P

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

Mentions

wikipedia: Wikipedia Dilip Madan, Dilip Madan (topic). Also Wikidata Q102182956

History

2026-11-02: add by m2/dev

Construction NSV6X67Y82

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

Mentions

wikipedia: Wikipedia E8 manifold#78LV, Construction (definition)

History

2026-11-02: add by m2/dev

NSVBMX5DE1 NSVBMX5DE1

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

Mentions

arxiv: arXiv 2609.37265#O0WY (conjecture). In BKYAWEC5XH/e1, conjecture 5.9

History

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

NSVC21D2S5 NSVC21D2S5

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

Mentions

arxiv: arXiv 2609.26357#45L7 (definition)

History

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

NSVDQ1A7RW NSVDQ1A7RW

URI	`m2://inv/NSVDQ1A7RW`
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.09278#YEPJ (definition). In XREKHJHAT7/e1, definition 2.3

History

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

Gustav Herglotz NSVF70GTDK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#AJJG, Gustav Herglotz (unknown)

History

2026-11-02: add by m2/dev

H\"older modulus of continuity - Laplacian NSVK7NPQBN

URI	`m2://inv/NSVK7NPQBN`
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 2401.14638#XF08, H\"older modulus of continuity - Laplacian (statement). In 2XC2MZFWPP/e1, lemma 2.8

History

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

Carrowdore NSVQ94GJ5V

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

Mentions

wikipedia: Wikipedia List of places with numeric names#9RZE, Carrowdore (unknown)

History

2026-11-02: add by m2/dev

416 (number) NSVVJD19ST

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

Mentions

wikipedia: Wikipedia 400 (number)#XPCI, 416 (number) (unknown)

History

2026-11-02: add by m2/dev

NSW57XEDSQ NSW57XEDSQ

URI	`m2://inv/NSW57XEDSQ`
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.00144#JVGI (statement). In HAZGBX88B3/e1, theorem 8

History

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

NSW60C33DE NSW60C33DE

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

Mentions

hott_book: hott_book basics.tex#ex:eq-proofs-commute (exercise). In N54F33XE07, ex, section 1.15

History

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

Al-Farghani NSW8BFEMKZ

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

Mentions

wikipedia: Wikipedia Al-Farghani, Al-Farghani (topic). Also Wikidata Q336550

History

2026-11-02: add by m2/dev

NSWCNP0TKN NSWCNP0TKN

URI	`m2://inv/NSWCNP0TKN`
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#H86N (statement). In PA6JQDSKQT/e1, proposition 3.29

History

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

Correlation of the Warm Start NSWF5MYJZ8

URI	`m2://inv/NSWF5MYJZ8`
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.16705#0CFY, Correlation of the Warm Start (statement). In B48YQVGAF5/e1, lemma 6.12

History

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

Uniform upper bound for the total number of fixed points NSWJF6SR3W

URI	`m2://inv/NSWJF6SR3W`
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#5R1O, Uniform upper bound for the total number of fixed points (statement). In JXTG8KP95P/e1, lemma 6.12

History

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

NSWMW277MP NSWMW277MP

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

Mentions

arxiv: arXiv 2609.13888#SY08 (statement). In 2G5K2GZTX7/e1, proposition 2.9

History

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

NSWSH7RM0V NSWSH7RM0V

URI	`m2://inv/NSWSH7RM0V`
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.11905#CC62 (statement). In QQFXT31CA5/e1, proposition 4.6

History

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

NSWWBVEKYA NSWWBVEKYA

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

Mentions

arxiv: arXiv 2608.23797#3QJZ (definition). In PZCA01JXVR/e1, definition 5.11

History

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

NSX1Z4TT38 NSX1Z4TT38

URI	`m2://inv/NSX1Z4TT38`
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 2607.26169#O79L (statement). In Q46QV3B0NF/e1, lemma 8.4

History

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

NSX300SA5Q NSX300SA5Q

URI	`m2://inv/NSX300SA5Q`
Kind	example
Layer	research
MSC	03-XX, 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.16475#U839 (example). In FM9SKN560Q/e1, example 4.5

History

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

Academic analysis NSX7NERKT8

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

Mentions

wikipedia: Wikipedia Analysis#ACHS, Academic analysis (unknown)

History

2026-11-02: add by m2/dev

Satisfiability and Seese's theorem NSX7QD5NX4

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

Mentions

wikipedia: Wikipedia Courcelle's theorem#GJDL, Satisfiability and Seese's theorem (statement)

History

2026-11-02: add by m2/dev

Post's theorem NSXD66D26T

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

Mentions

mathlib_1000: mathlib_1000 Q3007384, Post's theorem (statement). Also Wikidata Q3007384
thousand_plus: thousand_plus Q3007384, Post's theorem (statement). Also Wikidata Q3007384, Wikipedia Post's theorem
wikipedia: Wikipedia Post's theorem, Post's theorem (statement). Also Wikidata Q3007384

History

2026-10-26: add by m2/dev

Properties NSXPC1WV6J

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

Mentions

wikipedia: Wikipedia Pseudo-differential operator#VQZS, Properties (statement)

History

2026-11-02: add by m2/dev

Variations NSXQQAN4VB

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

Mentions

wikipedia: Wikipedia Elongated gyrobifastigium#HO4C, Variations (statement)

History

2026-11-02: add by m2/dev

NSXWJ4TMS0 NSXWJ4TMS0

URI	`m2://inv/NSXWJ4TMS0`
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 2501.17276#941Z (statement). In EWKHA675JY/e1, theorem 4.14

History

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

NSXXZR1WYJ NSXXZR1WYJ

URI	`m2://inv/NSXXZR1WYJ`
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.30575#A40S (statement). In 6WFFY0QM27/e1, proposition 3.3

History

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

Elliptic rational functions NSY1DY0N1F

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

Mentions

wikipedia: Wikipedia Elliptic rational functions, Elliptic rational functions (definition). Also Wikidata Q2132775

History

2026-11-02: add by m2/dev

Second neighborhood problem NSY41Y9EYY

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#AQ6O, Second neighborhood problem (conjecture)

History

2026-11-02: add by m2/dev

Theorem NSY74SSE6A

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

Mentions

wikipedia: Wikipedia Divergence theorem#7IAF, Theorem (statement)

History

2026-11-02: add by m2/dev

Theorem NSYDV19T46

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

Mentions

wikipedia: Wikipedia Integral equation#HOI1, Theorem (statement)

History

2026-11-02: add by m2/dev

Wald, Abraham NSYN65KV79

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

Mentions

wikipedia: Wikipedia List of statisticians#U4UG, Wald, Abraham (topic)

History

2026-11-02: add by m2/dev

NSYQ1VD29X NSYQ1VD29X

URI	`m2://inv/NSYQ1VD29X`
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 math/9802134#B486 (statement). In 235B1J1ETB/e1, lemma 2.11

History

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

NSYQWTKYTV NSYQWTKYTV

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

Mentions

austin_ula: austin_ula src/exercises/exercises7-2.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 7.2

History

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

Banach's theorems NSYTNXDC95

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

Mentions

wikipedia: Wikipedia Banach space#A37U, Banach's theorems (statement)

History

2026-11-02: add by m2/dev

NSYXNX3R1T NSYXNX3R1T

URI	`m2://inv/NSYXNX3R1T`
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.25703#F161 (statement)

History

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

Svetlozar Rachev NSYYSGZ2JR

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

Mentions

wikipedia: Wikipedia Svetlozar Rachev, Svetlozar Rachev (topic). Also Wikidata Q21062234

History

2026-11-02: add by m2/dev

Carolyn S. Gordon NSZ27G41XS

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GVFC, Carolyn S. Gordon (topic)

History

2026-11-02: add by m2/dev

NSZ3S9X7C4 NSZ3S9X7C4

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

Mentions

arxiv: arXiv 2610.12484#R4TX (statement). In GW23NX78SB/e1, theorem 2.8

History

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

meagre set NSZ72AKD92

URI	`m2://inv/NSZ72AKD92`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Meagre set 0FQPYAY9PJ

Mentions

wikidata: Wikidata Q1747745, meagre set (unknown). Also MathWorld MeagerSet
wikipedia: Wikipedia Meagre set, Meagre set (definition). Also Wikidata Q1747745

History

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

NSZAVR51W0 NSZAVR51W0

URI	`m2://inv/NSZAVR51W0`
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 2208.14274#D12F (statement). In 2FKE7JPQ76/e1, proposition 2.6

History

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

Definition NSZE0J7A3Z

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

Mentions

wikipedia: Wikipedia Random self-reducibility#OT00, Definition (definition)

History

2026-11-02: add by m2/dev

NSZFSG2X42 NSZFSG2X42

URI	`m2://inv/NSZFSG2X42`
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#M4R3 (statement). In QDRYC6WJJ7/e1, theorem 1

History

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

Generation of first cohomology NSZP5JY3K4

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

Mentions

arxiv: arXiv 2610.20649#E6FL, Generation of first cohomology (statement). In XDTM624YPE/e1, lemma 17.4

History

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

algorithm, polynomial time NSZPDHVTBN

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

Mentions

applied_combinatorics: applied_combinatorics index/4.4.2/algorithm-polynomial-time, algorithm, polynomial time (concept). In QKM9DD2H56, index, section 4.4.2

History

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

Axioms NSZPTGNP4S

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

Mentions

wikipedia: Wikipedia Construction of the real numbers#WYAJ, Axioms (statement)

History

2026-11-02: add by m2/dev

q-Pochhammer symbol NSZWS3Y4ZB

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

Mentions

wikipedia: Wikipedia List of q-analogs#9I7X, q-Pochhammer symbol (definition)

History

2026-11-02: add by m2/dev

Mandatory original divisor atoms NSZWX14QSK

URI	`m2://inv/NSZWX14QSK`
Kind	statement
Layer	research
MSC	14-XX, 35-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.18788#7Z19, Mandatory original divisor atoms (statement). In KFEASG3ZHS/e1, lemma 7.3

History

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

All-Pairs Shortest Paths (APSP) hypothesis NSZY3YSYFC

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

Mentions

wikipedia: Wikipedia Fine grained complexity#WVUN, All-Pairs Shortest Paths (APSP) hypothesis (statement)

History

2026-11-02: add by m2/dev