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.
 LinuxLinks helps you discover the best free and open source software for Linux. Explore our extensive collection of recommended applications, including alternatives to popular proprietary software.We also publish software reviews, Linux tutorials, hardware reviews, free programming books and articles covering the wider open source community. Browse our Linux resources to discover more. Know a useful free and open source Linux application we haven't covered? Suggest a program for inclusion. Has your software been featured on LinuxLinks? Display one of our Featured on LinuxLinks badges on your website or GitHub README. |
Please read our Comment Policy before commenting.