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 103 articles , 1 standard article )
Showing results 1 to 20 of 103.
Sorted by year (- Domes, Ferenc; Goldsztejn, Alexandre: A branch and bound algorithm for quantified quadratic programming (2017)
- Ninin, Jordan: Global optimization based on contractor programming: an overview of the IBEX library (2016)
- Pérez-Galván, Carlos; Bogle, I. David L.: Dynamic global optimization methods for determining guaranteed solutions in chemical engineering (2016)
- Walter F. Mascarenhas: Moore: Interval Arithmetic in Modern C++ (2016) arXiv
- Redondo, Juana L.; Fernández, José; Domingo Álvarez Hervás, José; Gila Arrondo, Aránzazu; Ortigosa, Pilar M.: Approximating the Pareto-front of a planar bi-objective competitive facility location and design problem (2015)
- Fernández, José; Salhi, Said; -Tóth, Boglárka G.: Location equilibria for a continuous competitive facility location problem under delivered pricing (2014)
- 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)