WinGCLC: a workbench for formally describing figures

In this paper we discuss the problem of describing geometrical/mathematical fiures - 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… CONTINUE READING