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 3 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☆337Updated this week
- Tag-based webview of LaTeX documents☆29Updated last year
- Examples of technical drawing with John Hobby's MetaPost language☆50Updated 4 months ago
- HTML version of pgf-tikz documentation☆46Updated last month
- some maths papers in English☆18Updated 2 months ago
- The LaTeX lwarp package — Convert LaTeX to HTML.☆43Updated last year
- Convert TeX's pascal to javascript☆134Updated 3 years ago
- GeoGebra Discovery☆22Updated last month
- The main source code for Regina☆38Updated this week
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆40Updated this week
- The Open Problems Project☆35Updated 2 weeks ago
- PreTeXt: an authoring and publishing system for scholarly documents☆288Updated last week
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- Tool for euclidean geometry aware of logic☆84Updated last year
- This repository contains the source html files for the website complex-analysis.com☆16Updated 2 months ago
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆20Updated last week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- The Ipe extensible drawing editor☆195Updated 7 months ago
- Terminal CLI to Mathics3☆60Updated 3 months ago
- Django front-end to Mathics3☆114Updated 2 months ago
- Notes on Diffy Qs, a textbook for differential equations☆65Updated this week
- 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…☆101Updated this week
- ☆22Updated this week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last month
- Source code for the nLab☆175Updated 2 months ago
- Synchronization for TeX☆76Updated 4 months ago
- ☆36Updated last week
- A database app for ring theory☆22Updated 2 weeks ago
- Tim Button's open textbook on set theory☆37Updated last year
- Device independent (DVI) file format parsing with node☆33Updated last year