Transcendental Functions and Continuity Checking in PVS
Transcendental Functions and Continuity Checking in PVS
复制标题
PVS 中的超越函数和连续性检查
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
H. Gottliebsen
中科院分区：
文献类型：
--
作者：
H. Gottliebsen
在本文中，我们提出了一个超越函数，如exp，log，cos，sin和tan的库，也是一个自动连续性检查真实的值函数，都使用PVS。我们的目标是开发定理证明支持计算机代数系统，和其他应用程序依赖于数学分析。本文的重点是在PVS的实际发展。
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.