高阶

边界粒子法在应用数学中，边界粒子法（BPM）是一种仅有边界的无网格（无网格）配位技术，即在非均质偏微分方程的数值解中不需要内部节点。数值实验表明，BPM...

统一（计算机科学）在逻辑学和计算机科学中，统一是解决符号表达式之间方程的一个算法过程。根据哪些表达式（也叫术语）允许出现在方程组中（也叫统一问题）...

简介HOL（高阶逻辑）表示一个使用类似（高阶）逻辑和实现策略的交互式定理证明系统家族。这个系列的系统遵循LCF的方法，因为它们被实现为一个库，该库定义了...