Differential Calculus with Imprecise Input and Its Logical Framework.

Abbas Edalat, Mehrdad Maleki

Browse the full FOSSACS paper archive.