Skip navigation
Skip navigation
Open Research will be down for maintenance between 8:00 and 8:15 am on Tuesday, December 1 2020.

A computational model for multi-variable differential calculus

Edalat, Abbas; Lieutier, Andre; Pattinson, Dirk


We develop a domain-theoretic computational model for multi-variable differential calculus, which for the first time gives rise to data types for piecewise differentiable or more generally Lipschitz functions, by constructing an effectively given continuous Scott domain for real-valued Lipschitz functions on finite dimensional Euclidean spaces. The model for real-valued Lipschitz functions of n variables is built as a sub-domain of the product of two domains by tupling together consistent...[Show more]

CollectionsANU Research Publications
Date published: 2013
Type: Journal article
Source: Information and Computation
DOI: 10.1016/j.ic.2012.11.006


File Description SizeFormat Image
01_Edalat_A_computational_model_for_2013.pdf350.17 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator