WinGCLC 2007

GCLC stands for Geometry Constructions Latex Converter and was designed as an application which you can use to visualize and teach geometry, and for producing mathematical illustrations. Its basic purpose is converting descriptions of mathematical objects (written in the GCL language) into digital figures. GCLC provides easy-to-use support for many geometrical constructions, isometric transformations, conics, and parametric curves.
The basic idea behind GCLC is that constructions are formal procedures, rather than drawings. Thus, in GCLC, producing mathematical illustrations is based on "describing figures" rather than of "drawing figures". This approach stresses the fact that geometrical constructions are abstract, formal procedures and not figures.
A figure can be generated on the basis of abstract description, in the Cartesian model of a plane. These digital figures can be displayed and exported to LaTeX files (or some other format). WinGCLC is the Windows version of GCLC and provides a range of additional functionalities.
Main features:
- support for a range of elementary and compound constructions, isometric transformations, and other geometrical devices;
- support for symbolic expressions, second order curves, parametric curves, while-loops etc;
- user-friendly interface, interactive work, animations, tracing points, watch window ("geometry calculator), and other tools;
- easy drawing of trees;
- built-in theorem prover, capable of proving many complex theorems (in traditional geometry style);
- very simple, very easy to use, very small in size;
- export of high quality figures into LaTeX, bitmap, EPS (Encapsualted PostScript), SVG (Scalable Vector Graphics) format;
- command line versions for DOS/Windows and Linux and the MS Windows version;
- import from JavaView JVX format;