Differentiation in logical form

MaRDI QIDQ5144690zbMATH OpenFDO

Authors Mehrdad Maleki, Abbas Edalat

Publication date 19 January 2021

Full work available at URL http://dl.acm.org/citation.cfm?id=3330078

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24)

Recommendations

• A continuous derivative for real-valued functions
• Clarke's generalized gradient and Edalat's L-derivative
• A Continuous Derivative for Real-Valued Functions
• A differential operator and weak topology for Lipschitz maps
• Continuous subdifferential approximation and its construction

Cited in

(4)

• Differential calculus with imprecise input and its logical framework
• A continuous derivative for real-valued functions
• A Continuous Derivative for Real-Valued Functions
• A differential operator and weak topology for Lipschitz maps

This page was built for publication: Differentiation in logical form

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