Constraint-Based Linear-Relations Analysis
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Cartesian Factoring of Polyhedra in Linear Relation AnalysisPublished by Springer Nature ,2003
- Precise Widening Operators for Convex PolyhedraPublished by Springer Nature ,2003
- Linear Invariant Generation Using Non-linear Constraint SolvingPublished by Springer Nature ,2003
- FAST: Fast Acceleration of Symbolic Transition SystemsPublished by Springer Nature ,2003
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra LibraryPublished by Springer Nature ,2002
- Polyhedral Analysis for Synchronous LanguagesPublished by Springer Nature ,1999
- Double description method revisitedPublished by Springer Nature ,1996
- HyTech: The Cornell Hybrid Technology ToolPublished by Springer Nature ,1995
- The complexity of linear problems in fieldsJournal of Symbolic Computation, 1988
- Quantifier elimination for real closed fields by cylindrical algebraic decompostionPublished by Springer Nature ,1975