Applications of the method of invariants in computer graphics

  • Kees van Overveld
Conference paper
Part of the EurographicSeminars book series (FOCUS COMPUTER)


In order to evoke a discussion about possible future research themes for the Eindhoven Department of Mathematics and Computing Science, a small overview about the scientific background of the group is presented. We sketch the global framework of the method of invariants in deriving algorithms, and we apply this method to two well-known basic algorithms in computer graphics.


Computer Graphic Boolean Expression Invariant Method Existential Quantifier Future Research Theme 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Gries, D., The Science of Programming’, Springer, New York, 1985.Google Scholar
  2. [2]
    Dijkstra, E.W. and Feijen, W. H. J., ‘Een methode van programmeren’ (Dutch), Academic Service, The Hague, Holland, 1984.Google Scholar
  3. [3]
    Bresenham, J. E., ‘Algorithm for Computer Control of Digital Plotters’, IBM Syst. J. 4(1)1965, pp 25–30.CrossRefGoogle Scholar
  4. [4]
    Foley, J.D. and Van Dam, A., ‘Fundamentals of Interactive Computer Graphics’, Adison-Wesley, Reading, 1982, pp 441–445.Google Scholar

Copyright information

© EUROGRAPHICS The European Association for Computer Graphics 1986

Authors and Affiliations

  • Kees van Overveld
    • 1
  1. 1.Department of Mathematics and Computing ScienceEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations