
INTOPT_90
 Referenced in 304 articles
[sw04705]
 monograph gives a survey of interval arithmetic based methods for solving systems of equations ... almost unavoidable part of optimization. The interval arithmetic philosophy of selfvalidation is followed ... automatic differentiation and code list generation, interval Newton method, and a short glance ... idea, which seems a bit outside the interval scope of the book. A groad chapter...

Numerica
 Referenced in 46 articles
[sw21227]
 combination of traditional numerical methods such as interval and local methods, and constraint satisfaction techniques.This...

RealPaver
 Referenced in 50 articles
[sw04401]
 problem with certainty. Solving methods: Realpaver implements correctly rounded intervalbased computations in a branch ... feature is to combine several methods from various fields: interval fixedpoint operators, constraint propagation ... local consistency techniques, local optimization using descent methods and metaheuristics, and several search strategies. Package ... benchmarks are also provided. Interval arithmetic is supported by gaol...

INTLAB
 Referenced in 406 articles
[sw04004]
 validating algorithms. It comprises of selfvalidating methods for dense linear systems (also inner inclusions ... functions univariate polynomial zeros (simple and clusters) interval arithmetic for real and complex data including...

INTBIS
 Referenced in 31 articles
[sw00442]
 with mathematical certainty. Though based on interval Newton methods, it is selfcontained. It allows...

ValEncIA
 Referenced in 18 articles
[sw08735]
 bounds for the uncertainties are known, interval methods can be applied to obtain validated enclosures...

strucchange
 Referenced in 51 articles
[sw07118]
 test (Chow test) framework. This includes methods to fit, plot and test fluctuation processes ... estimated together with confidence intervals. Emphasis is always given to methods for visualizing the data...

Benchmarks
 Referenced in 24 articles
[sw04612]
 start from a classical method that uses interval arithmetic to check whether trajectories can move ... rectangular grid. We put this method into an abstraction refinement framework and improve...

ISOLATE
 Referenced in 202 articles
[sw07741]
 adaptive seminumerical version, using multiprecision interval arithmetic. We finally show that these critical ... which were out of reach of previous methods...

AMIGO
 Referenced in 10 articles
[sw02425]
 AMIGO differs from standard interval methods for solving this class of problems by a refined...

veDYNA
 Referenced in 10 articles
[sw04237]
 calculation steps. Partitioned linearimplicit Euler methods can be extended by appropriate stabilization techniques ... constraints bounded for arbitrary time intervals. These methods need a fixed low number of operations ... arbitrary time intervals if the stepsize is sufficiently small. Selected methods were successfully implemented...

MultinomialCI
 Referenced in 14 articles
[sw11286]
 MultinomialCI: Simultaneous confidence intervals for multinomial proportions according to the method by Sison and Glaz ... implementation of a method for building simultaneous confidence intervals for the probabilities of a multinomial ... Sison, C.P and J. Glaz. Simultaneous confidence intervals and sample size determination for multinomial proportions ... Statistical Association, 90:366369 (1995). The method is an R translation...

intpakX
 Referenced in 11 articles
[sw00445]
 applications, verified computation of zeroes (Interval Newton Method) with the possibility to find all zeroes...

Newton
 Referenced in 6 articles
[sw21236]
 numerical analysis, such as the interval Newton method. Its key conceptual idea is to introduce ... reasonable computation cost and generalizes some traditional interval operators. Newton has been applied to numerous ... constrained optimization. It is competitive with continuation methods on their ... equationsolving benchmarks and outperforms the intervalbased methods we are aware of on optimization...

Algorithm 922
 Referenced in 29 articles
[sw12858]
 restarted Arnoldi method is proposed. To make the computation efficient, the search interval is decided ... type inequality for transmission eignevalues and the interval is updated at each iteration. The algorithm ... easily used in the qualitative methods in inverse scattering and modified to compute transmission eigenvalues...

SplinePak
 Referenced in 19 articles
[sw13802]
 package deals with computational methods for splines defined on intervals, rectangular partitions, planar triangulations...

Heat Conduction Toolbox
 Referenced in 7 articles
[sw15621]
 dimensional heat conduction by analytical method for bounded interval and numerical methods (explicit, implicit, Crank...

MISER3
 Referenced in 81 articles
[sw04190]
 both, subject to general constraints. The method used is based on the idea of control ... defined on suitable partitions of the time interval. The code then converts the problem into...

BayesTree
 Referenced in 57 articles
[sw07995]
 adaptive random basis elements. Motivated by ensemble methods in general, and boosting algorithms in particular ... enables full posterior inference including point and interval estimates of the unknown regression function ... illustrated with a bakeoff against competing methods on 42 different data sets, with...