Elements of mathematical analysis in PVS

DOI10.1007/BFB0105402zbMATH Open1543.68417MaRDI QIDQ6567709FDOQ6567709

Authors: Bruno Dutertre 

Publication date: 5 July 2024

Mathematics Subject Classification ID

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)

Cites Work

• Title not available (Why is that?)
• IMPS: An interactive mathematical proof system
• Title not available (Why is that?)
• Constructing the real numbers in HOL
• Title not available (Why is that?)

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)