PROFIL/BIAS
From MaRDI portal
Software:13487
swMATH733MaRDI QIDQ13487FDOQ13487
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms
- Verifizierte Fehlerschranken und Gleichungssysteme
- Solving a Huff-like Stackelberg location problem on networks
- Title not available (Why is that?)
- Solving kinematics problems by efficient interval partitioning
- Numerical Software with Result Verification
- Title not available (Why is that?)
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
- Numerical Software with Result Verification
- The probabilistic customer's choice rule with a threshold attraction value: effect on the location of competitive facilities in the plane
- Efficient interval partitioning-local search collaboration for constraint satisfaction
- SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
- Interval modeling of dynamics for multibody systems
- Towards a computer-assisted proof for chaos in a forced damped pendulum equation
- Title not available (Why is that?)
- Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems
- Mathematically rigorous global optimization in floating-point arithmetic
- Variable-precision, interval arithmetic coprocessors
- Global Optimization and Constraint Satisfaction
- A planar single-facility competitive location and design problem under the multi-deterministic choice rule
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- Error bounds for initial value problems by optimization
- Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
- Improved interval methods for solving circle packing problems in the unit square
- Numerical verifications for eigenvalues of second-order elliptic operators
- An approach for solving competitive location problems with variable demand using multicore systems
- On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems
- Interval Subroutine Library Mission
- Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
- Accurate solution of dense linear systems. II: Algorithms using directed rounding
- Intrinsic compiler support for interval arithmetic
- First order rejection tests for multiple-objective optimization
- Robust and efficient ray intersection of implicit surfaces
- Computational proofs of the existence of solutions to elasto-plastic torsion problems
- Title not available (Why is that?)
- Software for high radix on-line arithmetic
- Comparison of four software packages applied to a scattering problem
- Solution of a transcendental eigenvalue problem via interval analysis
- Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities
- A Case for Interval Hardware on Superscalar Processors
- Title not available (Why is that?)
- Modeling of Multibody Systems with Interval Arithmetic
- Constrained global optimization for wine blending
- Title not available (Why is that?)
- A branch and bound algorithm for quantified quadratic programming
- The 1-center problem in the plane with independent random weights
- Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
- A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
- Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
- On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach
- Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verified solution of large systems and global optimization problems
- Global Optimization Based on Contractor Programming: An Overview of the IBEX Library
- Competitive facility location and design with reactions of competitors already in the market
- An accelerated central cutting plane algorithm for linear semi-infinite programming
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Interval methods for verifying structural optimality of circle packing configurations in the unit square
- ICOS: a branch and bound based solver for rigorous global optimization
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- Parameter reconstruction for biochemical networks using interval analysis
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- 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
- Approximating the Pareto-front of a planar bi-objective competitive facility location and design problem
- Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
- Heuristic rejection in interval global optimization
- Self-validated Computations for the Probabilities of the Central Bivariate Chi-square Distribution and a BivariateFDistribution. This work partially supported by National Science Foundation grant DMS-9500831
- Numerical Software with Result Verification
- A numerical method to verify the elliptic eigenvalue problems including a uniqueness property
- Exact numerical methods in dynamical systems theory
- Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods
- A branch-and-bound algorithm for bound constrained optimization problems without derivatives
- Fast interval matrix multiplication
- Title not available (Why is that?)
- Analysis of mechanical systems using interval computations applied to finite element methods
- New approaches to circle packing in a square. With program codes.
- Computer arithmetic and validity. Theory, implementation, and applications
- How do you compute the midpoint of an interval?
- A Collaborative Solution Methodology for Inverse Position Problem
- Solving a huff-like competitive location and design model for profit maximization in the plane
- A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- Proving the existence of long periodic orbits in 1D maps using interval Newton method and backward shooting
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- Computational error bounds for multiple or nearly multiple eigenvalues
- Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
- Efficient interval partitioning for constrained global optimization
- Improved lower bounds for semi-online bin packing problems
- Fast and parallel interval arithmetic
- Use of an interval global optimization tool for exploring feasibility of batch extractive distillation
- The GJK distance algorithm: an interval version for incremental motions
- Contractor programming
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- Location equilibria for a continuous competitive facility location problem under delivered pricing
- A filtering method for the interval eigenvalue problem
This page was built for software: PROFIL/BIAS
