作者冻结神经网络给出的一个候选解，将其转化为显式的有限表示，然后使用区间算术对其方程残差给出严格的一致界，考虑了浮点舍入、傅里叶截断、混叠以及网格到连续统的误差。