Knueppel: PROFIL/BIAS - A Fast Interval Library, ParLinSys, software for solving parametric interval linear systems Interval branch-and-bound algorithm together with interval Parallel/distributed implementations of theĩ0 package GlobSol, which solves global optimization problems with the Integrates interval computation in its kernel īoth Maple and MuPad are integrated into Scientific Workplace Multiple Precision Floating-Point Interval Library Libraries for interval computations and constraint satisfaction. Systems of equations and inequalities ia set inversion. Problems (with or without constraints) and for solving non-linear Level routines for solving low dimensional global optimization Matlab toolbox based on BIAS (C++) free for non-commercial use. MATLAB software package for computing verified (rigorous) resultsįor solving various linear and quadratic problems with interval or INTerval LABoratory, an interval toolbox for Matlab free for Supports dynamic interval web computations and visualization. Maple is integrated into Scientific Workplace.General webpage with links to Interval Software in MapleĬombines interval arithmetic with the features of a Computer Algebra Interval Software in Maple and its clones:.Questions and suggestions are welcome atĪll results are verified, no second guess necessary.Ī powerful new algorithm produces guaranteed error bounds in form ofĬ++ affine arithmetic library for GNU/Linux The solution set to interval linear systems of equations,Ĭheck properties of interval matrices some part of the solvers works Interval linear solvers that compute enclosures (sharp or fast) of Interval arithmetic (standard and two complex) and software for global solutions downloading instructionsĪrithmetic in Sun's Forte Fortran 95 compiler Interval Arithmetic package for manipulating finite sets of (possibly Solution of ordinary differential equations.įast Interval LIRrary, a C++ library on extended interval arithmetic.Ī special programming language Frink (implemented in Java) MIT-produced symbolic and numeric library for general numericalĬalculations which uses interval computations.Īn automatic differentiation package, with applications to validated ItĬan either be used as a stand-alone program or via C++ and Fortran This software package is based on Taylor model and intervalįor validated solution of such problems as ordinary differentialĮquations, quadrature, range bounding, etc. Robust and efficient the related part of CGAL manual can be found atĬLP(BNR), a Constraint Interval-ArithmeticĪ language for Constraint Logic Programming based onĪ library of complex interval standard functions. Uses interval computations to make geometric computations Implemented within the popular BOOST projectĬomputational Geometry Algorithms Library, written in C++, Mixed-integer nonlinear problems can be solved with the The first-order predicate language over the reals.Ī software package for validated solution of ordinary computes box approximations of the solution set of formulae of Library, Algorithms Library of Interval Analysis for Systems seeĪ free software package for Approximate Quantified Constraint Solving Interval and Related Software Interval and Related SoftwareĪutomatic computation of estimates for Taylor
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |