Differentiation on interval

DOI10.2478/FORMA-2023-0002MaRDI QIDQ6071619zbMATH OpenOpenAlexFDO

Authors Noboru Endou

Publication date 28 November 2023

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2023-0002

zbMATH Keywords

chain ruledifferentiation on closed interval

Mathematics Subject Classification ID

One-variable calculus (26A06) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• scientific article; zbMATH DE number 3963099
• Differentiability of polynomials over reals
• Differentiation in normed spaces
• scientific article; zbMATH DE number 3960879
• Antiderivatives and integration

Cites work

• Formalization of real analysis: a survey of proof assistants and libraries
• Four decades of \textsc{Mizar}. Foreword
• scientific article; zbMATH DE number 1670741 (Why is no real title available?)
• scientific article; zbMATH DE number 3484308 (Why is no real title available?)
• Improper integral. I
• Improper integral. II
• Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
• Mizar: state-of-the-art and beyond
• Relationship between the Riemann and Lebesgue integrals
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(5)

• scientific article; zbMATH DE number 3877453 (Why is no real title available?)
• scientific article; zbMATH DE number 2015306 (Why is no real title available?)
• Antiderivatives and integration
• On the properties of curves and parametrization-independent isoperimetric inequality
• Classical isoperimetric theorem

This page was built for publication: Differentiation on interval

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