PolyLib
From MaRDI portal
Cited in
(68)- Two variations of graph test in double description method
- Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms
- Geometrical Analysis of Model Predictive Control: A Parameterized Polyhedra Approach
- Verification, Model Checking, and Abstract Interpretation
- A 3D unsplit forward/backward volume-of-fluid approach and coupling to the level set method
- Optimal systolic array algorithms for tensor product
- scientific article; zbMATH DE number 2090856 (Why is no real title available?)
- Necessary and sufficient conditions for reachability on a simplex
- scientific article; zbMATH DE number 1830941 (Why is no real title available?)
- Precise data locality optimization of nested loops
- A LIBRARY FOR DOING POLYHEDRAL OPERATIONS
- scientific article; zbMATH DE number 1875364 (Why is no real title available?)
- scientific article; zbMATH DE number 1233793 (Why is no real title available?)
- A control problem for affine dynamical systems on a full-dimensional polytope.
- On the Petri net realization of context-free graphs
- Ranking functions for linear-constraint loops
- Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Predictive control for hybrid systems. Implications of polyhedral pre-computations
- An example of probability computations under the IAC assumption: the stability of scoring rules
- Enumeration of \(4 \times 4\) magic squares
- scientific article; zbMATH DE number 2079651 (Why is no real title available?)
- Efficient elimination of redundancies in polyhedra by raytracing
- Elementary functions. Algorithms and implementation
- COSTA
- cddplus
- LattE
- barvinok
- PORTA
- PPL
- Convex
- isl
- Omega+
- OPERA
- LOLIB
- Alpha
- MMAlpha
- Omega
- FME-IT
- SPHIN
- Voronoi
- PipLib
- Pochoir
- IOP
- Verimag Polyhedra Library
- efmtool
- isl: An integer set library for the polyhedral model
- scientific article; zbMATH DE number 1948398 (Why is no real title available?)
- On Ehrhart polynomials and probability calculations in voting theory
- Hybrid abstractions of affine systems
- Counting integer points in parametric polytopes using Barvinok's rational functions
- On highly robust efficient solutions to uncertain multiobjective linear programs
- The two variable per inequality abstract domain
- A complexity perspective on entailment of parameterized linear constraints
- Correct Hardware Design and Verification Methods
- An improved algorithm for combinatorial multi-parametric quadratic programming
- Some ways to reduce the space dimension in polyhedra computations
- Guaranteed active failure detection and isolation for linear dynamical systems
- scientific article; zbMATH DE number 6776481 (Why is no real title available?)
- Automatic implementation of affine iterative algorithms: Design flow and communication synthesis
- Combinatorial optimization and small polytopes
- Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?
- Computing machine-efficient polynomial approximations
- scientific article; zbMATH DE number 1262844 (Why is no real title available?)
- Solving strong controllability of temporal problems with uncertainty using SMT
- Linear vector optimization and European option pricing under proportional transaction costs
- Grids: A Domain for Analyzing the Distribution of Numerical Values
This page was built for software: PolyLib
