fredrik-johansson / fungrim
Fungrim: the Mathematical Functions Grimoire
☆122Updated 3 years ago
Alternatives and similar repositories for fungrim:
Users that are interested in fungrim are comparing it to the libraries listed below
- 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.☆46Updated this week
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- A graphical editor for graph-like structures☆98Updated last year
- Build Petri net models compositionally☆82Updated 6 months ago
- metamath proof enumerators and other things☆93Updated 9 months ago
- Listing of online math seminars☆43Updated 7 months ago
- Relational Algebra, now with more algebra!☆52Updated this week
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 2 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- 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…☆97Updated last month
- Python implementation of the monster group☆42Updated 2 weeks ago
- Mathematica package for Clifford (geometric) algebra calculations☆11Updated last month
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆57Updated this week
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆372Updated 3 weeks ago
- Riemann Hypothesis book☆74Updated 7 years ago
- Building dynamical systems compositionally☆69Updated 6 months ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆20Updated 2 weeks ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- ☆69Updated 3 weeks ago
- ☆41Updated 4 years ago
- Computational algebraic number theory☆262Updated this week
- ☆18Updated 3 weeks ago
- Real number computation software☆123Updated 2 years ago
- Python bindings for Flint and Arb☆136Updated this week
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆16Updated 2 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago