chakravala / Math-Research-NotesLinks
Theorems, Definitions, Papers, Research
☆17Updated 6 years ago
Alternatives and similar repositories for Math-Research-Notes
Users that are interested in Math-Research-Notes are comparing it to the libraries listed below
Sorting:
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- Awesome Geometric Algebra☆28Updated 5 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Standard basic quantum circuit simulator building blocks. (archived, for it is moved to Yao.jl)☆26Updated 3 years ago
- GluCat: Clifford algebra templates☆21Updated 7 months ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆98Updated 3 years ago
- BQN implementation in Julia☆17Updated 3 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 3 years ago
- Monadic expressions and sequences for Julia☆32Updated last year
- Latex source for geometric algebra and physics notes.☆37Updated 3 weeks ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Tangent bundle, vector space and Submanifold definition☆51Updated 2 months ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Python to Julia transpiler.☆77Updated last year
- Experiments with variational autoencoders in Julia☆17Updated 6 years ago
- A framework for composing and simulating multiphysics systems☆73Updated last month
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- Fundamentals of Numerical Computation text, Julia version for the MATLAB (1st) edition.☆87Updated 2 weeks ago
- A study of ecosystem in Julia, as an alternative to Matlab☆12Updated 5 years ago
- Lecture slides and homework assignments for MA3227 Numerical Analysis II at the National University of Singapore.☆24Updated 4 years ago
- Build Petri net models compositionally☆88Updated last month
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Updated 10 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last week
- ☆15Updated last week
- Building dynamical systems compositionally☆73Updated last week
- multiparameter typeclasses for Julia☆24Updated 8 years ago
- Tensor algebra abstract type interoperability setup☆44Updated last month