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 1001–1100 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| NAPQNVQQGT | NAPQNVQQGT | 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.36313#V5FZ |
| NAQV3S238B | NAQV3S238B | 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.39700#OUSJ |
| Narasimhan's lemma | YPP7AZR2AZ | concept | open | lebl_scv index/2.3/narasimhan-s-lemma |
| Narasimhan's lemma\index{Narasimhan's lemma} \footnote{A statement essentially of Narasimhan's lemma was already used by Hellmuth Kneser in 1936.} | 9W821S97N1 | statement | open | lebl_scv scv.tex#lemma-1 |
| Narasimhan–Seshadri theorem | BQXJWD15ZT | statement | open | Wikidata Q17099286, nLab Narasimhan–Seshadri theorem |
| Narayana number | BMYT7YQJN7 | unknown | open | Wikidata Q6965520, MathWorld NarayanaNumber, OEIS A001263 |
| NARC2T6R44 | NARC2T6R44 | statement | open | hott_book hlevels.tex#thm:ntype-nloop |
| narcissistic number | 53A4Y7DYD5 | unknown | open | Wikidata Q777616, MathWorld NarcissisticNumber, OEIS A005188 |
| Narkiewicz--\'{S}liwa | 6PGXVJVN27 | conjecture | record (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#4GJG |
| Narrow decoupling | WN53VNAZSK | 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.16294#16QL |
| Narumi polynomials | 3723SEPYE4 | unknown | open | Wikidata Q6966457, MathWorld NarumiPolynomial |
| NARY03KYER | NARY03KYER | 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.36332#EBM5 |
| NARY3SNT5E | NARY3SNT5E | example | open | napkin tex/topology/fundamental-group.tex#example-5 |
| NAS9F30F3S | NAS9F30F3S | 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.40054#IPVN |
| NAS9GEJ6VY | NAS9GEJ6VY | 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.02628#DHRU |
| Nash embedding theorem | F4NZSZFD1N | statement | open | mathlib_1000 Q1306092, Wikidata Q1306092, thousand_plus Q1306092, Wikipedia Nash embedding theorem, nLab Nash embedding theorem |
| Nash equilibrium | JJTNW90HGB | unknown | open | Wikidata Q23389, MathWorld NashEquilibrium, nLab Nash equilibrium |
| Nash equilibrium of $\Gamma$ | 5MYMW0KYGJ | 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.26265#R1UC |
| Nash's theorem | W0QTBSQTPS | statement | open | Wikidata Q128693310, EoM Nash_theorem_(in_game_theory), MathWorld NashsTheorem |
| Nash–Moser theorem | 125D71VA1K | statement | open | mathlib_1000 Q6967039, Wikidata Q6967039, thousand_plus Q6967039, Wikipedia Nash–Moser theorem |
| Nasir al-Din al-Tusi | Y53DNTW730 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q302835, ProofWiki Mathematician:Nasir_al-Din_al-Tusi |
| NASP7TQDPH | NASP7TQDPH | 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.13670#7FBQ |
| nat | V4EFANTFCN | unknown | open | Wikidata Q376660, MathWorld Nat |
| NAT1P2JDGK | NAT1P2JDGK | 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.30310#24P7 |
| NAT2DGQDQZ | NAT2DGQDQZ | 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.15169#DNXT |
| NAT3AF7J72 | NAT3AF7J72 | 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.30519#6FKQ |
| Natarajan dimension | JPCGSXBZ6C | 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.18154#OK1F |
| Natarajan dimension as a group invariant | 2J8P5W6X77 | 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.18154#7KRO |
| Natarajan dimension is at least half the DS dimension | H7KGNWJHX7 | conjecture | record (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.18154#IFP9 |
| Natarajan squares | D6F86BMY8C | 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.18154#3U5T |
| NATCXPQJQ9 | NATCXPQJQ9 | 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.07890#LL01 |
| NATD15PGDB | NATD15PGDB | 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.16554#XZ2Z |
| Nate Silver | H8TR6TGAQ8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q562521, ProofWiki Mathematician:Nathaniel_Read_Silver |
| NATG079C4S | NATG079C4S | 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.09809#IP4G |
| Nathan Berkovits | HNEAVCX8T7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q10335717, nLab Nathan Berkovits |
| Nathan Fine | EC90K01S8M | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6969052, MathWorld FinesEquation |
| Nathan Seiberg | 6Q7VXZPMMG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q706652, nLab Nathan Seiberg |
| Native space associated with an admissible operator $\Lop$ | TZEFM9H8PQ | 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.14920#0DC7 |
| Natural algebraic subloci of foliation components | CQAXNBT21H | 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.26152#KXHL |
| natural bundle | TFK7ZRSZG4 | unknown | open | Wikidata Q36775500, nLab natural bundle |
| natural deduction | 5R025R12ZQ | unknown | open | Wikidata Q1572108, nLab natural deduction |
| natural domain | KVB7KKP1C1 | concept | open | Wikidata Q110924026, MathWorld NaturalDomain |
| natural exponential function | J9X941ZY24 | unknown | open | Wikidata Q47306354, EoM Exponential_function, MathWorld NaturalExponentialFunction |
| natural frequency | AQQFK2KA1V | concept | open | lebl_diffyqs index/10.6.2/natural-frequency |
| natural isomorphism | FVZ33ZKQQK | definition | open | Wikidata Q110535030, MathWorld NaturalIsomorphism, nLab natural isomorphism, ProofWiki Definition:Natural_Isomorphism |
| natural language | CY0GHZ5BY6 | definition | open | Wikidata Q33742, ProofWiki Definition:Natural_Language |
| natural logarithm | 1PZGXVC44Z | unknown | node (a node has the same name as the row) | Wikidata Q204037, MathWorld NaturalLogarithm |
| natural logarithm of 2 | 7SQD3Q74RX | definition | open | Wikidata Q5963772, MathWorld NaturalLogarithmof2, OEIS A002162, ProofWiki Definition:Mercator's_Constant |
| natural mode of oscillation | MYSR6E0KF3 | concept | open | lebl_diffyqs index/10.6.2/natural-mode-of-oscillation |
| natural norm | 1Y7F05WEPA | unknown | open | Wikidata Q1971708, MathWorld NaturalNorm |
| natural number | 3E9DTTPXHH | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q21199, EoM Natural_number, MathWorld NaturalNumber |
| natural number object | G0XP7MF541 | unknown | open | Wikidata Q6980740, nLab natural numbers object |
| Natural Number Term Predicate $\textsf{Nat}_i$ | DVXM23RN8Z | 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.21131#0DN2 |
| Natural Number Type Predicate $\textsf{Nat}_i$ | 8DR1DRG9VY | 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.21131#QWAM |
| natural numbers | 5CS134GESA | concept | open | hott_book index/5.10/natural-numbers |
| natural numbers | B1NPBCTJTA | concept | open | hott_book index/8.1/natural-numbers |
| natural numbers | C3GS4FA8FT | concept | open | hott_book index/A.9/natural-numbers |
| natural numbers | J6206SCWPB | concept | open | hott_book index/1.13/natural-numbers |
| natural numbers | MY9WGKRZ7S | concept | open | hott_book index/4.2.9/natural-numbers |
| natural numbers | SH052S1R2W | concept | open | applied_combinatorics index/B.7/natural-numbers |
| natural numbers | XVNXAWH7SN | concept | open | levin_dmoi index/1.3.1/natural-numbers |
| natural numbers, as homotopy-initial algebra | RWSNZA72N7 | concept | open | hott_book index/8.4/natural-numbers-as-homotopy-initial-algebra |
| natural numbers, encoded as $\lst\unit$ | 6XH0Q8CAZW | concept | open | hott_book index/8.2/natural-numbers-encoded-as-lst-unit |
| natural numbers, encoded as a $\w$-type | 8VSC3FRC04 | concept | open | hott_book index/8.5/natural-numbers-encoded-as-a-w-type |
| natural numbers, encoded as a $\w$-type | DRKS6JK96M | concept | open | hott_book index/8.3/natural-numbers-encoded-as-a-w-type |
| natural numbers, isomorphic definition of | 924T499V9T | concept | open | hott_book index/8.2/natural-numbers-isomorphic-definition-of |
| natural sequence | 9PRBXNR5B0 | unknown | open | Wikidata Q138568729, EoM Natural_sequence |
| natural transformation | 281ENDTYGR | definition | open | mathlib_overview General algebra > Category theory > natural transformation, Mathlib CategoryTheory.NatTrans, Wikidata Q1442189, EoM Functorial_morphism, MathWorld NaturalTransformation, nLab natural transformation, ProofWiki Definition:Natural_Transformation |
| natural, isomorphism | 6DK8TZKJPY | concept | open | hott_book index/2.2/natural-isomorphism |
| natural, transformation | 3AQGHAYPHE | concept | open | hott_book index/3.1/natural-transformation |
| natural, transformation | 59FKYV25T6 | concept | open | hott_book index/2.8/natural-transformation |
| Naum Akhiezer | RS3Z7CYGQV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1385805, ProofWiki Mathematician:Naum_Ilyich_Akhiezer |
| Nauru graph | FHHAVJCGMA | unknown | open | Wikidata Q3115524, House of Graphs 1234, MathWorld NauruGraph |
| nautical mile | 7PKPD2KQZ6 | definition | open | Wikidata Q93318, ProofWiki Definition:Nautical_Mile |
| NAVD45CWZ7 | NAVD45CWZ7 | 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.13877#PH7M |
| Navier–Stokes equations | W2G1Q20EE8 | unknown | open | Wikidata Q201321, EoM Navier-Stokes_equations, MathWorld Navier-StokesEquations, nLab Navier-Stokes equation |
| NAVVH7BNDA | NAVVH7BNDA | 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.17669#X3Z0 |
| NAW8Y0FXHF | NAW8Y0FXHF | 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.28552#ZTUB |
| NAWFE3M3YV | NAWFE3M3YV | proof | open | napkin tex/set-theory/models.tex#proof-3 |
| NAWFS4NJTT | NAWFS4NJTT | 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.13670#25K4 |
| NAWQTEF7HG | NAWQTEF7HG | 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.31269#PV07 |
| NAXB0G87X3 | NAXB0G87X3 | proof | open | napkin tex/calculus/limits.tex#proof-2 |
| NAXEGHKSVS | NAXEGHKSVS | 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.17602#WW0H |
| NAXHRS80TG | NAXHRS80TG | 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.13699#ENIX |
| NAXNCXDX47 | NAXNCXDX47 | 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.00789#4CFD |
| NAYT9GR1D6 | NAYT9GR1D6 | 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.12633#0N81 |
| NAZ9TQE31P | NAZ9TQE31P | 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.24569#69VX |
| Nazarov--Sklyanin | QKAK072CW7 | 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.12326#PXUO |
| Nazarov--Sklyanin | X329CYHFBQ | 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 2211.01586#R3F4 |
| Nazarov--Sklyanin Macdonald Lax operator | J30XGEYGRE | 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.12326#ECVO |
| NAZPY4GG04 | NAZPY4GG04 | 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.28898#JT6B |
| NAZYVNYES4 | NAZYVNYES4 | 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 2205.13464#VOFB |
| NB01APRTKD | NB01APRTKD | 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.33027#U12K |
| NB0BVZ6WC9 | NB0BVZ6WC9 | 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 1712.02437#W3YA |
| NB0VFN5K9D | NB0VFN5K9D | 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.06707#R0A3 |
| NB0XXFA2VP | NB0XXFA2VP | 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 2011.06637#4QT1 |
| NB16VK72Z9 | NB16VK72Z9 | 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.11440#8RVD |
| NB1QMC3755 | NB1QMC3755 | 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.05327#CQVG |
| NB1TE0XTV6 | NB1TE0XTV6 | 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.37450#HF0E |
| NB230EJXR2 | NB230EJXR2 | 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 2502.08738#K5Y7 |