Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools
DOI10.1007/978-3-642-35873-9_11zbMATH Open1426.68063OpenAlexW1547954410MaRDI QIDQ2926643FDOQ2926643
Authors: Yassamine Seladji, Olivier Bouissou 
Publication date: 3 November 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-35873-9_11
Recommendations
- Finite element pointwise results on convex polyhedral domains
- Numerical analysis of the efficiency of an algorithm for approximating convex bodies by polyhedra
- Computation of generalized convex approximations of planar geometric objects
- Numerical integration of homogeneous functions on convex and nonconvex polygons and polyhedra
- Analysis of a new method for approximation of convex compact bodies by polyhedra
- Approximate convex decomposition of polyhedra and its applications
- scientific article; zbMATH DE number 1182566
- Calculus of convex polyhedra and polyhedral convex functions by utilizing a multiple objective linear programming solver
- Polyhedral and algebraic methods in computational geometry
Computational aspects related to convexity (52B55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cited In (8)
- Acceleration in Convex Data-Flow Analysis
- Title not available (Why is that?)
- Widening Polyhedra with Landmarks
- Abstract interpretation meets convex optimization
- Acceleration of the abstract fixpoint computation in numerical program analysis
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- ROBUST SET OPERATIONS ON POLYHEDRAL SOLIDS: A FIXED PRECISION APPROACH
- Exact join detection for convex polyhedra and other numerical abstractions
Uses Software
This page was built for publication: Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2926643)
