filib++

swMATH6459MaRDI QIDQ18566FDOQ18566

Author name not available (Why is that?)

Cited In (41)

• Deterministic global optimization of steam cycles using the IAPWS-IF97 model
• On underestimating in interval computations
• A greedy approach for a rolling stock management problem using multi-interval constraint propagation. A greedy approach for a rolling stock management problem using multi-interval constraint propagation, ROADEF/EURO challenge 2014
• Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
• Numerical Software with Result Verification
• Global Optimization Based on Contractor Programming: An Overview of the IBEX Library
• Software implementation of modifications of iterative algorithms for solving linear systems of equations
• A numerical approach to compute the topology of the apparent contour of a smooth mapping from \(\mathbb{R}^2\) to \(\mathbb{R}^2\)
• Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• Title not available (Why is that?)
• Numerical Software with Result Verification
• Deterministic global optimization with Gaussian processes embedded
• Interval Arithmetic Using SSE-2
• Numerical Software with Result Verification
• Title not available (Why is that?)
• How do you compute the midpoint of an interval?
• Automatic forward error analysis for floating point algorithms
• Fast construction of constant bound functions for sparse polynomials
• Title not available (Why is that?)
• ACETAF
• Interval Subroutine Library Mission
• Extended interval power function
• ProbReach
• First steps towards more numerical reproducibility
• Complex Inclusion Functions in the CoStLy C++ Class Library
• Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions
• Forward Inner-Approximated Reachability of Non-Linear Continuous Systems
• Title not available (Why is that?)
• The design of the Boost interval arithmetic library
• Communicating Functional Expressions from Mathematica to C-XSC
• FILIB++, a fast interval library supporting containment computations
• Improved validated bounds for Taylor coefficients and for Taylor remainder series
• Interval arithmetic with containment sets
• Numerical Software with Result Verification
• Deterministic global optimization with artificial neural networks embedded
• Rigorous packing of unit squares into a circle
• Numerical Software with Result Verification
• Mathematical function software on the web -- are such codes useful for verification algorithms?
• Principles of verified numerical integration
• Constrained global optimization for wine blending

This page was built for software: filib++