RealPaver
From MaRDI portal
Software:16577
No author found.
Related Items (49)
Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems ⋮ Contractor programming ⋮ Real Algebraic Strategies for MetiTarski Proofs ⋮ δ-Complete Decision Procedures for Satisfiability over the Reals ⋮ Unnamed Item ⋮ Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO ⋮ Constraint propagation on quadratic constraints ⋮ A certified branch \& bound approach for reliability-based optimization problems ⋮ Automated design of fractional PI QFT controller using interval constraint satisfaction technique (ICST) ⋮ raSAT: an SMT solver for polynomial constraints ⋮ A generalization of the classical \(\alpha \)BB convex underestimation via diagonal and nondiagonal quadratic terms ⋮ Finding all solutions of separable systems of piecewise-linear equations using integer programming ⋮ Constrained global optimization of multivariate polynomials using Bernstein branch and prune algorithm ⋮ Variable symmetry breaking in numerical constraint problems ⋮ Unnamed Item ⋮ On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach ⋮ Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems ⋮ Predicate Abstraction of Programs with Non-linear Computation ⋮ When Interval Analysis Helps Inter-block Backtracking ⋮ Polynomial function intervals for floating-point software verification ⋮ An effective method to interval observer design for time-varying systems ⋮ A branch and prune algorithm for the computation of generalized aspects of parallel robots ⋮ Probabilistic constraints for nonlinear inverse problems ⋮ Interval-based projection method for under-constrained numerical systems ⋮ Logic Programming ⋮ Model Repair for Probabilistic Systems ⋮ An analysis of arithmetic constraints on integer intervals ⋮ A reliable affine relaxation method for global optimization ⋮ Reverse propagation of McCormick relaxations ⋮ Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization ⋮ QFT prefilter design for multivariable systems using interval constraint satisfaction technique ⋮ A new framework for sharp and efficient resolution of NCSP with manifolds of solutions ⋮ dReal: An SMT Solver for Nonlinear Theories over the Reals ⋮ Improving inter-block backtracking with interval Newton ⋮ Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries ⋮ A rigorous global filtering algorithm for quadratic constraints ⋮ Computation of spectral sets for uncertain linear fractional-order systems ⋮ Interval observer design for consistency checks of nonlinear continuous-time systems ⋮ Rigorous Error Bounds for the Optimal Value in Semidefinite Programming ⋮ LP narrowing: A new strategy for finding all solutions of nonlinear equations ⋮ Exploiting Binary Floating-Point Representations for Constraint Propagation ⋮ raSAT: An SMT Solver for Polynomial Constraints ⋮ Local consistency for extended CSPs ⋮ Enhancing numerical constraint propagation using multiple inclusion representations ⋮ Interval propagation and search on directed acyclic graphs for numerical constraint solving ⋮ How do you compute the midpoint of an interval? ⋮ Unnamed Item ⋮ Logic Programming ⋮ Formalization of Bernstein polynomials and applications to global optimization
This page was built for software: RealPaver
