fredrik-johansson / fungrimLinks
Fungrim: the Mathematical Functions Grimoire
☆123Updated 3 years ago
Alternatives and similar repositories for fungrim
Users that are interested in fungrim are comparing it to the libraries listed below
Sorting:
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- A Mathematica package for generating symbolic models from data☆48Updated 3 years ago
- Python implementation of the monster group☆53Updated 2 weeks ago
- Latex source for geometric algebra and physics notes.☆37Updated last month
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆70Updated this week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆13Updated 3 months ago
- Mathematica packages for geometric algebra☆48Updated 5 months ago
- A graphical editor for graph-like structures☆101Updated last year
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 6 years ago
- Python bindings for Flint and Arb☆138Updated 2 weeks ago
- A Binder repo for SageMath computing environment☆33Updated last week
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆83Updated 3 weeks ago
- Awesome Geometric Algebra☆28Updated 5 years ago
- 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…☆109Updated this week
- CAP project -- Categories, Algorithms, and Programming☆36Updated last month
- knot theory and computational algebra software☆38Updated 11 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated last year
- metamath proof enumerators and other things☆91Updated this week
- Riemann Hypothesis book☆75Updated 7 years ago
- Embedded algebraic number fields☆14Updated 3 weeks ago
- Relational Algebra, now with more algebra!☆55Updated last month
- Building dynamical systems compositionally☆73Updated last week
- Tag-based webview of LaTeX documents☆31Updated last year
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆98Updated 3 years ago
- Library for exact real number computations☆40Updated 10 years ago