Skip navigation
Skip navigation

A computational model for multi-variable differential calculus

Edalat, Abbas; Lieutier, Andre; Pattinson, Dirk

Description

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
URI: http://hdl.handle.net/1885/65945
Source: Information and Computation
DOI: 10.1016/j.ic.2012.11.006

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator