Inventory: L
The rows of the inventory whose names start with L. 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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 4601–4700 of 6535.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Local constant Fr\'echet regression under an upper curvature bound | 6H3FSXFZMR | 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.00501#NR17 |
| Local constant power Fr\'echet regression | 7JSQ6C1H19 | 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.00501#TOCZ |
| Local constants through common norms | GYNJ64DXT8 | 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#GY8D |
| Local construction and finite-size Schmidt tail | 3C931J4PSM | 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.15199#RSF2 |
| Local continuation | 8XB4EPHYAJ | 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#HV9E |
| Local continuation after tail absorption | D6G3WAAEYT | 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.00339#4NWS |
| Local contractibility | 2ZR13TZC7J | unknown | open | Wikipedia Contractible space#K6X1 |
| Local convergence | 88XFMTTDXY | definition | open | Wikipedia List of numerical analysis topics#UV2X |
| Local convergence | YK67QFK1YT | definition | open | Wikipedia Local convergence, Wikidata Q6664310 |
| Local convergence factor | HJRGFGPDW9 | 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.06653#4OM3 |
| Local convergence to the limiting polygon | WPN53G7S20 | 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#FQNK |
| Local convex hull | 4Y9P89SZAK | definition | open | Wikipedia Local convex hull, Wikidata Q6664311 |
| Local convex hull | 5VMDPX5NRB | definition | open | Wikipedia List of statistics articles#EEMS |
| Local coordinates | 6TS7FWJDER | definition | open | Wikipedia Local coordinates, Wikidata Q6664315 |
| Local coordinates | WPR6SFG3FP | definition | open | Wikipedia List of computer graphics and descriptive geometry topics#20MC |
| Local correlation factors | D2JRQJ600T | 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.17675#MUJS |
| Local correlators and the local $J$-function | G3F8AW151X | 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.10821#QK4H |
| Local coupling and moments | 7N7SRG5V56 | 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.28611#ZMUJ |
| Local covering homogeneity | BXCM0AATG8 | 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.32078#PCWY |
| Local criterion for flatness | 5C2A4V8FR9 | statement | open | Wikipedia Local criterion for flatness, Wikidata Q60790246 |
| Local crossing identities | D2DWG432HY | 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.18618#ZFVH |
| Local cubic nonvanishing | P3J3T3Q5W3 | 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.25762#9CIE |
| Local defect | MNMN2KNZSG | 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.38993#VLK7 |
| Local densities at prime arguments | N2P9G61EAJ | 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.07214#UXD6 |
| Local Derivative Errors Off Sites | DVV56GCE53 | 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.12239#6ZMH |
| Local desingularisation of the sine cone | 579FZQBV23 | 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.37265#JDQC |
| Local Determination | ZZJ9GETCJZ | statement | open | open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#thm:LocalDetermination |
| local diagnostic | YE395D6P37 | 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.22355#LSAX |
| local diffeomorphism | 9PAVFS0NB7 | definition | open | Wikidata Q2276721, nLab local diffeomorphism, Wikipedia Local diffeomorphism |
| Local differential estimates | SEXZCRKQCZ | 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.06308#EKYC |
| Local differential privacy | 11WWY09XE0 | definition | open | Wikipedia Local differential privacy, Wikidata Q65057617 |
| Local Dirac-discriminant rigidity | TH8CJFFHRA | 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.20197#IP8V |
| Local distortion | FWBA3DGNC5 | 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.38741#O3XH |
| Local distribution | 78P6P09H7S | 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.02352#WIW8 |
| Local divergence Hessian | ZAVPN8W894 | 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.13951#IN39 |
| Local divisibility residues | 9199Q4SM1P | 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#KRK2 |
| Local domain refinement | RGXTZQV54G | 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.20539#K6C3 |
| Local domination | P7VXZ0EAR2 | 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.09086#F7W1 |
| Local Dual Bregman Length Distortion Factor (\textbf{Dual BLDF | 2HZKM3DDKZ | 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.38741#U3GB |
| Local dynamics under a small interaction | JT3497WM81 | 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.27181#R9C5 |
| Local efficiency \michel | YQT6JT52BG | 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.12088#RHZB |
| Local eigenvalue asymptotics near \(K\ | XSNAJH90K8 | 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.19426#8II8 |
| Local eigenvalue deviations in the complex exterior | W4HKJ1J16N | 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.05498#TJQG |
| Local energy decay with explicit constant, $N=2$ | 16W5H4KS91 | 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.15086#EA37 |
| Local energy inequality for the approximation | ZSNKNMP3W2 | 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.13613#7HOQ |
| Local entropy of rank-one spike classes | N7F1AYPN2Q | 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.10840#RQCC |
| local equality conditions | M5414Y1S16 | 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.38838#KFHP |
| Local equality, global separation | W9FVHTMSQQ | 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.00614#XXNT |
| local equation | 2XD2HXHZQJ | unknown | open | mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > local equation |
| Local equivalence | 69C6MPJFV3 | 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.17004#BOAK |
| Local error bound | KN57T3NQ89 | 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.30451#V5CE |
| Local estimate | XNPJSD3316 | 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.14086#BU9F |
| Local estimate independent of the Robin coefficient | KSRJHXWCQ9 | 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.21328#APZ8 |
| Local estimator | 8HS9JBZR3P | 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.11330#7GIE |
| Local Euler characteristic | ZT2K6KVTF2 | 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.12330#GX9H |
| Local Euler characteristic formula | 3DTPPNAK2N | statement | open | Wikipedia Local Euler characteristic formula, Wikidata Q6664004 |
| Local exactness at $\mathbf x^\ast$ | 8848CCMT9Z | 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.30173#GHWM |
| Local Existence | C9T05GEBRR | 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 2305.08210#7JB3 |
| Local existence | WPFGMMD28T | 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.32585#GXJE |
| Local existence and continuation | 1PXWG1673P | 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.15528#B7IL |
| Local existence and continuation | 4RJCQHF635 | 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.13248#VI4W |
| Local existence and continuation | J7EZ4TN8VD | 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.19453#CAF0 |
| Local existence and uniqueness for closed-loop plant | 34PSCP36GN | 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.08764#2D2K |
| Local existence and uniqueness of generalised solutions | 92CAV6VHCD | 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.22189#NE8K |
| Local existence and uniqueness theorem simplified | M80RRVF4G8 | statement | open | Wikipedia Ordinary differential equation#WKT3 |
| local existence of integral curves | 62N6G35744 | unknown | open | mathlib_overview Geometry > Differentiable manifolds > local existence of integral curves, Mathlib exists_isMIntegralCurveAt_of_contMDiffAt_boundaryless |
| Local extragradient with averaging | 2KH4YYAB5Y | 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.12641#KMAB |
| local extrema | 9TDVM6NVSQ | unknown | open | mathlib_overview Analysis > Differentiability > local extrema, Mathlib IsLocalMin.fderiv_eq_zero, mathlib_undergrad Multivariable calculus > Differential calculus > local extrema |
| local extremum | VSXPCMXN5S | unknown | open | Wikidata Q40549622, MathWorld LocalExtremum |
| local field | HAZ6WVVY21 | definition | open | Wikidata Q1868517, MathWorld LocalField, nLab local field, Wikipedia Local field |
| Local field | R80C6HSRZM | definition | open | Wikipedia Glossary of field theory#LBWK |
| Local field | WBCP4YP6WW | definition | open | Wikipedia List of algebraic number theory topics#G95N, Wikipedia List of abstract algebra topics#9WJN |
| Local Fields | GNS7J9ARS3 | definition | open | Wikipedia Local Fields, Wikidata Q6664008 |
| Local filling inside pole-free disks | H2QBQWQ56P | 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.30103#XHA5 |
| Local fillings | PZXNGNK9C6 | 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.04271#QVNZ |
| Local flatness | XZ9BEEHPF8 | definition | open | Wikipedia Local flatness, Wikidata Q6664369 |
| Local form and contact formula | N7KBBGP2YA | 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#4RYO |
| local form of the approximate solution | G8RKCA80F3 | 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.22413#7PEP |
| Local Fourier transform in the slope-$<1$ range | QQ7G9JRA1V | 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.04099#6JC2 |
| Local frame | 3CDAJV79S0 | 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.17004#JYQK |
| Local functional inequalities | M3TV4K9QQH | 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.05204#ZS3I |
| local Gale duality | E1R0KM18N2 | 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#7PU6 |
| Local Gan–Gross–Prasad conjecture | MK3FC0AAXY | statement | open | Wikipedia Gan–Gross–Prasad conjecture#7D8M |
| Local Gan–Gross–Prasad conjecture | ZXEJZG9S8C | statement | open | Wikipedia Gan–Gross–Prasad conjecture#6AD0 |
| Local gauge invariance | VMQ1HMAEDJ | unknown | open | Wikipedia Gauge theory#82F4 |
| Local Gauss-sum bounds | 39WR6HB1SS | 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.22345#CVZ3 |
| Local Gaussian rejection limit | 8W3MR6YPRZ | 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.21301#CIW8 |
| Local geometry near the local mode; see also Lemma 5 | 4BX2W3RAXY | 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.01050#55CK |
| Local Gowers uniformity norm | Q8HYHXGDPD | 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.20522#UJT6 |
| local graphs | Q5XPP6SHBE | unknown | open | mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > local graphs |
| Local graphs and their differences | 2VVKEMWKA7 | 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.00490#I491 |
| Local hardness from directional derivative bounds | JRYGEBK58K | 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#EP6J |
| Local heat estimates and cutoffs | VNYDZG631A | 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.05204#YYCP |
| local heights away from $p$ | X85QWY3CFN | 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.40207#JECJ |
| Local helper implementation and weighted likelihood matching | SB89NAJA3Z | 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.09472#UGFW |
| Local hidden-variable theory | ZBRZFTNS6Y | definition | open | Wikipedia Local hidden-variable theory, Wikidata Q17098572 |
| Local Hilbert specialization | 3A81RHY4QD | 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.03988#Z78Q |
| Local holonomy group | ZC0H9DRGMV | unknown | open | Wikipedia Holonomy#321I |
| local homeomorphism | 7WSCQ72M8S | definition | open | Wikidata Q1052761, nLab local homeomorphism, Wikipedia Local homeomorphism |
| Local identifiability under a sensitivity condition | GESNAET0HF | 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#YH9C |