共 19 条
[1]
Chiriaev D., 1998, Interval arithmetic specification
[2]
DWYER PS, 1951, LINEAR COMPUTATIONS
[3]
HASS J, 1995, ELECT RES ANNOUNCEME, V1, P95
[4]
HOLZMANN O, 1996, J RELIABLE COMPUTING, V2, P229
[5]
Hyvonen E, 1996, APPL OPTIMIZAT, V3, P169
[6]
Kearfott R.B., 1996, RIGOROUS GLOBAL SEAR
[8]
MARKOV S, 1999, DEV RELIABLE COMPUTI, P167
[9]
Moore R.E., 1966, INTERVAL ANAL
[10]
Moore R.E., 1979, STUDIES APPL NUMERIC