PROFIL/BIAS
PROFIL (Programmer’s Runtime Optimized Fast Interval Library) is a C++ class library supporting the most commonly needed interval and real operations in a user friendly way. The supported data types are currently: INT, REAL, INTERVAL, vectors and matrices of these types, and complex numbers. PROFIL is based on BIAS (Basic Interval Arithmetic Subroutines). The developement of BIAS was guided by the ideas of BLAS, i.e. to provide an interface for basic vector and matrix operations with specific and fast implementations on various machines, the latter frequently provided by the manufacturers. The idea of BIAS is to give such an interface for interval operations with the objective: very efficient use of the underlying hardware; portability; independency of a specific interval representation
Keywords for this software
References in zbMATH (referenced in 98 articles , 1 standard article )
Showing results 1 to 20 of 98.
Sorted by year (- Ninin, Jordan: Global optimization based on contractor programming: an overview of the IBEX library (2016)
- Goldsztejn, Alexandre; Cruz, Jorge; Carvalho, Elsa: Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities (2014)
- Goualard, Frédéric: How do you compute the midpoint of an interval? (2014)
- Maïga, Moussa; Ramdani, Nacim; Travé-Massuyès, Louise; Combastel, Christophe: A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (2014)
- Rego, Francisco; De Weerdt, Elwin; van Oort, Eddy; van Kampen, Erik-Jan; Chu, Qiping; Pascoal, António M.: Determination of inner and outer bounds of reachable sets through subpavings (2014)
- Fazal, Qaisra; Neumaier, Arnold: Error bounds for initial value problems by optimization (2013)
- Rump, Siegfried M.: Accurate solution of dense linear systems. II: Algorithms using directed rounding (2013)
- Rump, Siegfried M.: Fast interval matrix multiplication (2012)
- Saidani, Nasreddine; Chu, Feng; Chen, Haoxun: Competitive facility location and design with reactions of competitors already in the market (2012)
- Pedamallu, Chandra Sekhar; Ozdamar, Linet: Solving kinematics problems by efficient interval partitioning (2011)
- Revol, Nathalie: Standardized interval arithmetic and interval arithmetic used in libraries (2010)
- Rump, Siegfried M.: Verification methods: rigorous results using floating-point arithmetic (2010)
- Stradi-Granados, Benito A.; Haven, Emmanuel: The use of interval arithmetic in solving a non-linear rational expectation based multiperiod output-inflation process model: the case of the IN/GB method (2010)
- Žilinskas, Antanas; Žilinskas, Julius: Interval arithmetic based optimization in nonlinear regression (2010)
- Auer, Ekaterina; Luther, Wolfram: SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems (2009)
- Fernández, José; Tóth, Boglárka: Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods (2009)
- Freihold, Mareile; Hofer, Eberhard P.: Derivation of physically motivated constraints for efficient interval simulations applied to the analysis of uncertain dynamical systems (2009)
- Lebbah, Y.: ICOS: a branch and bound based solver for rigorous global optimization (2009)
- Redondo, J.L.; Fernández, J.; García, I.; Ortigosa, P.M.: A robust and efficient algorithm for planar competitive location problems (2009)
- Redondo, J.L.; Fernández, J.; García, I.; Ortigosa, P.M.: A robust and efficient algorithm for planar competitive location problems (2009)