chakravala / Math-Research-Notes
Theorems, Definitions, Papers, Research
☆15Updated 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
- Assorted s-expression utilities for Julia☆15Updated 11 months ago
- Tangent bundle, vector space and Submanifold definition☆50Updated last month
- Standard basic quantum circuit simulator building blocks. (archived, for it is moved to Yao.jl)☆26Updated 3 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 3 years ago
- Interface for the ganja.js library in Julia☆10Updated 2 years ago
- An event based Discrete Event Simulation engine☆21Updated 3 years ago
- Unified measure and coordinates types☆14Updated 9 months ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- A DSL for modern parsing☆46Updated 9 months ago
- Tensor algebra utility library☆19Updated 3 months ago
- Algorithmic music composition in Julia☆10Updated 4 years ago
- Source code for some notes for the mathematical tripos.☆21Updated 6 years ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆13Updated last year
- 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 2 years ago
- Tensor algebra abstract type interoperability setup☆43Updated 2 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- A Julia package for making figures with Asymptote and Cairo☆27Updated 3 years ago
- Tectonic typesetting for Julia.☆29Updated 3 weeks ago
- Julia interface to GAlgebra via PyCall☆15Updated this week
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- GluCat: Clifford algebra templates☆19Updated this week
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 3 years ago
- A study of ecosystem in Julia, as an alternative to Matlab☆11Updated 4 years ago
- Julia package for the tight binding approximation of quantum lattice systems.☆20Updated 3 weeks ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 2 months ago
- Interface to multicore QR factorization qr_mumps☆17Updated this week
- Awesome Geometric Algebra☆26Updated 4 years ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 3 years ago