Elements of mathematical analysis in PVS
From MaRDI portal
Publication:6567709
Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Formalization of mathematics in connection with theorem provers (68V20) Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24) Foundations: limits and generalizations, elementary topology of the line (26A03)
Recommendations
Cites work
- scientific article; zbMATH DE number 2185690 (Why is no real title available?)
- scientific article; zbMATH DE number 234014 (Why is no real title available?)
- scientific article; zbMATH DE number 3256626 (Why is no real title available?)
- Constructing the real numbers in HOL
- IMPS: An interactive mathematical proof system
This page was built for publication: Elements of mathematical analysis in PVS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6567709)