Output details
11 - Computer Science and Informatics
Imperial College London
A computational model for multi-variable differential calculus
<13>Some initial ideas from our FOSSACS05 paper were inadequate and even incorrect: many completely new concepts, constructions and proofs (such as b-cones, direction types and a totally new definition of co-axial points) are developed to extend earlier results to compact, convex set-valued L-derivatives and to construct a data-type for multi-variable differential calculus. This framework led to an algorithm to construct the inverse and implicit function theorem for Lipschitz maps, an algorithm for exact computation of second order Euler method for initial value problems, and a PCF language for differentiable functions 0utput[3]. Coauthor Andre Lieutier: senior industrialist at Dassault Systems.