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.☆45Updated last month
- A graphical editor for graph-like structures☆98Updated last year
- Thoughts on adjoint, norm and such.☆169Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Python implementation of the monster group☆42Updated last month
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 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…☆97Updated last week
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated last month
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆368Updated last week
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- metamath proof enumerators and other things☆92Updated 8 months ago
- A Binder repo for SageMath computing environment☆27Updated this week
- Mathematica package for Clifford (geometric) algebra calculations☆11Updated 3 weeks ago
- Library for exact real number computations☆39Updated 10 years ago
- ☆18Updated 2 months ago
- On the roots of beauty☆11Updated 2 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago
- ☆41Updated 4 years ago
- Tool for euclidean geometry aware of logic☆84Updated 10 months ago
- Many language implementations for the Julia Challenge: https://nextjournal.com/sdanisch/the-julia-language-challenge☆76Updated 5 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆98Updated 2 years ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- PRolog Equation Solving System☆30Updated 8 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆59Updated last month
- Java implementations of sequences in the OEIS☆61Updated this week
- Conjure: The Automated Constraint Modelling Tool☆103Updated this week