pablolessa / dibujos_hiperbolicos
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 last year
Related projects ⓘ
Alternatives and complementary repositories for dibujos_hiperbolicos
- Deposited packages of the homalg project☆12Updated this week
- Julia Implementation of Unums☆42Updated 7 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆10Updated 9 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 3 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- ☆19Updated 7 years ago
- Adding conjecturing to Sage☆13Updated last year
- The Aldor Programming Language☆33Updated 4 months ago
- Awesome Geometric Algebra☆23Updated 4 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Python implementation of the monster group☆39Updated 3 weeks ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- A textual front end to Mathematica.☆12Updated 5 years ago
- Python S-expression emulation using tuple-like objects.☆21Updated 2 months ago
- Latex source for geometric algebra and physics notes.☆34Updated 2 months ago
- ☆18Updated 6 years ago
- A low-level probabilistic programming framework embedded in Terra.☆28Updated 8 years ago
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- knot theory and computational algebra software☆35Updated 10 years ago
- lean-related presentations☆16Updated 9 months ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 2 months ago
- A "git trac" subcommand for git☆13Updated 2 years ago
- Python term rewriting☆27Updated 11 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- ☆14Updated last year
- PRolog Equation Solving System☆29Updated 8 years ago