Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic

David Lester; René Alt; Andreas Frommer; R Baker Kearfott; Wolfram Luther

Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic

David Lester, René Alt (Editor), Andreas Frommer (Editor), R Baker Kearfott (Editor), Wolfram Luther (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Numerical Software with Result Verification
Editors	René Alt, Andreas Frommer, R Baker Kearfott, Wolfram Luther
Publisher	Springer Nature
Pages	259-273
Number of pages	15
Volume	2991
ISBN (Print)	3-540-21260-4
Publication status	Published - 2003
Event	Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/dagstuhl/ns2003.html#Lester03http://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/Lester03.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/Lester03

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/dagstuhl/ns2003.html#Lester03http://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/Lester03.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/Lester03

Access to Document

Cite this

Lester, D., Alt, R. (Ed.), Frommer, A. (Ed.), Kearfott, R. B. (Ed.), & Luther, W. (Ed.) (2003). Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. In R. Alt, A. Frommer, R. B. Kearfott, & W. Luther (Eds.), Numerical Software with Result Verification (Vol. 2991, pp. 259-273). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/dagstuhl/ns2003.html#Lester03

@inproceedings{34af4f6ed7d048fd9d1ea77aad89619f,

title = "Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic",

author = "David Lester and Ren{\'e} Alt and Andreas Frommer and Kearfott, {R Baker} and Wolfram Luther",

year = "2003",

language = "English",

isbn = "3-540-21260-4",

volume = "2991",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "259--273",

editor = "Ren{\'e} Alt and Andreas Frommer and Kearfott, {R Baker} and Wolfram Luther",

booktitle = "Numerical Software with Result Verification",

address = "United States",

note = "Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/dagstuhl/ns2003.html#Lester03http://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/Lester03.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/Lester03",

}

Lester, D, Alt, R (ed.), Frommer, A (ed.), Kearfott, RB (ed.) & Luther, W (ed.) 2003, Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. in R Alt, A Frommer, RB Kearfott & W Luther (eds), Numerical Software with Result Verification. vol. 2991, Lecture Notes in Computer Science, Springer Nature, pp. 259-273, Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, 1/01/24. <http://dblp.uni-trier.de/db/conf/dagstuhl/ns2003.html#Lester03>

Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. / Lester, David; Alt, René (Editor); Frommer, Andreas (Editor) et al.
Numerical Software with Result Verification. ed. / René Alt; Andreas Frommer; R Baker Kearfott; Wolfram Luther. Vol. 2991 Springer Nature, 2003. p. 259-273 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding › Conference contribution

TY - GEN

T1 - Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic

AU - Lester, David

A2 - Alt, René

A2 - Frommer, Andreas

A2 - Kearfott, R Baker

A2 - Luther, Wolfram

A2 - Alt, René

A2 - Frommer, Andreas

A2 - Kearfott, R Baker

A2 - Luther, Wolfram

PY - 2003

Y1 - 2003

M3 - Conference contribution

SN - 3-540-21260-4

VL - 2991

T3 - Lecture Notes in Computer Science

SP - 259

EP - 273

BT - Numerical Software with Result Verification

PB - Springer Nature

T2 - Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers

Y2 - 1 January 1824

ER -