I take the central task of theoretical computing science (TCS) to be the construction of mathematical models of computational phenomena. Such models provide us with a deeper understanding of the nature of computation and representation. For example,
Welcome to the TOMLAB LGO User’s Guide TOMLAB LGO includes the LGO solver from Pint′er Consulting Services and an interface to MATLAB by MathWorks’ The Lipschitz Continuous Global Optimizer LGO solver suite serves for the analysis and global solutio