The Bernstein algorithm. Zbl 0829.65017
Garloff, Jürgen |
|
1993
|
Cheap and tight bounds: The recent result by E. Hansen can be made more efficient. Zbl 0830.65019
Rohn, Jiří |
|
1993
|
On controlled solution set of interval algebraic systems. Zbl 0829.65044
Shary, Sergey P. |
|
1992
|
Optimal solution of interval linear systems is intractable (NP-hard). Zbl 0829.65032
Kreinovich, Vladik; Lakeyev, Anatoly V.; Noskov, Sergey I. |
|
1993
|
Automatically verified reasoning with both intervals and probability density functions. Zbl 0829.65141
Berleant, Daniel |
|
1993
|
A review of preconditioners for the interval Gauss-Seidel method. Zbl 0835.65065
Kearfott, R. Baker; Hu, Chenyi; Novoa, Manuel III |
|
1991
|
Optimal solution of interval linear algebraic systems. I. Zbl 0829.65038
Shary, Sergey P. |
|
1991
|
Interval spanning trees problem: Solvability and computational complexity. Zbl 0833.68097
Kozina, Galina L.; Perepelitsa, Vitaly A. |
|
1994
|
Parallel algorithms for global optimization. Zbl 0829.65080
Henriksen, Tom; Madsen, Kaj |
|
1992
|
Use of a real-valued local minimum in parallel interval global optimization. Zbl 0829.65081
Caprani, Ole; Godthaab, Brian; Madsen, Kaj |
|
1993
|
UniCalc, a novel approach to solving systems of algebraic equations. Zbl 0829.65067
Babichev, A. B.; Kadyrova, O. B.; Kashevarova, T. P.; Leshchenko, A. S.; Semenov, A. L. |
|
1993
|
A linear-time algorithm that locates local extrema of a function of one variable from interval measurement results. Zbl 0829.65085
Villaverde, Karen; Kreinovich, Vladik |
|
1993
|
Extended interval arithmetic in IEEE floating-point environment. Zbl 0839.65061
Popova, Evgeniya D. |
|
1994
|
Guaranteed nonlinear parameter estimation via interval computations. Zbl 0829.65143
Jaulin, Luc; Walter, Eric |
|
1993
|
Methodologies for tolerance intervals. Zbl 0829.65083
Kristinsdottir, Birna P.; Zabinsky, Zelda B.; Csendes, Tibor; Tuttle, Mark E. |
|
1993
|
Solving the tolerance problem for interval linear systems. Zbl 0831.65047
Shary, Sergey P. |
|
1994
|
Enclosures for solutions of parameter-dependent nonlinear elliptic boundary value problems: Theory and implementation on a parallel computer. Zbl 0833.65134
Plum, Michael |
|
1994
|
Interval statistics. Zbl 0829.65140
Orlov, Alexander I. |
|
1992
|
A new class of algorithms for optimal solution of interval linear systems. Zbl 0829.65039
Shary, Sergey P. |
|
1992
|
INTLIB: A portable Fortran-77 elementary function library. Zbl 0829.65147
Kearfott, Baker; Dawande, Milind; Du, Kaisheng; Hu, Chenyi |
|
1992
|
The VPI software package for variable precision interval arithmetic. Zbl 0829.65150
Ely, Jeffrey S. |
|
1993
|
An experimental interval arithmetic package in Maple. Zbl 0829.65149
Connell, Amanda E.; Corless, Robert M. |
|
1993
|
Verified calculation of the nodes and weights for Gaussian quadrature formulas. Zbl 0829.65025
Storck, Ulrike |
|
1993
|
On some two-sided methods for solving systems of ordinary differential equations. Zbl 0829.65108
Dobronets, Boris S. |
|
1992
|
Numerical verifications of solutions for nonlinear hyperbolic equations. Zbl 0834.65095
Nakao, Mitsuhiro T. |
|
1994
|
Parallel interval global optimization and its implementation in C++. Zbl 0829.65084
Leclerc, Anthony |
|
1993
|
Precise zeros of analytic functions using interval arithmetic. Zbl 0829.65063
Schaefer, Mark J. |
|
1993
|
Interval valued fuzzy sets and fuzzy connectives. Zbl 0834.68072
Turksen, I. Burhan |
|
1993
|
A computer aided existence and uniqueness proof for an inverse matrix eigenvalue problem. Zbl 0834.65027
Alefeld, Götz; Mayer, Günter |
|
1994
|
Parallel algorithms for interval computations: An introduction. Zbl 0835.65067
Kreinovich, Vladik; Bernat, Andrew |
|
1994
|
Solving large systems of nonlinear constraints with application to data modeling. Zbl 0829.65007
Hager, Gregory D. |
|
1993
|
Ellipsoidal estimates for a solution of a system of differential equations. Zbl 0829.65110
Filippov, A. F. |
|
1992
|
Parallel computers. Estimate errors caused by imprecise data. Zbl 0829.65060
Kreinovich, Vladik; Bernat, Andrew; Villa, Elsa; Mariscal, Yvonne |
|
1991
|
Some questions of application of interval mathematics in parameter estimation and decision making. Zbl 0829.65142
Voshchinin, A. P. |
|
1992
|
Interval discrete models and multiobjectivity. Complexity estimates. Zbl 0833.90119
Perepelitsa, Vitali A.; Kozina, Galina L. |
|
1993
|
Interval arithmetic in Mathematica. Zbl 0829.65061
Keiper, Jerry B. |
|
1993
|
On compatibility of linear tolerance problem. Zbl 0835.65064
Shary, Sergey P. |
|
1991
|
Interval methods based on a posteriori estimates. Zbl 0829.65064
Dobronets, Boris S. |
|
1992
|
Error auto-correction in rational approximation. Zbl 0829.65008
Litvinov, Grigory L. |
|
1992
|
On the presentation of ranges of monotone functions using interval arithmetic. Zbl 0829.65014
Markov, Svetoslav M. |
|
1992
|
Direct sparse interval hull computations for thin non-\(M\)-matrices. Zbl 0829.65045
Alvarado, Fernando L.; Wang, Zian |
|
1993
|
On the non-monotonic behaviour of event calculus for deriving maximal time intervals. Zbl 0836.90116
Cervesato, Iliano; Montanari, Angelo; Provetti, Alessandro |
|
1993
|
Some interpolation problems involving interval data. Zbl 0829.65004
Markov, Svetoslav M. |
|
1993
|
Application of a parallel interval Newton/generalized bisection algorithm to equation-based chemical process flowsheeting. Zbl 0829.65069
Schnepper, Carol A.; Stadtherr, Mark A. |
|
1993
|
Parallel hardware designs for correctly rounded elementary functions. Zbl 0829.65019
Schulte, Michael J.; Swartzlander, Earl E. jun. |
|
1993
|
Guaranteed intervals for Kolmogorov’s theorem (and their possible relation to neural networks). Zbl 0831.03033
Nakamura, Mutsumi; Mines, Ray; Kreinovich, Vladik |
|
1993
|
Inclusion of the solution for large linear systems with \(M\)-matrix. Zbl 0829.65031
Rump, Siegfried M. |
|
1992
|
Interval estimates for closure-phase and closure-amplitude imaging in radio astronomy. Zbl 0829.65136
Kreinovich, Vladik; Bernat, Andrew; Kosheleva, Olga; Finkelstein, Andrei |
|
1992
|
Programming language support for scientific computation. Zbl 0850.68125
Wolff von Gudenberg, Jürgen |
|
1992
|
A preconditioner selection heuristic for efficient iteration with decomposition of arithmetic expressions for nonlinear algebraic systems. Zbl 0829.65066
Kearfott, R. Baker; Shi, Xiaofa |
|
1993
|
On some optimal inclusion approximations by disks. Zbl 0829.65029
Petković, Ljiljana D.; Trajković, Miroslav |
|
1993
|
Computing zeros of functions using generalized interval arithmetic. Zbl 0829.65068
Hansen, Eldon R. |
|
1993
|
Rounding of floating point intervals. Zbl 0838.65046
Daumas, Marc; Matula, David W. |
|
1994
|
Computation of standard interval functions in multiple-precision interval arithmetic. Zbl 0831.65019
Luther, Wolfram; Otten, Werner |
|
1994
|
Interval spanning trees problem: Solvability and computational complexity. Zbl 0833.68097
Kozina, Galina L.; Perepelitsa, Vitaly A. |
|
1994
|
Extended interval arithmetic in IEEE floating-point environment. Zbl 0839.65061
Popova, Evgeniya D. |
|
1994
|
Solving the tolerance problem for interval linear systems. Zbl 0831.65047
Shary, Sergey P. |
|
1994
|
Enclosures for solutions of parameter-dependent nonlinear elliptic boundary value problems: Theory and implementation on a parallel computer. Zbl 0833.65134
Plum, Michael |
|
1994
|
Numerical verifications of solutions for nonlinear hyperbolic equations. Zbl 0834.65095
Nakao, Mitsuhiro T. |
|
1994
|
A computer aided existence and uniqueness proof for an inverse matrix eigenvalue problem. Zbl 0834.65027
Alefeld, Götz; Mayer, Günter |
|
1994
|
Parallel algorithms for interval computations: An introduction. Zbl 0835.65067
Kreinovich, Vladik; Bernat, Andrew |
|
1994
|
Rounding of floating point intervals. Zbl 0838.65046
Daumas, Marc; Matula, David W. |
|
1994
|
Computation of standard interval functions in multiple-precision interval arithmetic. Zbl 0831.65019
Luther, Wolfram; Otten, Werner |
|
1994
|
The Bernstein algorithm. Zbl 0829.65017
Garloff, Jürgen |
|
1993
|
Cheap and tight bounds: The recent result by E. Hansen can be made more efficient. Zbl 0830.65019
Rohn, Jiří |
|
1993
|
Optimal solution of interval linear systems is intractable (NP-hard). Zbl 0829.65032
Kreinovich, Vladik; Lakeyev, Anatoly V.; Noskov, Sergey I. |
|
1993
|
Automatically verified reasoning with both intervals and probability density functions. Zbl 0829.65141
Berleant, Daniel |
|
1993
|
Use of a real-valued local minimum in parallel interval global optimization. Zbl 0829.65081
Caprani, Ole; Godthaab, Brian; Madsen, Kaj |
|
1993
|
UniCalc, a novel approach to solving systems of algebraic equations. Zbl 0829.65067
Babichev, A. B.; Kadyrova, O. B.; Kashevarova, T. P.; Leshchenko, A. S.; Semenov, A. L. |
|
1993
|
A linear-time algorithm that locates local extrema of a function of one variable from interval measurement results. Zbl 0829.65085
Villaverde, Karen; Kreinovich, Vladik |
|
1993
|
Guaranteed nonlinear parameter estimation via interval computations. Zbl 0829.65143
Jaulin, Luc; Walter, Eric |
|
1993
|
Methodologies for tolerance intervals. Zbl 0829.65083
Kristinsdottir, Birna P.; Zabinsky, Zelda B.; Csendes, Tibor; Tuttle, Mark E. |
|
1993
|
The VPI software package for variable precision interval arithmetic. Zbl 0829.65150
Ely, Jeffrey S. |
|
1993
|
An experimental interval arithmetic package in Maple. Zbl 0829.65149
Connell, Amanda E.; Corless, Robert M. |
|
1993
|
Verified calculation of the nodes and weights for Gaussian quadrature formulas. Zbl 0829.65025
Storck, Ulrike |
|
1993
|
Parallel interval global optimization and its implementation in C++. Zbl 0829.65084
Leclerc, Anthony |
|
1993
|
Precise zeros of analytic functions using interval arithmetic. Zbl 0829.65063
Schaefer, Mark J. |
|
1993
|
Interval valued fuzzy sets and fuzzy connectives. Zbl 0834.68072
Turksen, I. Burhan |
|
1993
|
Solving large systems of nonlinear constraints with application to data modeling. Zbl 0829.65007
Hager, Gregory D. |
|
1993
|
Interval discrete models and multiobjectivity. Complexity estimates. Zbl 0833.90119
Perepelitsa, Vitali A.; Kozina, Galina L. |
|
1993
|
Interval arithmetic in Mathematica. Zbl 0829.65061
Keiper, Jerry B. |
|
1993
|
Direct sparse interval hull computations for thin non-\(M\)-matrices. Zbl 0829.65045
Alvarado, Fernando L.; Wang, Zian |
|
1993
|
On the non-monotonic behaviour of event calculus for deriving maximal time intervals. Zbl 0836.90116
Cervesato, Iliano; Montanari, Angelo; Provetti, Alessandro |
|
1993
|
Some interpolation problems involving interval data. Zbl 0829.65004
Markov, Svetoslav M. |
|
1993
|
Application of a parallel interval Newton/generalized bisection algorithm to equation-based chemical process flowsheeting. Zbl 0829.65069
Schnepper, Carol A.; Stadtherr, Mark A. |
|
1993
|
Parallel hardware designs for correctly rounded elementary functions. Zbl 0829.65019
Schulte, Michael J.; Swartzlander, Earl E. jun. |
|
1993
|
Guaranteed intervals for Kolmogorov’s theorem (and their possible relation to neural networks). Zbl 0831.03033
Nakamura, Mutsumi; Mines, Ray; Kreinovich, Vladik |
|
1993
|
A preconditioner selection heuristic for efficient iteration with decomposition of arithmetic expressions for nonlinear algebraic systems. Zbl 0829.65066
Kearfott, R. Baker; Shi, Xiaofa |
|
1993
|
On some optimal inclusion approximations by disks. Zbl 0829.65029
Petković, Ljiljana D.; Trajković, Miroslav |
|
1993
|
Computing zeros of functions using generalized interval arithmetic. Zbl 0829.65068
Hansen, Eldon R. |
|
1993
|
On controlled solution set of interval algebraic systems. Zbl 0829.65044
Shary, Sergey P. |
|
1992
|
Parallel algorithms for global optimization. Zbl 0829.65080
Henriksen, Tom; Madsen, Kaj |
|
1992
|
Interval statistics. Zbl 0829.65140
Orlov, Alexander I. |
|
1992
|
A new class of algorithms for optimal solution of interval linear systems. Zbl 0829.65039
Shary, Sergey P. |
|
1992
|
INTLIB: A portable Fortran-77 elementary function library. Zbl 0829.65147
Kearfott, Baker; Dawande, Milind; Du, Kaisheng; Hu, Chenyi |
|
1992
|
On some two-sided methods for solving systems of ordinary differential equations. Zbl 0829.65108
Dobronets, Boris S. |
|
1992
|
Ellipsoidal estimates for a solution of a system of differential equations. Zbl 0829.65110
Filippov, A. F. |
|
1992
|
Some questions of application of interval mathematics in parameter estimation and decision making. Zbl 0829.65142
Voshchinin, A. P. |
|
1992
|
Interval methods based on a posteriori estimates. Zbl 0829.65064
Dobronets, Boris S. |
|
1992
|
Error auto-correction in rational approximation. Zbl 0829.65008
Litvinov, Grigory L. |
|
1992
|
On the presentation of ranges of monotone functions using interval arithmetic. Zbl 0829.65014
Markov, Svetoslav M. |
|
1992
|
Inclusion of the solution for large linear systems with \(M\)-matrix. Zbl 0829.65031
Rump, Siegfried M. |
|
1992
|
Interval estimates for closure-phase and closure-amplitude imaging in radio astronomy. Zbl 0829.65136
Kreinovich, Vladik; Bernat, Andrew; Kosheleva, Olga; Finkelstein, Andrei |
|
1992
|
Programming language support for scientific computation. Zbl 0850.68125
Wolff von Gudenberg, Jürgen |
|
1992
|
A review of preconditioners for the interval Gauss-Seidel method. Zbl 0835.65065
Kearfott, R. Baker; Hu, Chenyi; Novoa, Manuel III |
|
1991
|
Optimal solution of interval linear algebraic systems. I. Zbl 0829.65038
Shary, Sergey P. |
|
1991
|
Parallel computers. Estimate errors caused by imprecise data. Zbl 0829.65060
Kreinovich, Vladik; Bernat, Andrew; Villa, Elsa; Mariscal, Yvonne |
|
1991
|
On compatibility of linear tolerance problem. Zbl 0835.65064
Shary, Sergey P. |
|
1991
|