The original address of this page is: www.matf.bg.ac.rs/~janicic/gclc (mirrored versions are not always up-to-date)

new: GCLC 9.0/WinGCLC 2009.  (September 7, 2009)

 

What is GCLC? GCLC ((c) Predrag Janicic 1996-2009) (from "Geometry Constructions->LaTeX converter") is a tool for visualizing and teaching geometry, and for producing mathematical illustrations. GCLC provides easy-to-use support for many geometrical constructions, isometric transformations, conics, parametric curves, flow control, automated theorem proving, etc. 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". Figures can be displayed and exported to LaTeX and other formats. WinGCLC is the Windows version of GCLC and provides a range of additional functionalities.

 

Downloads

  • DOS/Windows: GCLC 9.0/WinGCLC 2009 (c); command line version (GCLC) and Windows version (WinGCLC) with a graphical, multi-document interface, support for animations, traces, etc. The archive includes manual files, sample files, additonal tools etc. (available since Sept 7, 2009) 

  • Linux: GCLC 9.0 (c); command line version, manual files, sample files, etc. (available since Sept 7, 2009) 

 

Author(s): GCLC/WinGCLC is being developed at the Faculty of Mathematics, University of Belgrade, by Predrag Janicic and, in some parts, by Predrag Janicic and his coauthors:

  • Ivan Trajkovic (University of Belgrade, Serbia) - coauthor of the graphical interface for WinGCLC;

  • Pedro Quaresma (University of Coimbra, Portugal) - coauthor of the theorem prover based on the area method;

  • Goran Predovic (University of Belgrade, Serbia and The Microsoft Development Center Serbia) - the main author of the theorem provers based on the Wu's methods and on the Groebner bases method;

  • Luka Tomasevic (University of Belgrade, Serbia) - the main author of the support for graph drawing;

  • Konrad Polthier and Klaus Hildebrandt (Technical University, Berlin, Germany) - coauthors of JavaView -> GCLC converter).

  • Pedro Quaresma (University of Coimbra, Portugal), Jelena Tomasevic (University of Belgrade, Serbia), Milena Vujosevic-Janicic (University of Belgrade, Serbia) - coauthors of support for XML.

 

Scope: Although GCLC was initially built as a tool for converting formal descriptions of geometric constructions into LaTeX form, now it is much more than that. For instance, there is support for symbolic expressions, for drawing parametric curves, for flow control, etc; a built-in theorem prover can automatically prove a range of complex theorems; the Windows graphical interface makes GCLC a dynamic geometry tool for teaching geometry and other mathematical fields as well.
 

The main purposes of GCLC/WinGCLC:

  • producing digital mathematical illustrations of high quality;

  • use in teaching geometry;

  • use in studying geometry and as a research tool.


The main features of GCLC/WinGCLC:

  • support for a range of elementary and compound constructions, isometric transformations, and other geometrical devices;

  • support for symbolic expressions, second order curves, parametric curves, flow control, user-defined functions, etc;

  • user-friendly interface, interactive work, animations, tracing points, watch window ("geometry calculator''), and other tools;

  • easy drawing of trees and graphs;

  • built-in theorem provers, capable of proving many complex theorems (in traditional geometry style or in algebraic style);

  • very simple, very easy to use, very small in size;

  • export of high quality figures into LaTeX (simple LaTeX format, PSTricks format, TikZ format), 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;

  • freely available (from http://www.matf.bg.ac.rs/~janicic/gclc and from EMIS (The European Mathematical Information Service) servers: http://www.emis.de/misc/software/gclc/).

 

Copyright notice:

1. You may install and run this untouched software without any restrictions.

2. All output of this software is your property. You are free to use it in teaching, studying, research, and in producing digital illustrations.

3. THIS SOFTWARE IS PROVIDED "AS IS" AND WITHOUT ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.


Feedback welcome: If you download and use GCLC package, please let me know by sending an e-mail to  (Predrag Janicic); I will put you on the GCLC mailing list and inform you about new releases of GCLC/WinGCLC.

Also, please send me your comments and suggestions to . Your feedback would be very much appreciated and would help in improving the future releases of GCLC.

If you used GCLC for producing figures for your book or a paper, I would be happy to hear about that and to get a copy.

Please send me your GCLC gems and I will put them on this page.

WinGCLC screenshot

 

History: GCLC/WinGCLC programs had several releases since 1996. It has thousands of users wordwide and it has been used for producing digital illustrations for a number of books and journal volumes, and in a number of high-school and university courses worldwide.


What others said about GCLC/WinGCLC: "... program WinGCLC ... is a very useful, impressive professional academic geometry program.'' (from an anonymous review for "Teaching Mathematics and its Applications'')


References: More on the background of GCLC/WinGCLC can be found in:

  • P.Janicic and I. Trajkovic: WinGCLC --- a Workbench for Formally Describing Figures. In Proceedings of the 18th spring conference on Computer graphics (SCCG 2003), pages 251--256, Budmerice, Slovakia, April, 24-26 2003. ACM Press, New York, USA.

  • M.Djoric and P.Janicic. Constructions, instructions, interactions. Teaching Mathematics and its Applications, 23(2):69--88, 2004.

  • P. Quaresma and P. Janicic. Framework for the Constructive Geometry. Technical Report TR2006/001, Center for Informatics and Systems of the University of Coimbra, 2006.

  • P. Quaresma and P. Janicic. Integrating dynamic geometry software, deduction systems, and theorem repositories. In J. Borwein and W. Farmer, editors, Mathematical Knowledge Management (MKM-2006), volume 4108 of Lecture Notes in Arti cial Intelligence, pages 280-294. Springer-Verlag, 2006.

  • P. Janicic and P. Quaresma. System description: GCLCprover + GeoThms. In U. Furbach and N. Shankar, editors, International Joint Conference on Automated Reasoning (IJCAR-2006), volume 4130 of Lecture Notes in Artificial Intelligence, pages 145-150. Springer-Verlag, 2006.

  • P. Janicic. GCLC - A Tool for Constructive Euclidean Geometry and More than That. In N. Takayama, A. Iglesias, and J. Gutierrez, editors, Proceedings of International Congress of Mathematical Software (ICMS 2006), volume 4151 of Lecture Notes in Computer Science, pages 58-73. Springer-Verlag, 2006.

  • Predrag Janicic. Geometry Constructions Language, Journal of Automated Reasoning, 2009.

 

 

 

 

 

 

Acknowledgements

 

I am grateful to

  • Prof. Mirjana Djoric for the initial discussion which led to the first version of GCLC (1996);

  • Prof. Neda Bokan and other members of the Group for geometry, education and visualization with applications (mostly based at the Faculty of Mathematics, University of Belgrade) for their invaluable support in developing the WinGCLC package (2003);

  • EMIS (The European Mathematical Information Service) for mirroring this page at http://www.emis.de/misc/software/gclc/ ) and other EMIS locations;

  • Ivan Trajkovic, the main author of the graphical interface in WinGCLC (2003);

  • Aleksandar Samardzic for his advices in making Linux release of GCLC (2003/2005);

  • James Fry (New Albany, Indiana, USA) for careful revision of the GCLC/WinGCLC manual file and many useful insights and comments (2005);

  • DAAD (Germany) for funding my visit to Konrad Polthier's group at Mathematical Institute of TU Berlin (2003), which I used for making a JavaView->GCLC converter. I also thank Konrad Polthier and Klaus Hildebrandt for their hospitality and their collaboration in developing this converter;

  • CIM/CISUC (University of Coimbra, Portugal) for funding my visit to the Department of Mathematics, University of Coimbra (2005), which I used for developing the geometry theorem prover built into GCLC. I also thank prof. Pedro Quaresma for his warm hospitality and his collaboration in developing this prover;

  • Prof. Pedro Quaresma (University of Coimbra), Jelena Tomasevic, and Milena Vujosevic-Janicic, coauthors of the xml support for GCLC (2006);

  • Prof. Bruno Buchberger (RISC, University of Linz, Austria), for kindly inviting me to visit RISC and to present GCLC there (2006).

  • Goran Predovic (University of Belgrade, Serbia and The Microsoft Development Center Serbia) - the main author of the theorem provers based on the Wu's methods and on the Groebner bases method (2008);

  • Luka Tomasevic (University of Belgrade), the main author of the support for graph drawing (2008);

  • Prof. Stefano Marchiafava (University "La Sapienza", Rome, Italy), for kindly inviting me to visit the University "La Sapienza" and to present GCLC there (2008).

  • Colleagues which gave contributions and suggestions in earlier stages of development of WinGCLC: Nenad Dedic, Milos Utvic, Nikola Begovic, Ivan Elcic, Jelena Grmusa, Aleksandra Nenadic, Marijana Lukic, Goran Terzic, Milica Labus, Srdjan Vukmirovic, and Aleksandar Gogic (1999/2003);

  • Vladimir Baltic (University of Belgrade), Konrad Polthier (TU Berlin), Zach (Temple University, USA), Hristos Bitos (Greece), Aleksandar Gogic (DTA, Belgrade), Bob Schumacher (Cedarville University, Ohio, USA), Biljana Radovanovic (University of Belgrade), Nedeljko Stefanovic (University of Belgrade), Milan Mitrovic (Slovenia), Thomas Speziale (USA), Ania Piktas (Poland), Bojan Radusinovic (Serbia), Pierre Larochelle (Florida Institute of Technology, USA), Robert Hartmann (TU Clausthal, Clausthal-Zellerfeld, Germany), and Xavier Allamigeon for useful feedback and suggestions on different versions of GCLC/WinGCLC.

  • All GCLC/WinGCLC users for their support, feedback and suggestions.

Predrag Janicic

 

 

GCLC gems:

 

 

Prof. Zoran Lucic (University of Belgrade, Serbia): Euclid's construction of dodecahedron (2005)

 

 

 

Prof. Zoran Lucic (University of Belgrade, Serbia): Archita's construction of cube doubling  (2006)

 

 

Milan Mitrović (Slovenia): four figures from his textbook on projective geometry (2007)

 

 

Thomas Speziale (USA): Golden Spiral (2007)

 

 

Ania Piktas (Poland): The Koch curve (2007)

 

 

Bojan Radusinovic (Serbia): Pythagora's theorem (2007)

 

 

Prof. Pierre Larochelle (USA): 3D circles (2008)

 

 

Prof. Pierre Larochelle (USA): Spherical quadrilateral (2008)

 

 

Robert Hartmann (Germany): Hyperboloid (2009)

 

 

 

[Predrag Janicic's home page]