Matlab集成的C代码VCP库,关于没有计算机环境,无法完成偏微分方程(PDE)解的计算机辅助存在证明的实现。然而,需要各种技术来估计在所有计算中出现的误差。关于PDE解的存在的计算机辅助证明需要数值精度和合理的计算时间。为此,引入了PDE验证计算(VCP)库作为用于PDE解决方案的计算机辅助存在证明的软件库。VCP库是由第一作者使用C++编程语言开发的。VCP库的矩阵类的一个功能是可以与基于策略的设计集成,例如,采用英特尔:registered:MKL的双数据类型进行高速近似计算,结合使用MPFR的高精度近似计算。此外,由于VCP库具有可扩展性,因此可以承受PDE的计算机辅助证明。VCP库包括矩阵类、牛顿法课程、Legendre基类(用于椭圆形PDE)、傅里叶级数类(用于延迟ODE)、Gauss-Legendre方法和隐式Runge-Kutta方法(用于ODE和抛物线PDE)。我们要求在VCP库中使用的库包括多精度浮点数库,这是用C++编程语言编写的具有保证精度的数值验证库。