WINGCLC - A workbench for formally describing figures

Abstract

In this paper we discuss the problem of describing geometrical/mathematical figures - the problem important for virtually all mathematicians. We also present our system WINGCLC, based on the idea of describing, rather than drawing figures. The system is suitable for use in teaching mathematics (and, especially, teaching geometry), for producing digital mathematical illustrations in different formats (including LATEX format and bitmap format), and sometimes even as a guidance in problem solving or in some pieces of research. The system is very handy and gives an easy-to-use support for a number of geometrical (and not only geometrical) devices, easy manipulation with objects, animation etc.