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