Abstract
In this paper we present a library of transcendental functions such as exp, log, cos, sin and tan and also an automated continuity checker for real valued functions, both done using PVS. Our aim is to develop theorem proving support for computer algebra systems, and other applications which rely on mathematical analysis. The focus of the paper is on the actual development done in PVS.
Cite
CITATION STYLE
Gottliebsen, H. (2000). Transcendental functions and continuity checking in pvs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1869, pp. 197–214). Springer Verlag. https://doi.org/10.1007/3-540-44659-1_13
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
