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.☆49Updated 2 weeks ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated last year
- Mathematica package for Clifford (geometric) algebra calculations☆13Updated last month
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- Python implementation of the monster group☆51Updated 3 weeks ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆74Updated last year
- Tag-based webview of LaTeX documents☆30Updated last year
- Mathematica packages for geometric algebra☆48Updated 2 months ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago
- Latex source for geometric algebra and physics notes.☆37Updated this week
- Awesome Geometric Algebra☆28Updated 5 years ago
- Embedded algebraic number fields☆13Updated last month
- A graphical editor for graph-like structures☆99Updated last year
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆69Updated 2 months ago
- Relational Algebra, now with more algebra!☆54Updated last month
- Metamath verifier in Python☆40Updated last month
- A curated list of geometric algebra resources☆134Updated 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…☆105Updated this week
- Building dynamical systems compositionally☆71Updated 9 months ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- A Binder repo for SageMath computing environment☆29Updated this week
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- metamath proof enumerators and other things☆94Updated last year
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated last month
- Build Petri net models compositionally☆88Updated last week
- some maths papers in English☆18Updated this week
- A framework for composing and simulating multiphysics systems☆71Updated this week
- Many language implementations for the Julia Challenge: https://nextjournal.com/sdanisch/the-julia-language-challenge☆75Updated 6 years ago
- Listing of online math seminars☆43Updated 10 months ago