xsources / Matlab-simulation-of-Schramm-Loewner-EvolutionLinks
Description and analysis of some mathematical/physics phenomena by using simulation
☆18Updated last year
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
Sorting:
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 6 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Deposited packages of the homalg project☆14Updated last month
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated 2 weeks ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- a datastructure for scalable combinatorial syntax☆18Updated 3 months ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last week
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Partial differential equations using Discrete Exterior Calculus☆15Updated 5 years ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆34Updated 10 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Awesome Geometric Algebra☆27Updated 4 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 3 years ago
- Exploring Automatic Differentiation with Racket☆12Updated 3 years ago
- ☆13Updated 2 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- ☆23Updated 3 years ago
- ☆14Updated 5 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆12Updated 2 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- ☆26Updated 3 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- Latex source for geometric algebra and physics notes.☆38Updated last week