A computational model for multi-variable differential calculus

DOI10.1016/J.IC.2012.11.006zbMath1271.03061OpenAlexW2030347790MaRDI QIDQ1951598

Abbas Edalat, Dirk Pattinson, André Lieutier

Publication date: 6 June 2013

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2012.11.006

zbMATH Keywords

minimal surfacecomputabilitydomain theoryClarke gradientL-derivativeGreen's theoremdata typeeffective structureinterval-valued path integration

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Integration of real functions of several variables: length, area, volume (26B15) Higher-type and set recursion theory (03D65) Computation over the reals, computable analysis (03D78)

Related Items (3)

Domain theoretic second-order Euler's method for solving initial value problems ⋮ Recursive solution of initial value problems with temporal discretization ⋮ A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations

This page was built for publication: A computational model for multi-variable differential calculus