Database Entry Point
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF RG1 Publications, generated: 6:21, 24 October 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. Ralf Karrenberg, Marek KoŇ°ta, and Thomas Sturm
    Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
    In: Frontiers of Combining Systems, Nancy, France, 2013, 56-70

  2. Andreas Weber, Thomas Sturm, and Essam O. Abdel-Rahman
    Algorithmic Global Criteria for Excluding Oscillations
    Bulletin of Mathematical Biology 73 (4): 899-916, 2011
  3. Aless Lasaruk and Thomas Sturm
    Automatic Verification of the Adequacy of Models for Families of Geometric Objects
    In: Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, 2011, 116-140
  4. Thomas Sturm and Ashish Tiwari
    Verification and Synthesis Using Real Quantifier Elimination
    In: ISSAC 2011 : Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, San Jose, CA, 2011, 329-336