On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter

@article{Grlinger2008OnCS,
  title={On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter},
  author={Armin Gr{\"o}{\ss}linger and S. Schuster},
  journal={2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
  year={2008},
  pages={69-76}
}
  • Armin Größlinger, S. Schuster
  • Published 2008
  • Mathematics, Computer Science
  • 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
We present an algorithm for solving Diophantine equations which are linear in the variables, but non-linear in one parameter. We are looking for the pointwise solutions, i.e., the solutions for the unknowns in dependence of the value of the parameter. Solving Diophantine equations is central to computing the data dependences of certain codes (loops with certain array accesses) which often occur in scientific computing. Our algorithm enables the computation of data dependences in more general… Expand
3 Citations

References

SHOWING 1-10 OF 16 REFERENCES
Loop Parallelization in the Polytope Model
  • 257
  • Highly Influential
  • PDF
Generating the Greatest Common Divisor, and Limitations of Primitive Recursive Algorithms
  • L. Dries
  • Mathematics, Computer Science
  • Found. Comput. Math.
  • 2003
  • 18
A general data dependence analysis for parallelizing compilers
  • 8
Quantifier elimination in automatic loop parallelization
  • 15
  • PDF
Code generation in the polyhedral model is easier than you think
  • C. Bastoul
  • Computer Science
  • Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004.
  • 2004
  • 498
  • Highly Influential
  • PDF
The Loop Parallelizer LooPo-Announcement
  • 28
Loop Transformations for Restructuring Compilers: The Foundations
  • 277
  • Highly Influential
The mechanical parallelization of loop nests containing while loops
  • 13
  • PDF
Nonlinear array dependence analysis
  • 81
  • PDF
...
1
2
...