Differential calculus with imprecise input and its logical framework

DOI10.1007/978-3-319-89366-2_25MaRDI QIDQ1653008zbMATH OpenOpenAlexFDO

Authors Abbas Edalat, Mehrdad Maleki

Publication date 17 July 2018

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-89366-2_25

zbMATH Keywords

Clarke gradientdomain theoryexact computationimprecise input/outputinterval analysisLipschitz mapsStone duality

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35)

Recommendations

• Domain theory and differential calculus (functions of one variable)
• Differentiation in logical form
• A computational model for multi-variable differential calculus
• Domain theoretical differential calculi
• Foundations of Software Science and Computational Structures

This page was built for publication: Differential calculus with imprecise input and its logical framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1653008)