PROFIL/BIAS
From MaRDI portal
Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 1444347 (Why is no real title available?)
- Global optimization of bounded factorable functions with discontinuities
- Interval arithmetic based optimization in nonlinear regression
- Constrained global optimization for wine blending
- Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- Verifizierte Fehlerschranken und Gleichungssysteme
- scientific article; zbMATH DE number 1424347 (Why is no real title available?)
- A branch and bound algorithm for quantified quadratic programming
- Solving a Huff-like Stackelberg location problem on networks
- The 1-center problem in the plane with independent random weights
- Numerical verification of solutions for nonlinear elliptic problems using an L^ residual method
- Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
- A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
- Solving kinematics problems by efficient interval partitioning
- 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
- Verified solution of large systems and global optimization problems
- scientific article; zbMATH DE number 714516 (Why is no real title available?)
- scientific article; zbMATH DE number 1440924 (Why is no real title available?)
- Numerical Software with Result Verification
- Competitive facility location and design with reactions of competitors already in the market
- scientific article; zbMATH DE number 2086858 (Why is no real title available?)
- An accelerated central cutting plane algorithm for linear semi-infinite programming
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
- Interval methods for verifying structural optimality of circle packing configurations in the unit square
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Numerical Software with Result Verification
- ICOS: a branch and bound based solver for rigorous global optimization
- Parameter reconstruction for biochemical networks using interval analysis
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- The probabilistic customer's choice rule with a threshold attraction value: effect on the location of competitive facilities in the plane
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Template realization of generalized branch and bound algorithm
- Efficient interval partitioning-local search collaboration for constraint satisfaction
- 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
- 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
- Approximating the Pareto-front of a planar bi-objective competitive facility location and design problem
- scientific article; zbMATH DE number 2084729 (Why is no real title available?)
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
- Heuristic rejection in interval global optimization
- Mathematically rigorous global optimization in floating-point arithmetic
- Variable-precision, interval arithmetic coprocessors
- Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods
- 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
- 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
- Fast interval matrix multiplication
- Numerical Software with Result Verification
- A branch-and-bound algorithm for bound constrained optimization problems without derivatives
- A case for interval hardware on superscalar processors
- New approaches to circle packing in a square. With program codes.
- Global Optimization and Constraint Satisfaction
- Analysis of mechanical systems using interval computations applied to finite element methods
- scientific article; zbMATH DE number 2231123 (Why is no real title available?)
- Solving a huff-like competitive location and design model for profit maximization in the plane
- Guaranteed set computation with subpavings
- 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
- A planar single-facility competitive location and design problem under the multi-deterministic choice rule
- Krylov subspace methods in finite precision: A unified approach
- 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
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- Error bounds for initial value problems by optimization
- Modeling of multibody systems with interval arithmetic
- A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- ACRITH-XSC
- C-XSC
- C-XSC 2.0
- INTBIS
- INTLIB
- intpakX
- MPFI
- SLDRIVER
- GNU Fortran
- SLTSTPAK
- VPI
- AMIGO
- UEGO
- b4m
- INTLAB
- ICOS
- Neweul
- RealPaver
- CFSQP
- INTOPT_90
- FADBAD++
- ALIAS
- ValEncIA-IVP
- TADIFF
- MPSolve
- gaol
- PNM
- filib++
- Cosy
This page was built for software: PROFIL/BIAS
