Corpus ID: 17428802

On Algorithmic and Heuristic Approaches to Integral Problems in the Polyhedron Model with Non-linear Parameters

@inproceedings{Schuster2007OnAA,
  title={On Algorithmic and Heuristic Approaches to Integral Problems in the Polyhedron Model with Non-linear Parameters},
  author={S. Schuster},
  year={2007}
}
  • S. Schuster
  • Published 2007
  • The polyhedron model provides one possible approach to model-based program analysis and transformation. Over the years, it has undergone many improvements in order to handle a still growing class of programs. A recent approach enabled the use of non-linear parameters, which was in that generality not possible before. While this new framework uses real quantifier elimination, the present work examines possibilities to describe the integral solutions to certain problems occurring in the… CONTINUE READING
    2 Citations
    On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter
    • Armin Größlinger, S. Schuster
    • Mathematics, Computer Science
    • 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
    • 2008
    • 3
    • PDF

    References

    SHOWING 1-6 OF 6 REFERENCES
    Weak quantifier elimination for the full linear theory of the integers
    • Aless Lasaruk, T. Sturm
    • Computer Science, Mathematics
    • Applicable Algebra in Engineering, Communication and Computing
    • 2007
    • 21
    • Highly Influential
    • PDF
    Gröbner bases - a computational approach to commutative algebra
    • 1,060
    Symb
    • Comput., 10(5):395–404,
    • 1990
    Soviet Mathematics Doklady
    • 11(2):354–358,
    • 1970