The following pages link to filib++ (Q18566):
Displayed 41 items.
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard (Q411433) (← links)
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems (Q811943) (← links)
- The design of the Boost interval arithmetic library (Q817867) (← links)
- Interval arithmetic with containment sets (Q858179) (← links)
- Principles of verified numerical integration (Q861893) (← links)
- Fast construction of constant bound functions for sparse polynomials (Q1029674) (← links)
- Extended interval power function (Q1406004) (← links)
- Mathematical function software on the web -- are such codes useful for verification algorithms? (Q1577441) (← links)
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions (Q1683424) (← links)
- 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 (Q1730606) (← links)
- Deterministic global optimization with artificial neural networks embedded (Q1730780) (← links)
- Improved validated bounds for Taylor coefficients and for Taylor remainder series (Q1872963) (← links)
- Deterministic global optimization with Gaussian processes embedded (Q2062323) (← links)
- Deterministic global optimization of steam cycles using the IAPWS-IF97 model (Q2218882) (← links)
- Constrained global optimization for wine blending (Q2398517) (← links)
- Rigorous packing of unit squares into a circle (Q2416578) (← links)
- A numerical approach to compute the topology of the apparent contour of a smooth mapping from \(\mathbb{R}^2\) to \(\mathbb{R}^2\) (Q2517499) (← links)
- On underestimating in interval computations (Q2572613) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- Global Optimization Based on Contractor Programming: An Overview of the IBEX Library (Q2807875) (← links)
- (Q2912247) (← links)
- ProbReach (Q2988926) (← links)
- (Q3002926) (← links)
- (Q3187640) (← links)
- First steps towards more numerical reproducibility (Q3465860) (← links)
- (Q3508938) (← links)
- FILIB++, a fast interval library supporting containment computations (Q3549175) (← links)
- Forward Inner-Approximated Reachability of Non-Linear Continuous Systems (Q5275312) (← links)
- Interval Subroutine Library Mission (Q5302763) (← links)
- Interval Arithmetic Using SSE-2 (Q5302768) (← links)
- Numerical Software with Result Verification (Q5308341) (← links)
- Numerical Software with Result Verification (Q5308343) (← links)
- Numerical Software with Result Verification (Q5308344) (← links)
- Numerical Software with Result Verification (Q5308355) (← links)
- Numerical Software with Result Verification (Q5308360) (← links)
- ACETAF (Q5461060) (← links)
- How do you compute the midpoint of an interval? (Q5498687) (← links)
- (Q5706679) (← links)
- Complex Inclusion Functions in the CoStLy C++ Class Library (Q5747900) (← links)
- Communicating Functional Expressions from Mathematica to C-XSC (Q5747903) (← links)
- Automatic forward error analysis for floating point algorithms (Q5946850) (← links)