Drittmittelprojekt
Titel:
filib++ Fast Intervla Library for C++
Projektleitung an der Universität Würzburg:
Beteiligte Wissenschaftlerinnen und Wissenschaftler:
Kurzbeschreibung:
http://www-info2.informatik.uni-wuerzburg.de/staff/wvg/Public/filib++.html
Schlagworte:
Rechnerarithmetik
Intervallrechnung
Laufzeit:
seit 03.1999
Förderinstitution:
Landeshaushalt Wissenschaftsministerium
Publikationen:
- W. Hofschuster, W. Krämer, M. Lerch, G. Tischler, J. Wolff v. Gudenberg.
(accepted 2004). filib++ a Fast Interval Library Supporting Containment Computations. Transactions on Mathematical Software, 2005, (Wissenschaftl. Artikel)
- W. Krämer, J. Wolff v. Gudenberg.
(2003). Extended Interval Power Function. Reliable Computing, 2003, (Wissenschaftl. Artikel)
- M. Lerch, J. Wolff v. Gudenberg.
(2001). fi_lib++ Specification Implementation and Test of a Library for Extended Interval Arithmetic. In P. Kornerup(Hrsg.), RNC4 Fourth Real Numbers and Computers (111-124). Dagstuhl: P. Kornerup (ed.) RNC4 Fourth Real Numbers and Computers, p.~111-124, 2000, Online Proceedings RNC 4,. (Tagungsband)
- J. Wolff v. Gudenberg.
(2004). OOP and Interval Arithmetic - Language Support and Libraries. In R. Alt, A. Frommer, B. Kearfott, W. Luther(Hrsg.), Numerical Software with Result Verification. (1-15). Berlin: Springer Lecture Notes in Computer Science.. (Tagungsband)
- M. Lerch, G. Tischler, J. Wolff v. Gudenberg.
(2001). fi_lib++ Interval Library
Specification and Reference Manual. Inst. f. Informatik, Universität Würzburg, TR 279,.
- W. Hofschuster, W. Krämer, M. Lerch, G. Tischler, J. Wolff v. Gudenberg.
(2001). The Interval Library fi_lib++ 2.0
Design, Features and Sample Programs. Preprint 2001/4, Universität Wuppertal, Dec 2001.
Links:
Homepage
Publikationen
software