janicicpredrag / gclc
GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
☆55Updated last month
Related projects ⓘ
Alternatives and complementary repositories for gclc
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Examples of technical drawing with John Hobby's MetaPost language☆42Updated last week
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆92Updated 4 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆79Updated last year
- The Ipe extensible drawing editor☆162Updated 2 weeks ago
- Official repository of the FriCAS computer algebra system☆311Updated last week
- Tim Button's open textbook on set theory☆30Updated last year
- Tool for euclidean geometry aware of logic☆82Updated 5 months ago
- HTML version of pgf-tikz documentation☆42Updated last month
- Python implementation of the monster group☆39Updated 3 weeks ago
- A symbolically optimized and pythonic Clifford (geometric) algebra library named after none other than William Kingdon Clifford.☆45Updated this week
- THÈMES POUR UNE HARMONIE☆22Updated 6 months ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆90Updated 11 months ago
- The LaTeX lwarp package — Convert LaTeX to HTML.☆35Updated 9 months ago
- Fungrim: the Mathematical Functions Grimoire☆119Updated 2 years ago
- Source of metamath book☆45Updated 10 months ago
- Django front-end to Mathics☆102Updated last week
- A community database of topological counterexamples☆72Updated this week
- some maths papers in English☆18Updated last week
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆57Updated 3 months ago
- A Lean file formatter☆63Updated last year
- Developing mathematics in Coq from the ground up☆18Updated 3 months ago
- GeoGebra Discovery☆19Updated 2 weeks 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…☆87Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆205Updated 2 weeks ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆43Updated last week
- A minimal modern (Lua)TeX distribution☆8Updated 6 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆24Updated 2 years ago
- The Open Problems Project☆26Updated 11 months ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆36Updated this week