chakravala / Math-Research-NotesLinks
Theorems, Definitions, Papers, Research
☆17Updated 5 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:
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Interface for the ganja.js library in Julia☆10Updated 2 years ago
- Source code for some notes for the mathematical tripos.☆22Updated 6 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Standard basic quantum circuit simulator building blocks. (archived, for it is moved to Yao.jl)☆26Updated 3 years ago
- ☆12Updated last week
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 2 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- A package to typeset ZX calculus directly in LaTeX.☆17Updated last year
- Awesome Geometric Algebra☆27Updated 4 years ago
- GluCat: Clifford algebra templates☆20Updated 2 months ago
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 3 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- A basic geometric algebra library in Julia☆12Updated 8 years ago
- Full-featured traits in Julia. Without full features how dare I say this?☆66Updated last year
- Julia package for the Singular library☆20Updated 3 years ago
- Deposited packages of the homalg project☆14Updated last month
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆13Updated last year
- Mathematica package for Clifford (geometric) algebra calculations☆12Updated 2 months ago
- Assorted s-expression utilities for Julia☆16Updated last year
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Tensor algebra utility library☆19Updated 8 months ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- A package for representing hands of cards (quite compactly)☆46Updated 4 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated 2 weeks ago
- Linear algebra done rigorously☆38Updated 9 months ago
- A DSL for modern parsing☆46Updated last year