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 2701–2800 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Nonzero rationals | 56S7DRMPG4 | example | open | napkin tex/H113/grp-intro.tex#example-2 |
| Nonzero standard-degree-zero cup product | EJ7GJNSVK5 | 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.20649#U13M |
| noon | FG81KPR3M7 | definition | open | Wikidata Q168182, ProofWiki Definition:Twelve_O'Clock/Noon |
| noose | E6E5SMN0PY | unknown | open | Wikidata Q1583329, MathWorld RunningKnot |
| Norbert Straumann | 12AK934M6R | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1997242, nLab Norbert Straumann |
| Noriaki Ikeda | W5AAYEHEWF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q60636741, nLab Noriaki Ikeda |
| norm | EA4Y9KRW2Y | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > norm, Mathlib InnerProductSpace.Core.toNorm |
| norm | VFVC4PV0TD | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q956437, EoM norm, MathWorld Norm |
| Norm and composition estimates for the flow | WR607V49ED | 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 2410.06788#KRFT |
| Norm approximation | TW2D5ZV2V5 | 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.30301#4UC1 |
| Norm characters in cyclic prime degree | 5TB481MX8V | 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.10583#CE7W |
| Norm choice by rescaling | AXKMSXJ9P9 | 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.30301#VV7P |
| Norm choice by rescaling | R9Z5BJV8JP | 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.30301#ZAT9 |
| Norm comparison | AKV6G6WHJ6 | 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.02721#LAWE |
| Norm dependence and implicit concentration penalty | J424P7QSR2 | 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.11917#ZKQF |
| norm equivalence | ETX516B3K2 | 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.17678#TWG4 |
| norm equivalence ; cf.\ | FYBAMHD1HC | 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.08016#1WIA |
| Norm estimates on homogeneous Sobolev spaces | YQWT2YK8QS | 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.34946#SJDQ |
| Norm filtration at stationary depth | 824BDEW3S4 | 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.10583#W7PR |
| Norm improvement from an approximable extension | 7DXKRA2JAJ | 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.26984#LZAS |
| Norm of $a+b\sqrt2$ | AFVYY92CM9 | example | open | napkin tex/alg-NT/norm-trace.tex#example-1 |
| norm of a continuous linear map | 8X92FVZSZF | unknown | open | mathlib_overview Analysis > Normed vector spaces/Banach spaces > norm of a continuous linear map, Mathlib LinearMap.mkContinuous, mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > norm of a continuous linear map |
| Norm of the Test Function | 9XV7W81HV8 | 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.13222#QIUS |
| Norm representatives at subcritical precision | 72AKZKEPPR | 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.10583#5ZN8 |
| Norm representatives for the twist coefficient | F6N41Q1YS1 | 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.30301#2KY6 |
| norm residue isomorphism theorem | WGQM59G2B8 | statement | open | Wikidata Q7051622, nLab norm residue isomorphism theorem |
| Norm stability under fermionic extension | 126YTE0B6R | 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.00448#3O56 |
| Norm truncation | 3AZP5WTYSF | 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.10583#EZOP |
| norm upper bound at cone points | SWZVKKB9KQ | 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 2608.24606#RIT1 |
| Norm--logarithm congruences | VZB14EPX67 | 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.30301#HXTC |
| Norm-character conversion | 2H5B963BYG | 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.10583#CESJ |
| Norm-character groups | K7VCCA2N76 | 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.30301#2ORM |
| Norm-sensitive composition | 4ST26VEYSM | 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.01071#ULOB |
| Normal $k$-currents | GFEJE0QG8Q | 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.24451#SOVJ |
| Normal basis theorem | 3JWX85STM7 | 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.22247#CPMS |
| normal bundle | 898NVKS97E | unknown | open | Wikidata Q2370925, EoM Normal_bundle, MathWorld NormalBundle, nLab normal bundle |
| Normal bundles | 5MSKDS7RNR | 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.01731#11LR |
| Normal characters | HA6GAW6VHX | 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.14582#FGNG |
| Normal cone | 7CRYTX1A89 | 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.09840#CKJL |
| Normal cone to the box | C38XXNMA77 | 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.00033#COVJ |
| normal convergence | MYXXM7YZCX | unknown | node (a node has the same name as the row) | mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > normal convergence |
| normal curvature | 4WHSMM7XC0 | unknown | open | Wikidata Q132446366, MathWorld NormalCurvature |
| normal distribution | P2B3RPZM0Y | unknown | node (a node has the same name as the row) | Wikidata Q133871, MathWorld NormalDistribution |
| normal element | 6B519BYE4E | unknown | open | Wikidata Q96396188, MathWorld NormalElement |
| normal endomorphism | C3G4W4S8DE | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > normal endomorphism, Mathlib IsStarNormal |
| normal equation | 3XS665AN9R | concept | open | austin_ula index/6.5.3/normal-equation |
| normal extension | S50VZ0T8N6 | unknown | node (a node has the same name as the row) | Wikidata Q2331395, EoM Normal_extension, MathWorld NormalExtension, nLab normal field extension |
| Normal form | HHQ3G63N7A | 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.20817#E2XK |
| Normal form | M06AF360A0 | 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.11652#0P06 |
| Normal form | YWXHR26VW8 | 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.19812#SOI1 |
| normal form | ZMMS97B9BX | concept | open | hott_book index/4.4/normal-form |
| Normal form for degree-two cusp-preserving foliations | 4BYTXRDBZZ | 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.26152#OV3D |
| Normal Form Predicate $\Nf_i^a$ | KV1NZJ1QZY | 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#ACYL |
| Normal FTMLE ridge | G01RB9Z9NK | 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.39190#GPGU |
| normal jumps carried by the scalar potential | VQBP4CFAK3 | 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.08016#8O60 |
| normal line | PRY7XZB6E5 | unknown | open | Wikidata Q21011981, MathWorld NormalLine |
| normal matrix | A68TH0944V | unknown | node (a node has the same name as the row) | Wikidata Q6852339, EoM Normal_matrix, MathWorld NormalMatrix |
| Normal mean curvature with generalized boundary | 1A3C9JAAF2 | 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.24716#W0EY |
| normal modal logic | 5YGM93H019 | unknown | open | Wikidata Q840226, nLab normal modal logic |
| normal mode of oscillation | FWD9TMMVB0 | concept | open | lebl_diffyqs index/10.6.2/normal-mode-of-oscillation |
| Normal nearly K\"ahler operator | DXKSMEJZSV | 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.00078#U1N4 |
| normal number | ZMECR89S5Q | unknown | open | Wikidata Q902708, MathWorld AbsolutelyNormal, MathWorld NormalNumber |
| normal operator | 3TQD4SG7V4 | unknown | node (a node has the same name as the row) | Wikidata Q854946, nLab normal operator |
| normal order of an arithmetic function | 12A3GZJJDM | concept | open | Wikidata Q7051823, MathWorld NormalOrder |
| normal plane | JV69ZA460M | unknown | open | Wikidata Q18354546, MathWorld NormalPlane |
| Normal representation is unique | DE4ZEYQBHT | 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 2602.19452#J3ML |
| normal ring | 31DV8MG29B | unknown | open | Wikidata Q93353768, EoM Normal_ring |
| normal scheme | 6WVZTTEGVG | unknown | open | Wikidata Q7051829, EoM Normal_scheme |
| Normal slices of radial source densities | J4WR9TMMNJ | 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.24716#SYXY |
| normal space | 4AM4HTGHQ3 | definition | node (a node has the same name as the row) | Wikidata Q1071795, MathWorld NormalSpace, nLab normal space, ProofWiki Definition:T4_Space |
| normal subgroup | F3D99PH13A | definition | node (a node has the same name as the row) | mathlib_overview General algebra > Group theory > normal subgroup, Mathlib Subgroup.Normal, mathlib_undergrad Group Theory > Basic definitions > normal subgroup, Wikidata Q743179, EoM Normal_subgroup, MathWorld NormalSubgroup, nLab normal subgroup, ProofWiki Definition:Normal_Subgroup |
| normal vector | R7N8FHPH16 | unknown | node (a node has the same name as the row) | Wikidata Q56353263, MathWorld NormalVector, nLab normal vector |
| Normal-band reduction | 7R2EDVRVG6 | 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#T4N7 |
| Normal-basis induction | 8MN6S7SP6W | 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.00364#D9TF |
| Normal-bundle geometry | J9ZPGV58P2 | 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.24716#P27G |
| Normal-fan representation of crossing | E0EG3R27HC | 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.33472#Q0C8 |
| Normal-fiber area formula | XTC2QFBVMS | 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.24716#LHYN |
| Normal-tail estimates | JTQGFN2JT4 | 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#8W1G |
| Normalisable kernel | BQMGY4CB94 | 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.19861#4TIL |
| Normalisation and finite type | VGDND6FGW3 | 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.17441#L182 |
| normalised pattern chart | T6V78C80FX | 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.04000#LMOG |
| Normalised slope form | R7QMBDZXTH | 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.07905#WFHA |
| Normality and perfectness | QB5ZXBT56H | 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.26110#R9B8 |
| Normality and zeros under the full AT hypothesis | 4S0PHZ6JJ4 | 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.26110#171H |
| Normality propagates to layers | H9NER7CDMN | 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.13429#NJUR |
| Normalization | 2MBNY2NXXV | 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.17677#5EFG |
| Normalization | 2RKSP6WT7G | 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.05457#7QJF |
| Normalization | 7E5EEG2ACT | 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.09912#QRFB |
| normalization | FCTYA5DBJ0 | concept | open | hott_book index/4.4/normalization |
| Normalization | SWVTYHSX6P | 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.11652#0BGU |
| Normalization and coordinate enlargement | E41BQHKM7A | 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.02407#FQRR |
| Normalization convention for mixed forms | M6PD9A51XN | 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.26110#9DSL |
| Normalization dictionary | C29HCBFR18 | 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.25925#R3XB |
| Normalization of a cumulative margin bound | 1S8P72R6DY | 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.11309#6LQO |
| Normalization of the change of measure | H9R6GTP556 | 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.02531#7IIB |
| Normalization of the complete short-root matrix | 4NKYG69FQ7 | 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.20994#GMYH |
| Normalization of the integrability hypotheses | J7W5S5M449 | 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.14065#VY1U |
| Normalization of the norm-character generator | BCFCDZ9BSB | 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.10583#ZMOI |
| Normalization of the residual additive character | 8JJ1RMJPND | 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.10583#HL83 |
| Normalization of the symmetrizer | 2AXE6K5XRJ | 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.02743#8VPJ |