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 last year
Alternatives and similar repositories for dibujos_hiperbolicos
Users that are interested in dibujos_hiperbolicos are comparing it to the libraries listed below
Sorting:
- Deposited packages of the homalg project☆14Updated last month
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 9 months ago
- An inference engine for extensional untyped λ-calculus☆3Updated this week
- Awesome Geometric Algebra☆27Updated 4 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 4 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Free group automorphisms and train-track representative in python/sage☆10Updated 9 months ago
- ☆18Updated 6 years ago
- A textual front end to Mathematica.☆12Updated 5 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- GluCat: Clifford algebra templates☆20Updated 2 months ago
- Research into rewrite-rule completion in miniKanren☆9Updated 6 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- CHomP -- Computation Homology Project software☆47Updated last year
- Correctly-rounded mathematical functions☆8Updated 3 months ago
- Unified interface to symbolic manipulation libraries in Python☆9Updated 3 months ago
- ☆14Updated last year
- Julia interface to GAlgebra via PyCall☆17Updated this week
- The Aldor Programming Language☆34Updated 3 months ago
- ☆19Updated 8 years ago
- REPL for LispSyntax.jl☆20Updated 5 years ago
- Metamath verifier in Python☆39Updated last year
- Jupyter wrapper kernel for singular☆10Updated 11 months ago
- Haskell bindings to SymEngine☆25Updated last year
- Interval contractors and inverse (reverse) functions for Julia☆10Updated 9 months ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- Javascript implementation of Fractran☆14Updated 7 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 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