MC公司++

MC++是一个计算凸凹边界和泰勒模型的库,用于封闭可分解函数的范围。可分解函数定义为二进制和、二元乘积和一元函数的有限递归组合;这是一个极其包容的函数类,几乎包含了在计算机上有限表示的所有函数。MC++主要应用于确定性全局优化以及非线性代数方程和常微分方程(ODEs)的验证解。MC++在C++中进行了大量的模板编程和重载。尽管性能不如源代码转换,但这种方法提供了极大的灵活性,特别适合于概念验证实现。此外,对于许多中小型问题来说,它是完全足够的。MC++是libMC的继承者。