janicicpredrag / gclcLinks
GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
☆61Updated 5 months ago
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☆344Updated 2 weeks ago
- Tool for euclidean geometry aware of logic☆88Updated last year
- Tag-based webview of LaTeX documents☆31Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆296Updated this week
- Notes on Diffy Qs, a textbook for differential equations☆74Updated this week
- Rubi for Mathematica☆250Updated last year
- Group theory visualization software in the browser☆253Updated last year
- The Open Problems Project☆38Updated 2 months ago
- The Ipe extensible drawing editor☆203Updated 3 weeks ago
- Tim Button's open textbook on set theory☆39Updated 2 months ago
- Examples of technical drawing with John Hobby's MetaPost language☆53Updated last week
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Java Geometry Expert☆43Updated last month
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last month
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆20Updated last week
- UCalgary version of forallx, an introduction to formal logic☆109Updated last month
- Python implementation of the monster group☆51Updated last month
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆381Updated last week
- A field-theory motivated approach to computer algebra.☆252Updated last week
- Django front-end to Mathics3☆117Updated last week
- The LaTeX lwarp package — Convert LaTeX to HTML.☆45Updated last year
- Java implementations of sequences in the OEIS☆65Updated this week
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆32Updated last year
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- Metamath program - source code for the Metamath executable☆84Updated 3 weeks ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆110Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆41Updated this week