|
Article information
2010 , Volume 15, ¹ 1, p.7-13
Kearfott B., Nakao M., Neumaier A., Rump S., Shary S.P., Van Hentenryck P.
Standardized notation in interval analysis
A standard for the notation of the most used quantities and operators in interval analysis is proposed.
[full text]
Keywords: interval, interval analysis, verified computing, notation, standardization
Author(s):
Kearfott Baker
Professor
Office: University of Louisiana at Lafayette
Address: USA, Louisiana
E-mail: rbk@louisiana.edu
Nakao Mitsuhiro
Professor
Office: Kyushu University
Address: Japan, Fukuoka
E-mail: mtnakao@math.kyushu-u.ac.jp
Neumaier Arnold
Professor
Position: Professor
Office: University of Vienna
Address: Austria, Vienna, A-1090, Vienna
Phone Office: (431) 4277 50661
E-mail: Arnold.Neumaier@univie.ac.at
Rump Siegfried
Professor
Office: Institute for Reliable Computing, Hamburg University of Technology
Address: Germany, Hamburg, A-1090, Vienna
E-mail: rump@tu-harburg.de
Shary Sergey Petrovich
Dr. , Senior Scientist
Position: Leading research officer
Office: Institute of Computational Technologies SB RAS
Address: 630090, Russia, Novosibirsk, Ac. Lavrentiev ave, 6
Phone Office: (3832) 30 86 56
E-mail: shary@ict.nsc.ru
Van Hentenryck Pascal
Professor
Office: Computer Science Department, Brown University
Address: USA, Providence, Novosibirsk, Ac. Lavrentiev ave, 6
E-mail: pvh@cs.brown.edu
Bibliography link:
Kearfott B., Nakao M., Neumaier A., Rump S., Shary S.P., Van Hentenryck P. Standardized notation in interval analysis // Computational technologies. 2010. V. 15. ¹ 1. P. 7-13
|
