GCLC is mathematical software for producing geometry illustrations, teaching mathematics, and automatically proving geometry theorems. It uses its own Geometry Constructions language to describe constructions and can be used through a Qt graphical interface or from the command line. A browser-based version is also available.
The software combines construction and visualization with automated reasoning. Geometry problems can be processed using several established theorem-proving methods, while generated diagrams and proofs can be exported to formats suitable for documents, presentations, and further processing.
This is free and open source software.
Key Features
- Produces high-quality mathematical and geometry illustrations.
- Uses the GC Geometry Constructions language for describing constructions.
- Provides both a Qt-based graphical interface and a command-line application.
- Offers a browser version compiled to WebAssembly with a TypeScript graphical interface.
- Includes automated theorem proving based on the area method.
- Supports theorem proving using Wu’s method.
- Provides a theorem prover based on Gröbner bases.
- Offers deduction control when proving geometry statements.
- Exports illustrations as LaTeX picture commands.
- Supports LaTeX TikZ and PSTricks output.
- Exports diagrams to EPS and SVG formats.
- Can produce an XML textual representation of constructions.
- Generates automated theorem proofs in LaTeX format.
- Imports geometry data from JavaView files.
- Supports batch processing from the command line.
- Provides interactive control of free points in the graphical application.
- Includes examples, documentation and LaTeX support packages with release builds.
- Offers dynamically and statically linked Linux builds.
- Can be built from source with CMake, with Qt 6.2 or later required for the graphical interface.
Website: github.com/janicicpredrag/gclc
Support:
Developer: Predrag Janičić
License: MIT License
GCLC is written in C++. Learn C++ with our recommended free books and free tutorials.
Related Software
| Geometry Software | |
|---|---|
| GeoGebra | Dynamic mathematics software for learning and teaching |
| Kig | KDE4 software for exploring geometric constructions |
| Dr. Geo | Interactive geometry software |
| SINGULAR | Commutative algebra system for polynomial computations |
| Macaulay2 | Supporting research in algebraic geometry and commutative algebra |
| polymake | Research in polyhedral geometry |
| C.a.R. | Dynamic geometry program for use in schools and universities |
| Geomview | For mathematics research and education |
| Geometria | Interactive software for creating and solving problems in 3D gemoetry |
| JGEX | Construct, explore and prove geometry theorems |
Read our verdict in the software roundup.
 Explore our comprehensive directory of recommended free and open source software. Our carefully curated collection spans every major software category.This directory is part of our ongoing series of informative articles for Linux enthusiasts. It features hundreds of detailed reviews, along with open source alternatives to proprietary solutions from major corporations such as Google, Microsoft, Apple, Adobe, IBM, Cisco, Oracle, and Autodesk. You’ll also find interesting projects to try, hardware coverage, free programming books and tutorials, and much more. Discovered a useful open source Linux program that we haven’t covered yet? Let us know by completing this form. |
Please read our Comment Policy before commenting.