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:
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆47Updated 2 weeks 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…☆104Updated this week
- Python implementation of the monster group☆48Updated 3 weeks ago
- Tag-based webview of LaTeX documents☆30Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- ☆42Updated 4 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆12Updated 3 months ago
- Listing of online math seminars☆43Updated 9 months ago
- Building dynamical systems compositionally☆71Updated 8 months ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- Quantomatic is a tool for doing automated graph rewriting.☆163Updated 5 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated 11 months ago
- A graphical editor for graph-like structures☆97Updated last year
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated 9 months ago
- A curated list of geometric algebra resources☆133Updated 5 years ago
- some maths papers in English☆18Updated last week
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated this week
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Commutative diagrams with TikZ☆53Updated 2 years ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆98Updated 2 years ago
- Metamath verifier in Python☆39Updated 2 weeks ago
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆373Updated 2 months ago
- Mathematica packages for geometric algebra☆48Updated last month
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- A Binder repo for SageMath computing environment☆27Updated this week
- ⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra☆488Updated last week
- PRolog Equation Solving System☆30Updated 8 years ago