...
机译:凸多面体的精确加宽算子
Department of Mathematics, University of Parma, Italy;
abstract interpretation; widening operators; convex polyhedra;
机译:提供各种凸多面体形状的简单方程式:正则多面体和由晶体学上低折射率平面组成的多面体
机译:多面体的精确Minkowksi加和与多面体的精确有效分解为凸块
机译:多面体的精确Minkowksi加和与多面体的精确有效分解为凸块
机译:凸多面体的精确加宽运算符
机译:封闭凸锥上的正算子,Z算子,Lyapunov秩和线性博弈。
机译:关于局部凸空间上算子谱的备注
机译:凸多面体的精确加宽算子
机译:具有闭凸凸图和凸算子的映射的导数和Codifferentials