Kosheleva, Olga; Kreinovich, Vladik Error estimation for indirect measurements: Interval computation problem is (slightly) harder than a similar probabilistic computational problem. (English) Zbl 0942.65047 Reliab. Comput. 5, No. 1, 81-95 (1999). Reviewer: S.Markov (Sofia) MSC: 65G30 68Q17 65Y20 PDFBibTeX XMLCite \textit{O. Kosheleva} and \textit{V. Kreinovich}, Reliab. Comput. 5, No. 1, 81--95 (1999; Zbl 0942.65047) Full Text: DOI
Lerch, Michael; Wolff von Gudenberg, Jürgen Expression templates for dot product expressions. (English) Zbl 0936.65058 Reliab. Comput. 5, No. 1, 69-80 (1999). MSC: 65F30 65Y05 65G20 PDFBibTeX XMLCite \textit{M. Lerch} and \textit{J. Wolff von Gudenberg}, Reliab. Comput. 5, No. 1, 69--80 (1999; Zbl 0936.65058) Full Text: DOI
Heindl, Gerhard How to guarantee finite termination of verifying global optimization codes. (English) Zbl 0931.65061 Reliab. Comput. 5, No. 1, 63-68 (1999). Reviewer: Klaus Schittkowski (Bayreuth) MSC: 65K05 90C30 68Q25 65G30 PDFBibTeX XMLCite \textit{G. Heindl}, Reliab. Comput. 5, No. 1, 63--68 (1999; Zbl 0931.65061) Full Text: DOI
Funge, John Representing knowledge within the situation calculus using interval-valued epistemic fluents. (English) Zbl 0938.68844 Reliab. Comput. 5, No. 1, 35-61 (1999). MSC: 68T30 65G30 PDFBibTeX XMLCite \textit{J. Funge}, Reliab. Comput. 5, No. 1, 35--61 (1999; Zbl 0938.68844) Full Text: DOI
Zhang, Danqing; Li, Weiguo; Shen, Zuhe Solving underdetermined systems with interval methods. (English) Zbl 0945.65057 Reliab. Comput. 5, No. 1, 23-33 (1999). Reviewer: H.Ratschek (Düsseldorf) MSC: 65H10 65G30 PDFBibTeX XMLCite \textit{D. Zhang} et al., Reliab. Comput. 5, No. 1, 23--33 (1999; Zbl 0945.65057) Full Text: DOI
Berz, Martin; Makino, Kyoko New methods for high-dimensional verified quadrature. (English) Zbl 0947.65026 Reliab. Comput. 5, No. 1, 13-22 (1999). Reviewer: W.E.Smith (Kensington) MSC: 65D32 41A55 41A63 65G20 65G30 PDFBibTeX XMLCite \textit{M. Berz} and \textit{K. Makino}, Reliab. Comput. 5, No. 1, 13--22 (1999; Zbl 0947.65026) Full Text: DOI
Makino, Kyoko; Berz, Martin Efficient control of the dependency problem based on Taylor model methods. (English) Zbl 0936.65073 Reliab. Comput. 5, No. 1, 3-12 (1999). MSC: 65K05 90C30 65G20 65G30 PDFBibTeX XMLCite \textit{K. Makino} and \textit{M. Berz}, Reliab. Comput. 5, No. 1, 3--12 (1999; Zbl 0936.65073) Full Text: DOI
Zuhe, Shen (ed.); Kreinovich, Vladik (ed.) Special issue: Interval ’98, international conference, Nanjing, China, April 20–23, 1998. (English) Zbl 0929.00055 Reliab. Comput. 5, No. 1, 102 p. (1999). MSC: 00B25 65-06 PDFBibTeX XMLCite \textit{S. Zuhe} (ed.) and \textit{V. Kreinovich} (ed.), Reliab. Comput. 5, No. 1, 102~p. (1999; Zbl 0929.00055) Full Text: DOI