PROFIL/BIAS
From MaRDI portal
swMATH733MaRDI QIDQ13487FDOQ13487
Author name not available (Why is that?)
Official website: http://www.ti3.tu-harburg.de/keil/profil/index_e.html
Cited In (only showing first 100 items - show all)
- Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms
- Solving a Huff-like Stackelberg location problem on networks
- A branch and bound algorithm for quantified quadratic programming
- Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
- 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 solution of large systems and global optimization problems
- 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
- Interval methods for verifying structural optimality of circle packing configurations in the unit square
- Template realization of generalized branch and bound algorithm
- The probabilistic customer's choice rule with a threshold attraction value: effect on the location of competitive facilities in the plane
- 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?)
- Mathematically rigorous global optimization in floating-point arithmetic
- Variable-precision, interval arithmetic coprocessors
- 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
- A numerical method to verify the elliptic eigenvalue problems including a uniqueness property
- Exact numerical methods in dynamical systems theory
- Dynamic global optimization methods for determining guaranteed solutions in chemical engineering
- Global Optimization and Constraint Satisfaction
- Fast interval matrix multiplication
- Analysis of mechanical systems using interval computations applied to finite element methods
- How do you compute the midpoint of an interval?
- A Collaborative Solution Methodology for Inverse Position Problem
- Krylov subspace methods in finite precision: A unified approach
- A planar single-facility competitive location and design problem under the multi-deterministic choice rule
- A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- Error bounds for initial value problems by optimization
- Improved interval methods for solving circle packing problems in the unit square
- Numerical verifications for eigenvalues of second-order elliptic operators
- Use of an interval global optimization tool for exploring feasibility of batch extractive distillation
- On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems
- Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems
- A filtering method for the interval eigenvalue problem
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Determination of inner and outer bounds of reachable sets through subpavings
- A Comparison of some Methods for Solving Linear Interval Equations
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
- 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?)
- Characterizing and approximating eigenvalue sets of symmetric interval matrices
- Software for high radix on-line arithmetic
- A reliable area reduction technique for solving circle packing problems
- Comparison of four software packages applied to a scattering problem
- Computational experience with rigorous error bounds for the Netlib linear programming library
- Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities
- Global optimization of generalized semi-infinite programs using disjunctive programming
- Title not available (Why is that?)
- Verifizierte Fehlerschranken und Gleichungssysteme
- Title not available (Why is that?)
- Solving kinematics problems by efficient interval partitioning
- Numerical Software with Result Verification
- Efficient interval partitioning-local search collaboration for constraint satisfaction
- A case for interval hardware on superscalar processors
- Modeling of multibody systems with interval arithmetic
- An approach for solving competitive location problems with variable demand using multicore systems
- Interval Subroutine Library Mission
- 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
- Derivation of physically motivated constraints for efficient interval simulations applied to the analysis of uncertain dynamical systems
- Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems
- Standardized interval arithmetic and interval arithmetic used in libraries
- Solution of a transcendental eigenvalue problem via interval analysis
- SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
- Constrained global optimization for wine blending
- Title not available (Why is that?)
- The 1-center problem in the plane with independent random weights
- A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
- 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?)
- 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
- 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
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
- Heuristic rejection in interval global optimization
- Numerical Software with Result Verification
- 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
- Title not available (Why is that?)
- New approaches to circle packing in a square. With program codes.
- Computer arithmetic and validity. Theory, implementation, and applications
- Guaranteed set computation with subpavings
- Solving a huff-like competitive location and design model for profit maximization in the plane
- 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
This page was built for software: PROFIL/BIAS
