نتایج جستجو برای: refinements

تعداد نتایج: 6572  

Journal: :Mediterranean Journal of Mathematics 2017

Journal: :Nihon Kessho Gakkaishi 1999

Journal: :Poincare Journal of Analysis and Applications 2014

Journal: :Fundamenta Mathematicae 1971

Journal: :Demonstratio Mathematica 1995

Journal: :Plastic and Reconstructive Surgery 2019

Journal: :Probability Theory and Related Fields 2006

In this   paper,  we   present  some  refinements  of the   famous Young  type  inequality.   As  application  of   our   result, we  obtain  some  matrix inequalities   for   the  Hilbert-Schmidt norm  and   the  trace   norm. The results    obtained   in  this  paper  can  be   viewed   as  refinement  of  the   derived  results   by  H.  Kai  [Young  type  inequalities  for matrices,  J.  Ea...

Journal: :Logical Methods in Computer Science 2012
Robert Atkey Patricia Johann Neil Ghani

Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information. For example, the N-indexed type of vectors refines lists by their lengths. Other data types may be refined in similar ways, but programmers must produce ...

Journal: :Journal of Mathematical Analysis and Applications 2008

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید