pablolessa / dibujos_hiperbolicosLinks
A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .pgf file) of an SVG file (viewable in all modern web-browsers). I usually use KTikz to get eps, pdf, and pgn figures from pgf or Inkscape to convert svg files.
☆10Updated 2 years ago
Alternatives and similar repositories for dibujos_hiperbolicos
Users that are interested in dibujos_hiperbolicos are comparing it to the libraries listed below
Sorting:
- PRolog Equation Solving System☆29Updated 9 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 10 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Deposited packages of the homalg project☆17Updated last month
- Julia Implementation of Unums☆42Updated 8 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Free group automorphisms and train-track representative in python/sage☆12Updated 4 months ago
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- Awesome Geometric Algebra☆29Updated 5 years ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- A MiniKanren in Python☆36Updated 9 years ago
- CHomP -- Computation Homology Project software☆50Updated last year
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 9 years ago
- ☆19Updated 8 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 4 months ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 6 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated last month
- ☆34Updated 5 years ago
- The Aldor Programming Language☆36Updated this week
- Latex source for geometric algebra and physics notes.☆37Updated last week
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Jupyter Kernel for Mathics☆20Updated 9 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Dynamic Self-Organized maps☆22Updated 10 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Python code for the post "Computing Homology"☆29Updated 3 years ago
- ☆19Updated 7 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week