fredrik-johansson / fungrimLinks
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
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 this week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 3 months ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago
- metamath proof enumerators and other things☆93Updated 10 months ago
- Tag-based webview of LaTeX documents☆29Updated last year
- Python implementation of the monster group☆45Updated this week
- A graphical editor for graph-like structures☆97Updated last year
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆373Updated last month
- Metamath verifier in Python☆39Updated last year
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- PRolog Equation Solving System☆30Updated 8 years ago
- ☆22Updated this week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Library for exact real number computations☆40Updated 10 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
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- A Mathematica package for generating symbolic models from data☆48Updated 3 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆12Updated 2 months ago
- Matroids in Lean☆18Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 3 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- ☆162Updated 5 years ago
- Native Jupyter kernel for GAP☆19Updated 2 months ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Implementation of Conway's Surreal Numbers☆39Updated 7 months ago
- Many language implementations for the Julia Challenge: https://nextjournal.com/sdanisch/the-julia-language-challenge☆76Updated 5 years ago
- Julia bindings for the FLINT number theory C library☆203Updated this week