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 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 1101–1200 of 1911.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Local coefficients and automorphism twists | ATRJ7BV76C | 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.36444#PMX8 |
| Local coefficients over finite global dimension | Y98FEB1A7T | 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.36444#HPVL |
| local cohomology | EK2KHSYWTG | unknown | open | Wikidata Q6664297, EoM Local_cohomology |
| Local color reduction | WF0E54B9PG | 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.06081#Y7JD |
| Local compactness | MHW067E21T | 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.09001#I6V3 |
| Local comparison | R0WREY2QAN | 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.01299#EA49 |
| Local comparison at $D_4$ | B9KVWT0YCP | 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.37615#EYY8 |
| Local comparison principle | H617A432YH | 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 1209.5343#DAQW |
| Local completeness | REGMH9E1Z4 | 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.26996#L8GN |
| Local complex and local acyclicity | RR4H9HNKRC | 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.28028#ZY97 |
| local concentration inequality | EFZDP5TD93 | 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.28518#XWSB |
| Local conditional information cost | 5XGVEV9N8F | 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.38228#G9J5 |
| Local conformal radius | H65H0AN411 | 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.33552#VCGV |
| Local consistency error for the reflected scheme | DEGNCBAA9F | 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.29524#LNDJ |
| Local constancy of parameters | BF7BMHHMR0 | 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.28454#N58O |
| Local constant Fr\'echet regression | T48XNYQWF8 | 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#NESB |
| 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 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 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 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 diffeomorphism | 9PAVFS0NB7 | unknown | open | Wikidata Q2276721, nLab 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 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 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 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 | unknown | open | Wikidata Q1868517, MathWorld LocalField, nLab local field |
| 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 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 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 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 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 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 homeomorphism | 7WSCQ72M8S | unknown | open | Wikidata Q1052761, nLab 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 |
| Local impulse ramp and conditional-variance response | ZH21NXWAD6 | 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.25545#EEGQ |
| local incidence rules | GMA4H94PRR | 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.14099#W5N7 |
| Local index formula | 1HZKX8XV10 | 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.16931#98XE |
| Local inequality | E5ZR8BHJ7A | 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.24931#XQ0K |
| Local inputs | 34QXVEESXN | 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#KGJZ |
| Local internal block frame | CBFBWN108M | 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.00448#0NBP |
| Local interval probabilities | BE8C0CVPWE | 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#LBR6 |
| Local inverse risk and conditional approximate-ERM recovery | T7XFPBCR90 | 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#LH0J |