-
1
-
-
52049121965
-
-
M. Schnurr, Steigungen höherer Ordnung zur verifizierten globalen Optimierung, Ph.D. Thesis, Universität Karlsruhe, 2007. .
-
M. Schnurr, Steigungen höherer Ordnung zur verifizierten globalen Optimierung, Ph.D. Thesis, Universität Karlsruhe, 2007. .
-
-
-
-
2
-
-
0004293209
-
-
Prentice Hall, Englewood Cliffs, NJ
-
Moore R.E. Interval Analysis (1966), Prentice Hall, Englewood Cliffs, NJ
-
(1966)
Interval Analysis
-
-
Moore, R.E.1
-
4
-
-
3042828486
-
A comparison of the Moore and Miranda existence tests
-
Frommer A., Lang B., and Schnurr M. A comparison of the Moore and Miranda existence tests. Computing 72 (2004) 349-354
-
(2004)
Computing
, vol.72
, pp. 349-354
-
-
Frommer, A.1
Lang, B.2
Schnurr, M.3
-
5
-
-
33847239152
-
Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests
-
Goldsztejn A. Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests. Computing 79 (2007) 53-60
-
(2007)
Computing
, vol.79
, pp. 53-60
-
-
Goldsztejn, A.1
-
6
-
-
0000805856
-
A test for existence of solutions to nonlinear systems
-
Moore R.E. A test for existence of solutions to nonlinear systems. SIAM J. Numer. Anal. 14 4 (1977) 611-615
-
(1977)
SIAM J. Numer. Anal.
, vol.14
, Issue.4
, pp. 611-615
-
-
Moore, R.E.1
-
7
-
-
52049100513
-
A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data
-
Schäfer U., and Schnurr M. A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data. J. Ind. Manag. Optim. 2 4 (2006) 425-434
-
(2006)
J. Ind. Manag. Optim.
, vol.2
, Issue.4
, pp. 425-434
-
-
Schäfer, U.1
Schnurr, M.2
-
8
-
-
17444391690
-
On the proofs of some statements concerning the theorems of Kantorovich, Moore, and Miranda
-
Schnurr M. On the proofs of some statements concerning the theorems of Kantorovich, Moore, and Miranda. Reliab. Comput. 11 (2005) 77-85
-
(2005)
Reliab. Comput.
, vol.11
, pp. 77-85
-
-
Schnurr, M.1
-
12
-
-
0037739125
-
A nonsmooth global optimization technique using slopes - the one-dimensional case
-
Ratz D. A nonsmooth global optimization technique using slopes - the one-dimensional case. J. Global Optim. 14 (1999) 365-393
-
(1999)
J. Global Optim.
, vol.14
, pp. 365-393
-
-
Ratz, D.1
-
13
-
-
52049093582
-
-
M. Schnurr, A second-order pruning step for verified global optimization, Journal of Global Optimization, in press.
-
M. Schnurr, A second-order pruning step for verified global optimization, Journal of Global Optimization, in press.
-
-
-
-
14
-
-
0003230635
-
Automatic Differentiation Techniques and Applications
-
Springer, Berlin
-
Rall L.B. Automatic Differentiation Techniques and Applications. Lecture Notes in Computer Science vol. 120 (1981), Springer, Berlin
-
(1981)
Lecture Notes in Computer Science
, vol.120
-
-
Rall, L.B.1
-
15
-
-
0022077080
-
Interval slopes for rational functions and associated centered forms
-
Krawczyk R., and Neumaier A. Interval slopes for rational functions and associated centered forms. SIAM J. Numer. Anal. 22 (1985) 604-616
-
(1985)
SIAM J. Numer. Anal.
, vol.22
, pp. 604-616
-
-
Krawczyk, R.1
Neumaier, A.2
-
16
-
-
38249018456
-
On interval enclosures using slope arithmetic
-
Shen Z., and Wolfe M.A. On interval enclosures using slope arithmetic. Appl. Math. Comput. 39 (1990) 89-105
-
(1990)
Appl. Math. Comput.
, vol.39
, pp. 89-105
-
-
Shen, Z.1
Wolfe, M.A.2
-
17
-
-
0012336131
-
Use of interval slopes for the irrational part of factorable functions
-
Kolev L. Use of interval slopes for the irrational part of factorable functions. Reliab. Comput. 3 (1997) 83-93
-
(1997)
Reliab. Comput.
, vol.3
, pp. 83-93
-
-
Kolev, L.1
|