MC++

MC++ is a library that computes convex/concave bounds and Taylor models for enclosing the range of factorable functions. Factorable functions are those defined as a finite recursive composition of binary sums, binary products and univariate functions; this is an extremely inclusive class of functions containing nearly every function which can be represented finitely on a computer. The main applications of MC++ are in the area of deterministic global optimization as well as for the verified solution of nonlinear algebraic equations and ordinary differential equations (ODEs). MC++ is programmed in C++ and makes extensive use of class templates and operator overloading. Although less performant than source code tranformation, this approach offers great flexibility and is particularly well suited for proof-of-concept implementations. Moreover, it is perfectly adequate for many small- to medium-size problems. MC++ is the successor of libMC.