xsources / Matlab-simulation-of-Schramm-Loewner-Evolution
Description and analysis of some mathematical/physics phenomena by using simulation
☆18Updated 9 months ago
Alternatives and similar repositories for Matlab-simulation-of-Schramm-Loewner-Evolution:
Users that are interested in Matlab-simulation-of-Schramm-Loewner-Evolution are comparing it to the libraries listed below
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- GluCat: Clifford algebra templates☆19Updated 2 weeks ago
- Deposited packages of the homalg project☆13Updated last month
- Learning Algebraic Varieties from Samples☆24Updated last year
- A system for computational category theory and applications☆38Updated 8 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- 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
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆70Updated last year
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 2 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Partial differential equations using Discrete Exterior Calculus☆14Updated 5 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- An upcoming book on mathematical physics☆14Updated 6 years ago
- An LLVM interface for Lean 4. (WIP)☆19Updated last year
- Quantum programming language putting entanglement and superposition front and center☆41Updated last year
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated this week
- ☆13Updated 2 years ago
- Latex source for geometric algebra and physics notes.☆37Updated this week
- Metamath verifier in Python☆37Updated 10 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Building dynamical systems compositionally☆68Updated 3 months ago
- A verified tensor library in Lean☆20Updated 3 weeks ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year