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.☆48Updated 3 weeks ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated last year
- Python implementation of the monster group☆54Updated 2 weeks ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆84Updated last month
- Building dynamical systems compositionally☆73Updated last week
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆70Updated this week
- A Mathematica package for generating symbolic models from data☆48Updated 3 years ago
- Build Petri net models compositionally☆86Updated 2 months ago
- Many language implementations for the Julia Challenge: https://nextjournal.com/sdanisch/the-julia-language-challenge☆76Updated 6 years ago
- A graphical editor for graph-like structures☆101Updated last year
- Latex source for geometric algebra and physics notes.☆37Updated last month
- Mathematica package for Clifford (geometric) algebra calculations☆14Updated 4 months ago
- Awesome Geometric Algebra☆29Updated 5 years ago
- Julia interface to GAlgebra via PyCall☆17Updated last week
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated this week
- PRolog Equation Solving System☆29Updated 9 years ago
- Python bindings for Flint and Arb☆141Updated this week
- Tool for euclidean geometry aware of logic☆88Updated last year
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated last month
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆389Updated 2 months ago
- Tag-based webview of LaTeX documents☆31Updated last year
- A framework for composing and simulating multiphysics systems☆78Updated 2 weeks ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆97Updated 3 years ago
- some maths papers in English☆19Updated last week