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 1601–1700 of 3888.

Name	Id	Kind	Outcome	Sources
New learning theory quantity	CZCEJZW5VA	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 2102.11076#RN6M
New Math	KPJXYZCCG0	unknown	open	Wikidata Q336700, nLab New Math
new riddle of induction	BWHY90BC7B	statement	open	Wikidata Q1469453, ProofWiki Goodman's_Paradox
New Zealand	8A6G9V03W1	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q664, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/New_Zealand
Newcomb's problem	XZZYP9C594	unknown	open	Wikidata Q1930546, MathWorld NewcombsParadox
Newest-policy reduction	MY1XBJ2FD5	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.10393#NQB8
NEWF53VDBR	NEWF53VDBR	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.37425#WINR
Newlander–Nirenberg theorem	G60BB3G1YP	statement	open	mathlib_1000 Q2995691, Wikidata Q2995691, thousand_plus Q2995691, Wikipedia Newlander–Niremberg theorem
Newman	TXKAFX09JM	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.37479#C09R
Newman's conjecture	QDF3N22N9B	conjecture	open	Wikidata Q96395496, MathWorld NewmansConjecture
Newman's Lemma	JSPP0BFWYX	statement	open	open_logic content/proof-theory/propositions-as-types/normalization.tex#lem-2
Newman's lemma	NTP7SNQKT8	topic	open	Wikidata Q1208706
Newman–Shanks–Williams prime	331G5BCY4J	object	open	Wikidata Q1965585, OEIS A088165
NEWPRTQ9A1	NEWPRTQ9A1	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.20760#5OOV
newton	5VREE03RBC	definition	open	Wikidata Q12438, ProofWiki Definition:SI/Force/Newton
Newton decrement	J2NP1CSK04	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.03242#M3HQ
Newton expansion among siblings	DBA1YTX084	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.20368#U9AE
newton metre	B194583A81	definition	open	Wikidata Q215571, ProofWiki Definition:Newton-Metre
Newton polygon	ASP43H2ASA	unknown	open	Wikidata Q115646, EoM Newton_diagram
Newton polygon of a cyclic semilinear map	VBAS1FMXW1	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.05652#APOE
Newton's Binomial Theorem	GXNV2MAZQ2	statement	open	applied_combinatorics source/s_genfunction_gen-bin-thm.ptx#thm_newton-binomial
Newton's first law	643N6T8WZ4	statement	open	Wikidata Q3235671, ProofWiki Newton's_Laws_of_Motion/First_Law
Newton's identities	4MY0G85PGX	statement	node (a node has the same Wikidata item as the row)	Wikidata Q1749812, MathWorld Newton-GirardFormulas
Newton's identities	DKVKCFH7FT	unknown	open	mathlib_undergrad Ring Theory > Polynomial rings > Newton's identities, Mathlib MvPolynomial.mul_esymm_eq_sum
Newton's law of cooling	7CW7PQQBH5	statement	node (a node has the same Wikidata item as the row)	Wikidata Q2902868, ProofWiki Newton's_Law_of_Cooling
Newton's law of universal gravitation	NQEX9XNHGS	statement	open	Wikidata Q134465, ProofWiki Newton's_Law_of_Universal_Gravitation
Newton's laws of motion	P6W60SM6Z7	statement	open	Wikidata Q38433, EoM Newton_laws_of_mechanics, nLab Newton's laws of motion, ProofWiki Newton's_Laws_of_Motion
Newton's method	S03D6RG0DV	unknown	node (a node has the same Wikidata item as the row)	Wikidata Q374195, MathWorld NewtonsMethod, nLab Newton's method
Newton's second law of motion for constant mass	WW4YVTKMJM	statement	open	Wikidata Q2397319, ProofWiki Newton's_Laws_of_Motion/Second_Law
Newton's theorem	10N1VFB52D	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.20910#MPJS
Newton's theorem (quadrilateral)	42B1QZBTTC	statement	open	mathlib_1000 Q15872491, Wikidata Q15872491, thousand_plus Q15872491, Wikipedia Newton's theorem (quadrilateral)
Newton's theorem about ovals	5W8PBMGCJR	statement	open	mathlib_1000 Q7020025, Wikidata Q7020025, thousand_plus Q7020025, Wikipedia Newton's theorem about ovals
Newton's third law of motion	845D800HJF	statement	open	Wikidata Q3235565, ProofWiki Newton's_Laws_of_Motion/Third_Law
Newton--Schulz matrix bounds	BZBCS6KPWT	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.03306#L47D
Newton-meter	1397PZX8MA	concept	open	active_calculus index/6.4.1/newton-meter
Newtonian gravitational constant	MEQ257YRFM	definition	open	Wikidata Q18373, nLab gravitational constant, ProofWiki Definition:Universal_Gravitational_Constant
Newton–Cotes formula	Y2RYT0P4VN	concept	open	Wikidata Q944241, MathWorld Newton-CotesFormulas, ProofWiki Definition:Newton-Cotes_Rule
Newton–Pepys problem	VAJJJ5P1TV	problem	open	Wikidata Q14754879, MathWorld Newton-PepysProblem
Newton’s inequality	TFSC5C5KH7	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.29393#T639
Newton’s method	SJHCN34ZS4	unknown	open	mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > Newton’s method
NEWV8TR1R6	NEWV8TR1R6	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.35950#RS8G
NEWVS4ZT5S	NEWVS4ZT5S	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 2511.08099#G243
NEWZD4NHNA	NEWZD4NHNA	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.10527#I7PR
NEXA2GQYF3	NEXA2GQYF3	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.11700#SQPH
NEXD8AEWYG	NEXD8AEWYG	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 2204.13401#4G2L
NEXDVQZAXD	NEXDVQZAXD	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 2211.15302#BK45
NEXE10MW79	NEXE10MW79	statement	open	napkin tex/homology/cellular.tex#theorem-4
Next-block pseudoentropy	NNQQTNKKCY	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.14615#VAMY
Next-block pseudoentropy implies conditional sampling hardness	VFE8RSDZTY	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.14615#6TYI
NEYC0K4HM9	NEYC0K4HM9	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 2404.18690#0H70
NEYDZ4C8FW	NEYDZ4C8FW	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.05506#UKUW
Neyman--Pearson regret inequality	FDST5H5PEH	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.27200#CUNE
Neyman-Pearson lemma for the optimal \Ev-power	C3YSSTERYH	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.08210#5IKT
Neyman–Pearson lemma	4CAZGWD6D2	statement	node (a node has the same Wikidata item as the row)	Wikidata Q1375989, MathWorld Neyman-PearsonLemma
NEYYW04DQF	NEYYW04DQF	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.26477#W6J7
NEZ3AZ97DZ	NEZ3AZ97DZ	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 1002.0879#R4NB
NEZAS4SRJQ	NEZAS4SRJQ	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.03353#KYIB
NEZB1BCWE0	NEZB1BCWE0	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.15700#7N0V
NF051S1YXB	NF051S1YXB	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 1612.08394#O83U
NF0A6CTWKC	NF0A6CTWKC	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.34675#7UJH
NF0JCH3CB3	NF0JCH3CB3	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.25151#CPER
NF0XNMBS2Q	NF0XNMBS2Q	exercise	open	active_calculus source/activities/act-7-3-2.xml#act-7-3-2
NF0Y7JN6EV	NF0Y7JN6EV	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.06544#1Q7S
NF19MX5PMC	NF19MX5PMC	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.07453#W9PA
NF1M6TY6TJ	NF1M6TY6TJ	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 2609.35631#V4Y0
NF1XM55RA3	NF1XM55RA3	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.24185#X6MN
NF23A7ZS60	NF23A7ZS60	example	open	levin_dmoi ptx/sec_logic-prop.ptx#example-1
NF23YR8FYE	NF23YR8FYE	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.16241#WZC9
NF29ER1NVQ	NF29ER1NVQ	exercise	open	lebl_scv scv.tex#exercise-208
NF2XNK5PEB	NF2XNK5PEB	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.11210#3EVC
NF2YZKWV7G	NF2YZKWV7G	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.10902#F0R2
NF3TXD3QJW	NF3TXD3QJW	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.05146#S9OD
NF3Y6CXPDZ	NF3Y6CXPDZ	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.03126#DQ5X
NF43EN4C94	NF43EN4C94	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.14434#S4D7
NF48MSN2K0	NF48MSN2K0	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.02495#AJSI
NF4XN6SDXN	NF4XN6SDXN	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.10930#MEJZ
NF57P23TRN	NF57P23TRN	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.06529#75XZ
NF5MTAENMF	NF5MTAENMF	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.29501#EU4T
NF7ZYM6T3W	NF7ZYM6T3W	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.09390#U7KI
NF81WH4ZE8	NF81WH4ZE8	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 1804.06366#FTV6
NF84W1WH1C	NF84W1WH1C	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.27872#BOKV
NF88Q7BF75	NF88Q7BF75	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 2212.01916#XTRR
NF89FK30KF	NF89FK30KF	exercise	open	ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-5
NF8AFX47HZ	NF8AFX47HZ	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.26771#R49H
NF8CXN4KD5	NF8CXN4KD5	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.32206#P6E5
NF8GN54ANS	NF8GN54ANS	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.24523#MQPE
NF8KVE49RW	NF8KVE49RW	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.29605#2NJ3
NF8R7B1QWK	NF8R7B1QWK	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.15402#WOU7
NF8S7Z5G6A	NF8S7Z5G6A	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 2111.01197#YC8S
NF8YT8YGRX	NF8YT8YGRX	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 1004.4564#BC2G
NF93Z5NPK5	NF93Z5NPK5	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.20801#DPWC
NF9X4ND82M	NF9X4ND82M	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 2306.12846#53XN
NFA	N791QFJ3GM	unknown	open	mathlib_overview Logic and computation > Formal languages > NFA, Mathlib NFA
NFA0FTFJYD	NFA0FTFJYD	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 2308.09645#Z72K
NFA3Y0V883	NFA3Y0V883	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.10329#4GHH
NFACT5EAG5	NFACT5EAG5	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.36884#5KUK
NFAQX1D6SC	NFAQX1D6SC	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.33651#5SFO
NFBCK317SY	NFBCK317SY	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.06645#ZR6H
NFBPHKX6JY	NFBPHKX6JY	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.25656#U24G
NFBQ19557H	NFBQ19557H	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.20466#H9HC