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. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/3-540-44659-1_13 | TPHOLs |
Keywords | Field | DocType |
transcendental functions,mathematical analysis,actual development,computer algebra system,automated continuity checker,continuity checking,transcendental function,theorem proving,value function | Discrete mathematics,Computer science,Transcendental function,Automated theorem proving,Algorithm,Symbolic computation,Formal specification,Semantics of logic,Formal verification | Conference |
Volume | ISSN | ISBN |
1869 | 0302-9743 | 3-540-67863-8 |
Citations | PageRank | References |
8 | 0.84 | 4 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hanne Gottliebsen | 1 | 38 | 3.77 |