Inventory: N

The rows of the inventory whose names start with N. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Other 25924
A 5528
B 4390
C 7242
D 4710
E 5003
F 4868
G 4385
H 4070
I 1391
J 3085
K 3381
L 1911
M 4894
N 3888
O 897
P 5460
Q 3198
R 4892
S 6923
T 5819
U 1014
V 3154
W 3560
X 2715
Y 2835
Z 2989

Rows 901–1000 of 3888.

Name	Id	Kind	Outcome	Sources
NA1SDB03EC	NA1SDB03EC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27125#JLZI
NA1SVHHQQZ	NA1SVHHQQZ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.17411#SDMV
NA1WT4408W	NA1WT4408W	exercise	open	austin_ula src/section1-4.xml#activity-2
NA20BXE4N9	NA20BXE4N9	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.09084#7M1O
NA2AR2TV7C	NA2AR2TV7C	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2606.12009#1VIG
NA2JSCHQFY	NA2JSCHQFY	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.07092#BO9H
NA2QXBBB8S	NA2QXBBB8S	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.37844#7IV6
NA3APZXF5V	NA3APZXF5V	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1008.2055#M0RN
NA3FM8FNFM	NA3FM8FNFM	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01087#UXGD
NA3MXR0MEE	NA3MXR0MEE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13291#4TAY
NA3P12261Z	NA3P12261Z	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.02570#0KYA
NA3SMHTAMA	NA3SMHTAMA	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2110.11783#EA4N
NA3Z60W86D	NA3Z60W86D	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.17571#ETOR
NA4HC3GP8G	NA4HC3GP8G	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2101.07846#GVE0
NA4JEQBDV4	NA4JEQBDV4	exercise	open	hott_book logic.tex#ex:prop-inhabcontr
NA4S41Y1Y6	NA4S41Y1Y6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14204#2UI9
NA56AJCYRE	NA56AJCYRE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05914#YIV3
NA5KHE6C05	NA5KHE6C05	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.03517#TBOW
NA5RV3AHXF	NA5RV3AHXF	proof	open	open_logic content/set-theory/cardinals/cardsasords.tex#proof-1
NA5XFB1964	NA5XFB1964	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv math/0512416#2W2T
NA63TC15YQ	NA63TC15YQ	statement	open	open_logic content/first-order-logic/models-theories/size-of-structures.tex#prop-3
NA6E8DH7FC	NA6E8DH7FC	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.12324#RULH
NA6G2DTXVN	NA6G2DTXVN	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2206.05392#LFP9
NA6S4ET18A	NA6S4ET18A	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01615#ZQD3
NA772T25M6	NA772T25M6	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14278#IJC4
NA7G1PA996	NA7G1PA996	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.09515#F4EA
NA7WQZ507V	NA7WQZ507V	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2605.16669#8XCM
NA82B7EC4C	NA82B7EC4C	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.39293#C7IW
NA8KWYGJPH	NA8KWYGJPH	proof	open	napkin tex/H113/grp-intro.tex#proof-2
NA963GCNWQ	NA963GCNWQ	statement	open	hott_book hlevels.tex#prop:nat-is-set
NA9RB23QPZ	NA9RB23QPZ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.12479#UWVN
NAA2F6XF07	NAA2F6XF07	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.36113#A8YP
NAA89VTY0F	NAA89VTY0F	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.34081#CVQJ
NAAT3S3BVP	NAAT3S3BVP	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.33590#1KVF
NAAXVRFA3X	NAAXVRFA3X	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01796#MUL8
NAB0KR7HXW	NAB0KR7HXW	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.40274#3D44
NABEEPWJFC	NABEEPWJFC	example	open	levin_dmoi ptx/sec_gt-planar.ptx#example-1
nabla operator	QC5XSC1KAP	unknown	node (a node has the same Wikidata item as the row)	Wikidata Q334508, MathWorld Del, MathWorld Nabla
NACA92EX8C	NACA92EX8C	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27795#MN0U
NACD01B1J9	NACD01B1J9	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2108.03672#KICT
Nachbin's theorem	545KBHNBR7	statement	open	mathlib_1000 Q6957141, Wikidata Q6957141, thousand_plus Q6957141, Wikipedia Nachbin's theorem
NACVTM9XE4	NACVTM9XE4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.03449#5DZF
Nadler fixed-point	4SJD2TYW0P	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27414#16XL
NADTWZ3D9T	NADTWZ3D9T	topic	open	Wikidata Q114716219
NAE-3-Sat-E4	6YY31JXVFE	problem	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2401.15490#9JD9
NAEY6ZEHPC	NAEY6ZEHPC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.21501#3919
NAF5ACX01B	NAF5ACX01B	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.15313#A2D7
NAFMJKTT4A	NAFMJKTT4A	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2207.07461#HUFZ
Nagata's compactification theorem	2BS4WTBJQG	statement	open	mathlib_1000 Q11883897, Wikidata Q11883897, thousand_plus Q11883897, Wikipedia Nagata's compactification theorem
Nagata–Smirnov metrization theorem	M6RXVPC4EY	statement	open	mathlib_1000 Q2621667, Wikidata Q2621667, thousand_plus Q2621667, Wikipedia Nagata–Smirnov metrization theorem
Nagayoshi Iwahori	X1RJMXRE8C	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q11116947, ProofWiki Mathematician:Nagayoshi_Iwahori
NAGEH4SDKE	NAGEH4SDKE	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.30817#9O2K
Nagel line	PSFK2Z57ZP	concept	open	Wikidata Q2467706, MathWorld NagelLine
Nagel point	V9WA6CCZCP	concept	open	Wikidata Q2302892, MathWorld NagelPoint
Nagell correlation for the squarefree modulus	TCMK9W2GD7	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.22305#TYLU
Nagell–Lutz theorem	7NTNA26PYY	statement	open	mathlib_1000 Q3527132, Wikidata Q3527132, thousand_plus Q3527132, Wikipedia Nagell–Lutz theorem
NAGKSA5QQA	NAGKSA5QQA	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27752#FAFB
NAH2CFN0BY	NAH2CFN0BY	definition	open	open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#defn-2
NAH7MBEH5P	NAH7MBEH5P	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.26713#HO1S
NAHHJQ015G	NAHHJQ015G	statement	open	hott_book logic.tex#thm:inhabprop-eqvunit
Nahm equations	4RMT2D0TQ3	unknown	open	Wikidata Q6959295, MathWorld NahmsEquation
Nahm transform	CW2MEJ66VX	unknown	open	Wikidata Q72286792, nLab Nahm transform
Naimark dilation	4Q3MEMVR7T	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2103.02468#ZITA
naive set theory	FRK62ZDESZ	definition	open	Wikidata Q903783, MathWorld NaiveSetTheory, ProofWiki Definition:Naive_Set_Theory
Naive van Kampen theorem	ZGDHKSJA1N	statement	open	hott_book homotopy.tex#thm:naive-van-kampen
NAJ4TSGW3H	NAJ4TSGW3H	exercise	open	lebl_scv scv.tex#exercise-204
Najib Idrissi	CFTMZ0WV5K	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q60322733, nLab Najib Idrissi
NAJZZ3SBXC	NAJZZ3SBXC	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2604.11825#6BMF
NAK0JYGDQ4	NAK0JYGDQ4	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.31445#82SL
NAK2QMEN54	NAK2QMEN54	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.37920#Q9GK
NAK9HE1Z33	NAK9HE1Z33	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05179#834X
Nakajima quiver variety	SV2176M0RZ	unknown	open	Wikidata Q65553548, MathWorld NakajimaQuiverVariety, nLab quiver varieties
Nakaoka	MA441WVZEH	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2505.05539#7OXH
naked singularity	ATEDHS0E3S	unknown	open	Wikidata Q285949, EoM Naked_singularity, nLab naked singularity
NAKFFH7P6P	NAKFFH7P6P	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.16606#CSE7
NAKGGKFBR6	NAKGGKFBR6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.31090#LEA4
Nakkajima	2FWMG26N2R	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.35467#LQXO
Nambu mechanics	6PFEJPXKG8	unknown	open	Wikidata Q6273449, nLab Nambu mechanics
Name	DR96PQ0CNV	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2506.08233#Y6R4
name binding	6S6WYNZPAR	unknown	open	Wikidata Q16928028, nLab name binding
Name definitions	J88ZCBX1WC	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv math/0003117#W5HI
NAMEJSN5PS	NAMEJSN5PS	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.29878#4CJE
Namioka--Phelps	PQM04SEB51	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2510.01873#5CZ6
NAMJYX3TKF	NAMJYX3TKF	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.30961#LGW8
NAMS82MDTC	NAMS82MDTC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27078#OM8A
NaN	EBT7EDHZJD	unknown	open	Wikidata Q858684, MathWorld NaN
NAN7GQG2AA	NAN7GQG2AA	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05986#A4WS
NANF9SAG2Y	NANF9SAG2Y	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.25843#BFIT
NANJH6BWR2	NANJH6BWR2	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.33926#BUNU
nano	WTSZ25B9XR	definition	open	Wikidata Q154357, ProofWiki Definition:Metric_System/Scaling_Prefixes/nano-
nanometre	5Q524Q9FCV	definition	open	Wikidata Q178674, ProofWiki Definition:Metric_System/Length/Nanometre
NANT41BY9Q	NANT41BY9Q	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.18270#Y0Y0
NAP60AJYFD	NAP60AJYFD	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.21921#S47O
Napier's analogies	18AJZ7Q6KE	statement	open	Wikidata Q4491948, MathWorld NapiersAnalogies, ProofWiki Napier's_Analogies
Napier's bones	GXGG090GC0	definition	open	Wikidata Q1358538, MathWorld NapiersBones, ProofWiki Definition:Napier's_Bones
Napierian logarithm	JVFYED97AE	unknown	open	Wikidata Q5575737, MathWorld NapierianLogarithm
Napoleon points	8RFTRNJFXB	unknown	open	Wikidata Q1964922, MathWorld NapoleonPoints
Napoleon's problem	TY562BHKND	problem	open	Wikidata Q2670506, MathWorld NapoleonsProblem
Napoleon's theorem	T9Q3DR5XEV	statement	open	mathlib_1000 Q637418, Wikidata Q637418, thousand_plus Q637418, Wikipedia Napoleon's theorem, MathWorld NapoleonsTheorem
Napoleon-Feuerbach cubic	7EWCWTFKYY	unknown	open	Wikidata Q129260876, MathWorld Napoleon-FeuerbachCubic