Applications of the method of invariants in computer graphics
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.
KeywordsComputer Graphic Boolean Expression Invariant Method Existential Quantifier Future Research Theme
Unable to display preview. Download preview PDF.
- Gries, D., The Science of Programming’, Springer, New York, 1985.Google Scholar
- Dijkstra, E.W. and Feijen, W. H. J., ‘Een methode van programmeren’ (Dutch), Academic Service, The Hague, Holland, 1984.Google Scholar
- Foley, J.D. and Van Dam, A., ‘Fundamentals of Interactive Computer Graphics’, Adison-Wesley, Reading, 1982, pp 441–445.Google Scholar