{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:09:41Z","timestamp":1725487781989},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678632"},{"type":"electronic","value":"9783540446590"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44659-1_13","type":"book-chapter","created":{"date-parts":[[2007,7,21]],"date-time":"2007-07-21T13:40:26Z","timestamp":1185025226000},"page":"197-214","source":"Crossref","is-referenced-by-count":11,"title":["Transcendental Functions and Continuity Checking in PVS"],"prefix":"10.1007","author":[{"given":"Hanne","family":"Gottliebsen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Adams, A., Gottliebsen, H., Linton, S., Martin, U.: VSDITLU: a verified symbolic definite integral table look-up. Proc CADE 16, LNAI 1632, 112\u2013126, Springer 1999","DOI":"10.1007\/3-540-48660-7_8"},{"key":"13_CR2","unstructured":"Martin, U., Gottliebsen, H.: Computational logic support for differential equations and mathematical modelling. In preparation"},{"key":"13_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proc TPHOLS 9","author":"B. Dutertre","year":"1996","unstructured":"Dutertre, B.: Elements of Mathematical Analysis in PVS. Proc TPHOLS 9, LNCS 1125. Springer 1996."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Harrison, J.: Theorem Proving with the Real Numbers. Springer 1998.","DOI":"10.1007\/978-1-4471-1591-5"},{"key":"13_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/3-540-60275-5_65","volume-title":"Proc TPHOLS 8","author":"J. Harrison","year":"1995","unstructured":"Harrison, J.: Floating point verification in HOL. Proc TPHOLS 8, LNCS 971, 186\u2013199, Springer 1995"},{"key":"13_CR6","unstructured":"Shankar, N., Owre, S.: The Formal Semantics of PVS. Computer Science Laboratory, SRI International 1997"},{"key":"13_CR7","unstructured":"Shankar, N., Owre, S., Rushby, J. M., Stringer-Calvert, D. W. J.: PVS System Guide. Computer Science Laboratory, SRI International 1999"},{"key":"13_CR8","unstructured":"Shankar, N., Owre, S., Rushby, J. M., Stringer-Calvert, D. W. J.: PVS Language Reference. Computer Science Laboratory, SRI International 1999"},{"key":"13_CR9","unstructured":"Shankar, N., Owre, S., Rushby, J. M., Stringer-Calvert, D. W. J.: PVS Prover Guide. Computer Science Laboratory, SRI International 1999"}],"container-title":["Lecture Notes in Computer Science","Theorem Proving in Higher Order Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44659-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T01:36:47Z","timestamp":1550453807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44659-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678632","9783540446590"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-44659-1_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}