janicicpredrag / gclcLinks
GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
☆63Updated last month
Alternatives and similar repositories for gclc
Users that are interested in gclc are comparing it to the libraries listed below
Sorting:
- Official repository of the FriCAS computer algebra system☆350Updated this week
- Tool for euclidean geometry aware of logic☆88Updated last year
- The Ipe extensible drawing editor☆217Updated 2 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- The Open Problems Project☆39Updated 4 months ago
- Python implementation of the monster group☆53Updated 2 weeks ago
- Notes on Diffy Qs, a textbook for differential equations☆76Updated this week
- Tag-based webview of LaTeX documents☆31Updated last year
- The LaTeX lwarp package — Convert LaTeX to HTML.☆46Updated last year
- Group theory visualization software in the browser☆257Updated last year
- Java Geometry Expert☆44Updated 3 months ago
- HTML version of pgf-tikz documentation☆50Updated last month
- Rubi for Mathematica☆251Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆298Updated last week
- A field-theory motivated approach to computer algebra.☆258Updated 2 weeks ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- Metamath program - source code for the Metamath executable☆87Updated 2 months ago
- Examples of technical drawing with John Hobby's MetaPost language☆54Updated 2 months ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆109Updated this week
- Complex Analysis: A Visual and Interactive Introduction☆194Updated last month
- Tim Button's open textbook on set theory☆39Updated 4 months ago
- 2D & 3D TeX-Aware Vector Graphics Language☆633Updated 2 weeks ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆391Updated last week
- Source code for the nLab☆188Updated 7 months ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated last year
- Scientific computing in Lean 4☆432Updated 4 months ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆33Updated last year
- The Principia Rewrite☆227Updated 8 months ago
- Terminal CLI to Mathics3☆60Updated last month