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:
- A system for computational category theory and applications☆38Updated 9 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 4 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Latex source for geometric algebra and physics notes.☆37Updated last week
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Haskell bindings to SymEngine☆26Updated last year
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- DeepAlgebra☆25Updated 7 years ago
- ☆26Updated 3 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Deposited packages of the homalg project☆15Updated 2 months ago
- ACT community resources☆21Updated 5 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 8 months ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 4 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- Elliptic functions for Matlab and Octave☆14Updated 2 weeks ago
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Updated 4 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- ☆13Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆34Updated 10 years ago
- ☆23Updated 3 years ago
- Superposition prover☆17Updated 2 years ago
- A DSL for the internal language of a topos☆64Updated 2 weeks ago