| Publication | Date of Publication | Type |
|---|
Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue
Applied Mathematical Modelling | 2022-12-21 | Paper |
Mathematically Rigorous Global Optimization and Fuzzy Optimization
Black Box Optimization, Machine Learning, and No-Free Lunch Theorems | 2021-09-30 | Paper |
A review of computation of mathematically rigorous bounds on optima of linear programs
Journal of Global Optimization | 2017-08-24 | Paper |
Some observations on exclusion regions in branch and bound algorithms
Journal of Global Optimization | 2015-06-22 | Paper |
On rigorous upper bounds to a global optimum
Journal of Global Optimization | 2014-07-04 | Paper |
Assessment of a non-adaptive deterministic global optimization algorithm for problems with low-dimensional non-convex subspaces
Optimization Methods \& Software | 2014-02-07 | Paper |
On smooth reformulations and direct non-smooth computations for minimax problems
Journal of Global Optimization | 2013-12-09 | Paper |
A general framework for convexity analysis in deterministic global optimization
Journal of Global Optimization | 2013-08-01 | Paper |
Interval computations, rigour and non-rigour in deterministic continuous global optimization
Optimization Methods \& Software | 2011-10-12 | Paper |
Erratum: Validated Linear Relaxations and Preprocessing: Some Experiments
SIAM Journal on Optimization | 2011-06-06 | Paper |
scientific article; zbMATH DE number 5775425 (Why is no real title available?)
| 2010-08-27 | Paper |
Global Optimization and Constraint Satisfaction
Lecture Notes in Computer Science | 2010-02-02 | Paper |
GlobSol user guide
Optimization Methods \& Software | 2009-09-18 | Paper |
Classical and modern numerical analysis. Theory, methods and practice.
| 2009-07-20 | Paper |
Introduction to Interval Analysis
| 2009-02-20 | Paper |
A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems
Computing | 2008-11-25 | Paper |
Numerical Software with Result Verification
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Formulation for reliable analysis of structural frames
Reliable Computing | 2007-03-06 | Paper |
Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization
Optimization Methods \& Software | 2007-02-14 | Paper |
Validated Linear Relaxations and Preprocessing: Some Experiments
SIAM Journal on Optimization | 2006-05-30 | Paper |
Beyond convex? global optimization is feasible only for convex objective functions: a theorem
Journal of Global Optimization | 2006-02-20 | Paper |
Validated constraints solving --- practicalities, pitfalls, and new developments
Reliable Computing | 2005-10-18 | Paper |
Errata and opinion to: An interval entropy penalty method for nonlinear gobal optimization
Reliable Computing | 2005-08-02 | Paper |
Slope intervals, generalized gradients, semigradients, slant derivatives, and csets
Reliable Computing | 2004-08-06 | Paper |
Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
SIAM Journal on Numerical Analysis | 2004-01-18 | Paper |
On stopping criteria in verified nonlinear systems or optimization algorithms
ACM Transactions on Mathematical Software | 2003-06-25 | Paper |
An example of singularity in nonlinear systems
Reliable Computing | 2003-06-17 | Paper |
Symbolic preconditioning with Taylor models: Some examples
Reliable Computing | 2003-04-28 | Paper |
Existence verification for singular and nonsmooth zeros of real nonlinear systems
Mathematics of Computation | 2003-02-19 | Paper |
Verifying topological indices for higher-order rank deficiencies
Journal of Complexity | 2002-09-30 | Paper |
On existence and uniqueness verification for non-smooth functions
Reliable Computing | 2002-08-21 | Paper |
Existence Verification for Singular Zeros of Complex Nonlinear Systems
SIAM Journal on Numerical Analysis | 2000-10-19 | Paper |
scientific article; zbMATH DE number 1440902 (Why is no real title available?)
| 2000-05-08 | Paper |
scientific article; zbMATH DE number 1397288 (Why is no real title available?)
| 2000-02-01 | Paper |
On proving existence of feasible points in equality constrained optimization problems
Mathematical Programming. Series A. Series B | 1999-06-28 | Paper |
Algorithm 681: INTBIS, a portable interval Newton/bisection package
ACM Transactions on Mathematical Software | 1998-03-23 | Paper |
Algorithm 763: INTERVAL_ARITHMETIC
ACM Transactions on Mathematical Software | 1998-01-28 | Paper |
A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
ACM Transactions on Mathematical Software | 1998-01-26 | Paper |
Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
ACM Transactions on Mathematical Software | 1998-01-25 | Paper |
Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems
SIAM Journal on Scientific Computing | 1997-10-01 | Paper |
Rigorous global search: continuous problems
Nonconvex Optimization and Its Applications | 1997-04-29 | Paper |
Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers
Computing | 1997-03-25 | Paper |
scientific article; zbMATH DE number 992812 (Why is no real title available?)
| 1997-03-18 | Paper |
scientific article; zbMATH DE number 970348 (Why is no real title available?)
| 1997-03-11 | Paper |
scientific article; zbMATH DE number 903752 (Why is no real title available?)
| 1996-11-11 | Paper |
scientific article; zbMATH DE number 903753 (Why is no real title available?)
| 1996-11-11 | Paper |
scientific article; zbMATH DE number 869748 (Why is no real title available?)
| 1996-08-22 | Paper |
scientific article; zbMATH DE number 869737 (Why is no real title available?)
| 1996-07-01 | Paper |
scientific article; zbMATH DE number 869736 (Why is no real title available?)
| 1996-05-29 | Paper |
scientific article; zbMATH DE number 845652 (Why is no real title available?)
| 1996-04-15 | Paper |
A general iterative sparse linear solver and its parallelization for interval Newton methods
Reliable Computing | 1996-02-01 | Paper |
Optimizing INTBIS on the CRAY Y-MP
Reliable Computing | 1996-02-01 | Paper |
scientific article; zbMATH DE number 802412 (Why is no real title available?)
| 1996-01-25 | Paper |
scientific article; zbMATH DE number 802419 (Why is no real title available?)
| 1996-01-21 | Paper |
scientific article; zbMATH DE number 802440 (Why is no real title available?)
| 1996-01-21 | Paper |
scientific article; zbMATH DE number 804140 (Why is no real title available?)
| 1996-01-21 | Paper |
scientific article; zbMATH DE number 804641 (Why is no real title available?)
| 1995-11-21 | Paper |
scientific article; zbMATH DE number 804647 (Why is no real title available?)
| 1995-11-21 | Paper |
The cluster problem in multivariate global optimization
Journal of Global Optimization | 1995-11-09 | Paper |
scientific article; zbMATH DE number 802434 (Why is no real title available?)
| 1995-11-09 | Paper |
scientific article; zbMATH DE number 804612 (Why is no real title available?)
| 1995-10-11 | Paper |
scientific article; zbMATH DE number 804136 (Why is no real title available?)
| 1995-10-10 | Paper |
An Interval Step Control for Continuation Methods
SIAM Journal on Numerical Analysis | 1995-03-26 | Paper |
scientific article; zbMATH DE number 524102 (Why is no real title available?)
| 1994-03-24 | Paper |
An interval branch and bound algorithm for bound constrained optimization problems
Journal of Global Optimization | 1993-01-16 | Paper |
Decompostition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems
Computing | 1992-06-27 | Paper |
Interval Newton/generalized bisection when there are singularities near roots
Annals of Operations Research | 1992-06-25 | Paper |
Preconditioners for the Interval Gauss–Seidel Method
SIAM Journal on Numerical Analysis | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4139201 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4126616 (Why is no real title available?)
| 1989-01-01 | Paper |
Corrigenda: “Some Tests of Generalized Bisection”
ACM Transactions on Mathematical Software | 1988-01-01 | Paper |
Some tests of generalized bisection
ACM Transactions on Mathematical Software | 1987-01-01 | Paper |
Abstract Generalized Bisection and a Cost Bound
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3858313 (Why is no real title available?)
| 1984-01-01 | Paper |
Some General Bifurcation Techniques
SIAM Journal on Scientific and Statistical Computing | 1983-01-01 | Paper |
A Sinc Approximation for the Indefinite Integral
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3823026 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3721988 (Why is no real title available?)
| 1981-01-01 | Paper |
An efficient degree-computation method for a generalized method of bisection
Numerische Mathematik | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3711286 (Why is no real title available?)
| 1979-01-01 | Paper |
A Proof of Convergence and an Error Bound for the Method of Bisection in R n
Mathematics of Computation | 1978-01-01 | Paper |
