Towards vector calculus in exact real computation

Abstract

We describe work in progress towards Vector Calculus as abstract data type in imperative Exact Real Computation: Computability investigations yield natural representations for (k-times) continuously differentiable curves, scalar and vector and tensor fields rendering arithmetic as well as common differentiation and (line, volume, and surface) integration operators on polytopes computable.