A minimal base of implicative semilattices is given.
给出了蕴涵半格(L;∧,*,1)的一个极小方程基(1)(y*z)*((z*x)*(y*x))=1,(2)(x*y)*((y*x)*x)=(y*x)*((x*y)*y),(3)x*(y*z)=(x∧y)*z,(4)(y*1)*x=x。
The minimal degree Newton basis for Lagrange interpolation on a lower subset of a tensor product grid that is proposed by Gasca and Sauer was extended to a tower subset of the grid.
将关于张量积格点的lower子集上Lagrange插值问题的极小次数牛顿基推广到tower节点子集上。