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 carefully curated directory of recommended free and open source software, covering every major software category.The directory forms part of our extensive collection of articles for Linux enthusiasts. It includes hundreds of detailed reviews, together with free and open source alternatives to proprietary software from companies such as Google, Microsoft, Apple, Adobe, IBM, Cisco, Oracle, and Autodesk. LinuxLinks also covers interesting projects worth exploring, Linux-compatible hardware, free programming books and tutorials, and much more. Know a useful free and open source Linux application that we haven’t covered? Tell us about it using our submission form. |
Please read our Comment Policy before commenting.