
AdaBoost.MH
 Referenced in 505 articles
[sw08517]
 arbitrary finite set or a bounded segment of the real line...

INTLAB
 Referenced in 472 articles
[sw04004]
 functions univariate and multivariate (interval) polynomials rigorous real interval standard functions (fast, very accurate ... slow) multiple precision interval arithmetic with error bounds (does the job, slow...

SuLQ
 Referenced in 128 articles
[sw11355]
 realvalued functions f and arbitrary row types, as a consequence greatly improving the bounds...

RealPaver
 Referenced in 51 articles
[sw04401]
 real numbers. The decision variables, continuous or discrete, have to be bounded. Functions and constraints ... means of rectangular regions from the real Euclidean space. It can prove the problem insatisfiability ... intervalbased computations in a branchandbound framework. Its key feature is to combine...

Couenne
 Referenced in 69 articles
[sw04347]
 important parts of sBB methods: bounds tightening (BT) and branching strategies. We extend a branching ... demand for opensource solvers for realworld MINLP problems, we have developed...

INTBIS
 Referenced in 31 articles
[sw00442]
 real roots of a system of nonlinear equations within a region defined by bounds...

POS3POLY
 Referenced in 3 articles
[sw09847]
 handle three types of polynomials: trigonometric, real and hybrid. The positivity of the polynomials ... domain. POS3POLY allows also to define Bounded Real Lemma constraints. The library is written...

Forgetron
 Referenced in 14 articles
[sw23913]
 entertains a relative mistake bound. We conclude with experiments using real datasets, which underscore...

SAL
 Referenced in 9 articles
[sw13318]
 such as integers and reals. In addition, both the bounded and infinitebounded model checkers...

MarCaSPiS
 Referenced in 5 articles
[sw06957]
 primitives that permit the use of realtime bounds in the logical characterisation...

Complex Optimization Toolbox
 Referenced in 30 articles
[sw14744]
 optimizing problems in complex variables, although real optimization is also possible and is without performance ... matrix or tensorvalued residual functions, complex bound constraints, Levenberg–Marquardt and Gauss–Newton with ... trust region, and much more: automated numerical real and complex differentiation, preservation of unknowns...

SqFreeEVAL
 Referenced in 11 articles
[sw07421]
 methods) are widely used for isolating the real roots of f in a given interval ... simple O(d(L+lnd)) bound on the size of the subdivision tree ... benchmark problem of isolating all real roots of an integer polynomial f of degree ... technique of the standard MahlerDavenport root bounds to interpret the integral in terms...

DeWall
 Referenced in 24 articles
[sw01745]
 real applications in E 3 , although its computational complexity does not improve the theoretical bounds...

VERSA
 Referenced in 2 articles
[sw21393]
 specification and analysis of resourcebound realtime systems. VERSA is a tool that assists ... algebraic analysis of realtime systems. It is based on ACSR, a timed ... process algebra designed to express resourcebound realtime distributed systems. VERSA supports the analysis...

dReal
 Referenced in 34 articles
[sw07157]
 reals. The tool can handle various nonlinear real functions such as polynomials, trigonometric functions, exponential ... formulas, where δ is a numerical error bound specified by the user. dReal also produces...

JuliBootS
 Referenced in 32 articles
[sw40366]
 supported features include conformal dimension bounds, OPE bounds, and bootstrap with or without global symmetries ... machines. We exemplify usage extensively with several realworld applications. In passing we give...

gCol
 Referenced in 26 articles
[sw41492]
 introductory chapters explain graph colouring, and bounds and constructive algorithms. The author then shows ... modern techniques can be applied to classic realworld operational research problems such as seating...

BBMCSP
 Referenced in 10 articles
[sw17718]
 describes a new very efficient branchandbound exact maximum clique algorithm BBMCSP, designed ... massive sparse graphs which appear frequently in real life problems from different fields. State ... sparse case such as corebased bounds. Reported results show that it is several orders ... Moreover, a number of real networks with many millions of nodes are solved...

aiT
 Referenced in 12 articles
[sw13101]
 tight bounds for the worstcase execution time (WCET) of tasks in realtime systems...

dReach
 Referenced in 19 articles
[sw20164]
 analysis for hybrid systems. dReach is a bounded reachability analysis tool for nonlinear hybrid systems ... hybrid systems to firstorder formulas over real numbers, which are solved by deltadecision...