Differentiation on interval

DOI10.2478/forma-2023-0002OpenAlexW4387107249MaRDI QIDQ6071619

Noboru Endou

Publication date: 28 November 2023

Published in: Formalized Mathematics (Search for Journal in Brave)

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)

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Relationship between the Riemann and Lebesgue integrals
• Improper integral. I
• Improper integral. II
• Formalization of real analysis: a survey of proof assistants and libraries
• Mizar: State-of-the-art and Beyond
• Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
• Unnamed Item
• Unnamed Item

This page was built for publication: Differentiation on interval