stephenathel / gawxm
Geometric Algebra using wxMaxima (GAwxM)
☆13Updated last month
Alternatives and similar repositories for gawxm:
Users that are interested in gawxm are comparing it to the libraries listed below
- Awesome Geometric Algebra☆27Updated 4 years ago
- GluCat: Clifford algebra templates☆20Updated last month
- ☆30Updated 7 years ago
- Latex source for geometric algebra and physics notes.☆38Updated last week
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 2 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Mathematica packages for geometric algebra☆48Updated 2 weeks ago
- (in progress) Racket port of the SICM scmutils library☆35Updated 5 years ago
- Deposited packages of the homalg project☆13Updated 4 months ago
- Clifford algebra for CAS Maxima☆16Updated 2 months ago
- Library for exact real number computations☆39Updated 10 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- ☆14Updated last year
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆40Updated this week
- Geometric algebra library for Rust☆22Updated 6 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 11 months ago
- Operations with matrices, SWI pack☆13Updated last year
- Homebrew tap for GAP☆14Updated 10 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- High-end Cryptographic Library☆44Updated 5 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- PRolog Equation Solving System☆30Updated 8 years ago
- Source of metamath book☆48Updated last year
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Tutorial for the CHR system☆16Updated 4 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year